• 인터넷정보학회논문지
• /
• 제19권2호
• /
• pp.43-48
• /
• 2018

Various artifacts that are produced as software R&D project progresses contain research plan, research report, software requirements and design descriptions, etc. When conducting a software R&D project, it is necessary to confirm that the developed system has implemented its research requirements well. However, various research results make it difficult to design appropriate tests. So, there is a practical need for us to comprehensively handle the planning, execution, and reporting of software test for finding and verifying information related to the research. In this paper, we propose a useful method for software test process in R&D project which supports model based software testing. The proposed method supports automation of test design and generation of test data by explicitly separating each step of System Under Test (SUT). The method utilizes the various models representing the control flow of the function to extract the information necessary for testing the system. And it supports a systematic testing process based on TMMi and ISO 29119. Finally, we show the validity of the method by implementing a prototype with basic functionality to generate test data from software behavioral models.

• 정보처리학회논문지D
• /
• 제14D권1호
• /
• pp.57-66
• /
• 2007

소프트웨어 산업의 발전에 따라 소프트웨어 개발조직에서는 소프트웨어 품질이 중요한 이슈로 부각되었다. 특히 여러 종류의 테스트 성숙도 모델을 통해 조직의 소프트웨어 테스트 성숙도 향상에 대해 다양한 방면으로 시도하고 있다. 하지만 현재 테스트 성숙도를 측정할 수 있는 모델들은 기존의 개발 성숙도 측정 모델을 기반으로 개발하여 테스트 부분에 대한 언급이 부족하고 단지 테스트 성숙도 레벨만을 측정하였다. 이러한 문제점을 해결하기 위해 소프트웨어 개발프로세스와 한께 테스트 프로세스를 수행할 수 있도록 이중 V모델과 테스트 성숙도의 용이한 평가를 위한 테스트 평가 속성과 레벨을 정의한 테스트 속성과 상호관련 매트릭스를 제안하였다. 테스트 프로세스 개선(Test Process Improvement: TPI)의 개선제안(Improvement Suggestion) 방법을 통해 테스트 성숙도 모델 확장하고, 측정된 성숙도를 향상시킬 수 있는 개선방향을 제시한다. 또한, 본 연구에서 제안하는 테스트 성숙도 상호관련 매트릭스는 테스트 성숙도를 정량적으로 평가하기 위해 사용하였다. 결과적으로는 확장된 테스트 성숙도 모델을 통해 조직의 테스트 성숙도를 높이는데 기여 할 수 있으리라 생각한다.

• 한국컴퓨터정보학회논문지
• /
• 제23권12호
• /
• pp.115-122
• /
• 2018

As the proportion of software in weapon systems increases, the impact of software on the overall system is growing. As a result, software quality management becomes important, and related regulations and work manuals for quality assurance activities at each stage in the R & D process are becoming more sophisticated. However, due to the characteristics of the weapon system software that is developed as a customized form for the purpose of a specific mission, there are limits to specifying and definitizing the detailed requirements (upper and lower level) according to various operational concepts during the development process. Due to this, software modification (patch change, shape change due to upgrade, etc.) occurs on account of many defects and performance improvement in the mass production and operation stage after the development is completed. In this study, we analyze the characteristics of these weapon system softwares and propose quality improvement methods based on ISO / IEC / IEEE 29119 test method.

• 한국산업정보학회논문지
• /
• 제11권3호
• /
• pp.59-68
• /
• 2006

Recently, introduction of Open Source Software into informatization of the government and public sector has been actively examined, however, Open Source Software is being rarely adopted due to the lack of verified and reliable data with regard to the criteria, process, performance and stability for introduction of Open Source Software. In this paper, the process, method and plan for performance verification for introduction of Open Source Software into mission critical systems of the government and public sector are suggested in order to solve the aforesaid problem Specially, a test system to judge whether or not to adopt Open Source Software in school affairs system of the NEIS(National Education Information System) of the Korean government was set up, and the method and process of performance verification by stage in addition to feasibility study were applied to the test system for verification. Based on the result of performance evaluation in the test system, the application of Linux to school affairs system of the NEIS is being successfully practiced. It is expected that this study will be a guideline to technical review process and performance verification method as necessary to introduce Open Source Software into the mission critical systems of government and public agencies.

• 한국정보처리학회논문지
• /
• 제7권5호
• /
• pp.1409-1418
• /
• 2000

Auditing plays a very important role in the process of developing and managing good quality software. The software developing proces should be audited precisely especially in the test phase. Up to the present, because auditing has depended on the auditor's experience of developing and auditing software, it has been impossible to audit objectively. It is limited to audit systematically and objectively because auditing process isn't systematized. In this paper, the auditing model to solve several problems in present auditing is suggested, a test phase audit system is developed, and the system is applied to the actual auditing process. Consequently, software administrators can establish effective software management, software developers can be supported by a highly reliable and quality software development tool, and auditors can be offered an objective audit standard.

