• Nuclear Engineering and Technology
• /
• v.48 no.2
• /
• pp.404-418
• /
• 2016

This paper presents a documentation and development method to facilitate the certification of scientific computing software used in the safety analysis of nuclear facilities. To study the problems faced during quality assurance and certification activities, a case study was performed on legacy software used for thermal analysis of a fuelpin in a nuclear reactor. Although no errors were uncovered in the code, 27 issues of incompleteness and inconsistency were found with the documentation. This work proposes that software documentation follow a rational process, which includes a software requirements specification following a template that is reusable, maintainable, and understandable. To develop the design and implementation, this paper suggests literate programming as an alternative to traditional structured programming. Literate programming allows for documenting of numerical algorithms and code together in what is termed the literate programmer's manual. This manual is developed with explicit traceability to the software requirements specification. The traceability between the theory, numerical algorithms, and implementation facilitates achieving completeness and consistency, as well as simplifies the process of verification and the associated certification.

• Journal of Korean Society for Quality Management
• /
• v.29 no.2
• /
• pp.120-130
• /
• 2001

In this paper, the QFD(quality function deployment) technique is used to acquire the quality requirements of package software which is sold in commercial software shop. To select the principal quality characteristics of package software, an user survey was conducted for a quality model developed based on the international standards and the previous research. The software user is divided into three groups: the general user, the expert, and the developer. Based on the survey results, the top 10 quality characteristics are selected including accuracy, suitability, installability, de-installability, and maturaty. Then, the QFD technique is applied to choose the software quality attributes which have strong correlation with the selected quality characteristics, some of which are traceability, accuracy, modularity, completeness, and self-descriptiveness. The developed procedure can be used in evaluating the quality of package software with lower costs and efforts.

• Journal of KIISE:Software and Applications
• /
• v.35 no.12
• /
• pp.731-740
• /
• 2008

A railway control system is one of the typical safety-critical systems. It is required to use formal methods for the requirements specification and verification in order to develop the global-standard railway control systems based on the computer systems. In this paper, we develop a guideline for requirements specification using formal methods, and present a case study of the development of a computer-based railway control system through the application of the proposed guideline. We use the Statechart and the Z method for the formal requirements specifications and verify the consistency and completeness of the formal specifications of the requirements.

• Asian Pacific Journal of Cancer Prevention
• /
• v.16 no.5
• /
• pp.1981-1986
• /
• 2015

Background: Knowledge of cancer incidences is essential for cancer prevention and control programs. Capture-recapture methods have been recommended for reducing bias and increasing the accuracy of cancer incidence estimations. This study aimed to estimate the completeness of gastric cancer registration by the capture-recapture method based on Ardabil population-based cancer registry data. Materials and Methods: All new cases of gastric cancer reported by three sources, pathology reports, death certificates and medical records that reported to Ardabil population-based cancer registry in 2006 and 2008 were enrolled in the study. The duplicate cases based on the similarity of first name, surname and fathers names were identified between sources. The estimated number of gastric cancers was calculated by the log-linear method using Stata 12 software. Results: A total of 857 new cases of gastric cancer were reported from three sources. After removing duplicates, the reported incidence rates for the years 2006 and 2008 were 35.3 and 32.5 per 100,000 population, respectively. The estimated completeness calculated by log-linear method for these years was 36.7 and 36.0, respectively. Conclusions: These results indicate that none of the sources of pathology reports, death certificates and medical records individually or collectively fully cover the incident cases of gastric cancer. We can obtain more accurate estimates of incidence rates using the capture-recapture method.

• Journal of KIISE:Software and Applications
• /
• v.34 no.5
• /
• pp.419-430
• /
• 2007

It is very important to track whether software is properly developed according to requirements. This study suggests a method to track requirements by using a tracking table. In this study, the tracking table indicates why such requirements are included by detailing the content of requests for proposals and proposals. The table also facilitates verification of the consistency between outputs and the integrity by having ID codes of each requirement mapped to each output. Furthermore, as this study was conducted, it was found that some factors were required to be added or supplemented to the outputs at the requirement gathering stage of MaRMI-Ⅲ v.4.0 methodology. Thus, this study seeks to present this additional result along with the enhanced tracking table. By verifying outputs, the tracking table presented in this study will help to reduce all kinds of risks and problems that may occur in software development due to the lack of management of requirements. In addition, the output of the requirement-gathering stage of MaRMI-Ⅲ v.4.0 methodology will be improved/supplemented according to the creation of tracking tables; this will increment the applicability of the MaRMI-III methodology.

• Journal of KIISE:Software and Applications
• /
• v.34 no.7
• /
• pp.625-634
• /
• 2007

Due to the software is getting complex and large, software architecture design is issued for success of project. In the design phase, selection of the suitable architectural approach is very important. In this thesis, we identify the architectural approach alternatives in the design phase. And the evaluation method to choose architectural approaches and the architecture design methodology integrated with that evaluation method are proposed In the proposed architecture evaluation method and the architecture design methodolody, we intend to raise reliability, completeness of design and reduce development costs.

• Aerospace Engineering and Technology
• /
• v.6 no.2
• /
• pp.45-51
• /
• 2007

The various levels of test are performed to verify the correctness, completeness, and quality of the developed flight software. The three main test levels are unit test, integration test and verification test. The flight software unit test is performed on the individual PC environment using target simulator. And integration and verification test is mainly performed on STB(S/W Test Bed) which provides test and debugging environments for flight software on the target board This document is to present the test environment for the next generation low earth orbit satellite flight software development.

• The Journal of Korean Institute of Communications and Information Sciences
• /
• v.15 no.10
• /
• pp.811-818
• /
• 1990

The objective of this paper is to design and implement FLA(Front-end Language Analyzer) storing information to database, and BIS(Back-end Information System) analyzing completeness and consistency of database and generating all kinds of documents needed by user. By using this system to develop systems, we expect enhancement of software productivity and reliability.

• Journal of the Korea Academia-Industrial cooperation Society
• /
• v.22 no.1
• /
• pp.285-293
• /
• 2021

This study evaluated the process of software quality assurance about the initial product in a weapon system. The software quality assurance of the initial product was insufficient before this study. Therefore, the process of the software quality assurance about the initial product in a weapon system is suggested. The process has three parts. First, the completeness of computer files, such as source code and execute files, were checked. Second, the suitability of the software technical data was checked. Finally, the connectivity of software technical data and the Korean defense specification were assessed. Overall, there is a need to toughen the software quality assurance in the research and development step and achieve early stabilization of mass production by preventing the problems that prevent the production of a product due to the insufficient software technical data.

• Journal of KIISE:Computing Practices and Letters
• /
• v.16 no.12
• /
• pp.1259-1263
• /
• 2010

SaaS is an emerging paradigm for software development and deployment, expected to able to reduce cost. SaaS is also considered as a crucial technology for implementation of cutting-edge technology, such as distributed computing, green computing, and cloud computing. SaaS is requested to be configurable software to satisfy various customers, therefore it is very important to consider every configurability requirement during requirement elicitation. Our research suggests a classification technique to secure completeness of configuration requirement.