• Nuclear Engineering and Technology
• /
• 제27권3호
• /
• pp.385-392
• /
• 1995

월성원자력 2, 3, 4호기 safety-critical 소프트웨어에 대한 규제 기관의 요구사항을 만족시키기 위하여 소프트웨어 엔지니어링 절차가 개발되었다. 본 논문에서는 그 중에서 검증시험절차에 대하여 기술하였는데, 검증시험이란 설계그룹에서 개발된 소프트웨어가 독립된 기능그룹에서 부여한 요구사항을 모두 만족하는지를 확인하는 것이다. 이 검증시험을 수행하기 위하여 시험설비와 시험용 소프트웨어가 개발되었으며, 검증시험은 기능시험, 성능시험 및 자기점검시험 등으로 구성되었다. 시험결과를 분석하여, 불만족한 경우는 설계그룹에 통보되어 소프트웨어가 수정되었고, 최종결과는 보고서로 작성되어 규제기관에 제출될 것이다. 개발된 검증시험 방법과 절차는 효율적이고 성공적이었으며, 시험결과는 소프트웨어가 기능사양서를 충분히 만족시킨다는 것을 성공적으로 검증함을 보여주었다. 본 시험방법은 다른 safety-critical 소프트웨어 검증에도 적용될 수 있을 것이다.

• 정보처리학회논문지D
• /
• 제10D권5호
• /
• pp.821-828
• /
• 2003

패키지 소프트웨어는 그 특성상 동일한 유형에 속하는 다수의 제품 중에서 구매자가 적합하다고 판단되는 제품을 식별한 수 있어야 한다. 패키지 소프트웨어 제품에 대한 구매자의 선택 능력은 객관적인 품질 시험 절차와 방법을 통해 정해진 기준에 부합되는가를 판단할 수 있는 체계를 갖추고 있는가에 달려 있다. 이러한 체계를 구축하기 위해 패키지 소프트웨어에 적용할 수 있는 표준으로서 와 이 있다. 본 연구에서는 이러한 표준을 기반으로 패키지 소프트웨어에 대한 품질시험 프로세스를 구축하고 시험 메트릭과 적용 방법을 개발함으로써 구매자가 효과적으로 자신의 요구에 맞는 패키지 소프트웨어론 선택할 수 있는 체계를 구축하였다.

• 시스템엔지니어링학술지
• /
• 제14권2호
• /
• pp.41-48
• /
• 2018

This paper describes the systems engineering development process for the Departure from Nucleate Boiling Ratio (DNBR) algorithm using FPGA. Current Core Protection Calculator System (CPCS) requirement and DNBR logic are analyzed in the reverse engineering phase and the new FPGA based DNBR algorithm is designed in the re-engineering phase. FPGA based DNBR algorithm is developed by VHSIC Hardware Description Language (VHDL) in the implementation phase and VHDL DNBR software is verified in the software Verification & Validation phase. Test cases are developed to perform the software module test for VHDL software modules. The APR 1400 simulator is used to collect the inputs data in 100%, 75%, and 50% reactor power condition. Test input signals are injected to the software modules following test case tables and output signals are compared with the expected test value. Minimum DNBR value from developed DNBR algorithm is validated by KEPCO E&C CPCS development facility. This paper summarizes the process to develop the FPGA-based DNBR calculation algorithm using systems engineering approach.

• 디지털산업정보학회논문지
• /
• 제8권2호
• /
• pp.1-10
• /
• 2012

In this study, software products developed in the course of testing, software managers in the process of testing software test and test tools for effective learning effects perspective has been studied using the NHPP software. The finite failure nonhomogeneous Poisson process models presented and the life distribution applied exponential and log shaped type hazard function. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than autonomous errors-detected factor that is generally efficient model could be confirmed. This paper, a failure data analysis of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error and coefficient of determination.

• 디지털산업정보학회논문지
• /
• 제7권2호
• /
• pp.1-8
• /
• 2011

In this study, software products developed in the course of testing, software managers in the process of testing software test and test tools for effective learning effects perspective has been studied using the NHPP software. The finite failure non-homogeneous Poisson process models presented and the life distribution applied extreme distribution which used to find the minimum (or the maximum) of a number of samples of various distributions. Software error detection techniques known in advance, but influencing factors for considering the errors found automatically and learning factors, by prior experience, to find precisely the error factor setting up the testing manager are presented comparing the problem. As a result, the learning factor is greater than automatic error that is generally efficient model could be confirmed. This paper, a numerical example of applying using time between failures and parameter estimation using maximum likelihood estimation method, after the efficiency of the data through trend analysis model selection were efficient using the mean square error.