• 한국IT서비스학회:학술대회논문집
• /
• 한국IT서비스학회 2006년도 추계학술대회
• /
• pp.190-193
• /
• 2006

Ther are many stages of the development for the embedded systems' hardware and software as well, which results in many test stages of it with respect to corresponding development stages. The software validation of embedded systems is taken into consideration for the testers to make sure that the systems work correctly after the deployment. Among test stages, especially control logic level testing and system validation testing are considered as the most important test, because the robustness of embedded systems' software can be validated by those two level of tests. in this paper, we would like to introduce the idea of how software test system for embedded systems can be established and of what necessary components are needed

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

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

• International Journal of Computer Science & Network Security
• /
• 제21권12spc호
• /
• pp.549-555
• /
• 2021

Machine Learning(ML) splits data into 3 parts, which are usually 60% for training, 20% for validation, and 20% for testing. It just splits quantitatively instead of selecting each set of data by a criterion, which is very important concept for the adequacy of test data. ML measures a model's accuracy by applying a set of validation data, and revises the model until the validation accuracy reaches on a certain level. After the validation process, the complete model is tested with the set of test data, which are not seen by the model yet. If the set of test data covers the model's attributes well, the test accuracy will be close to the validation accuracy of the model. To make sure that ML's set of test data works adequately, we design an experiment and see if the test accuracy of model is always close to its validation adequacy as expected. The experiment builds 100 different SVM models for each of six data sets published in UCI ML repository. From the test accuracy and its validation accuracy of 600 cases, we find some unexpected cases, where the test accuracy is very different from its validation accuracy. Consequently, it is not always true that ML's set of test data is adequate to assure a model's quality.

• 전기학회논문지P
• /
• 제65권4호
• /
• pp.242-249
• /
• 2016

The railway system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for railway system was started to become influential as the important issue. Accordingly, various software test and validation activities are highly recommended in the international standards related railway software. In this paper, we presented a software coding analysis tool using symbolic execution for railway system, and presented its result of implementation.

• 한국정보통신학회:학술대회논문집
• /
• 한국정보통신학회 2012년도 추계학술대회
• /
• pp.495-497
• /
• 2012

의료기기 소프트웨어 테스트 위험관리 적용 방안에 대해 연구하였다. 먼저 설문조사를 통해 의료기기 제조업체의 소프트웨어 밸리데이션 및 위험관리 현황을 분석하고 두 번째로 블랙박스 테스트와 화이트 박스 테스트를 비교하여 차이점을 분석하였다. 세 번째로 소프트웨어 분석 도구를 활용한 코드 분석 후 잠재적인 위해요인을 도출하고 이를 정량화 하였으며, 마지막으로 도출된 위해요인을 FMEA 기법을 이용하여 의료기기 위험관리 프로세스에 적용할 수 있도록 프레임워크를 구축하였다. 이를 통해 의료기기 품질관리(GMP) 업무 중 소프트웨어 밸리데이션 및 위험관리 프로세스를 구축하기 어려운 제조업체를 위한 업무 지원에 활용하고자 한다.

• 한국시뮬레이션학회논문지
• /
• 제27권1호
• /
• pp.25-32
• /
• 2018

본 논문은 모델 기반 내장형 소프트웨어의 자동 생성 코드에 대한 효율적인 신뢰성 시험 절차와 구체화된 동적 시험 방안에 대해서 제시하고 있다. 모델 정적/동적 시험 각각을 코드 정적/동적 시험 전에 수행함으로서 코드 신뢰성 시험 수행의 이점이 있음을 기술하였다. 또한, 모델과 코드의 신뢰성 시험 상관관계를 모델의 경우 Model Advisor와 Verification and Validation tool, 코드의 경우 Polyspace와 LDRA를 이용하여 살펴보고 제시한 절차대로 수행한 신뢰성 시험의 결과를 보여주고 있다.

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

Software has become an integral part of almost any system, triggered by the ever-growing demand for automation and artificial intelligent throughout engineering domains. The complexities of software-centric systems are also increasing, which make software test efforts become essential in software development projects. In this study, we applied systems engineering methodology in generating software test cases. We found out the similarities between requirements analysis and traceability concept of systems engineering and test specification contents of software test. In terms of acceptance test, software test cases could be considered as validation requirements. We also suggested a method to determine test order using a SysML modeling tool.

• ETRI Journal
• /
• 제27권2호
• /
• pp.140-152
• /
• 2005

In this paper, we present design features, implementation, and validation of a satellite simulator subsystem for the Korea Multi-Purpose Satellite-2 (KOMPSAT-2). The satellite simulator subsystem is implemented on a personal computer to minimize costs and trouble on embedding onboard flight software into the simulator. An object-oriented design methodology is employed to maximize software reusability. Also, instead of a high-cost commercial database, XML is used for the manipulation of spacecraft characteristics data, telecommand, telemetry, and simulation data. The KOMPSAT-2 satellite simulator subsystem is validated by various simulations for autonomous onboard launch and early orbit phase operations, anomaly operation, and science fine mode operation. It is also officially verified by successfully passing various tests such as the satellite simulator subsystem test, mission control element system integration test, interface test, site installation test, and acceptance test.

• 한국컴퓨터정보학회논문지
• /
• 제3권2호
• /
• pp.1-6
• /
• 1998

소프트웨어 개발 과정에서 신뢰성 평가는 대단히 중요하다. 테스트 단계를 구분하지 않은 소프트웨어의 신뢰도 평가˙분석의 결과는 신뢰성이 결여될 수 있다. 따라서 본 논문에서는 이러한 문제점을 해결하기 위해 테스트 단계를 구분하여 신뢰성 평가에 관한 연구를 하였다. 이를 위해 단위 테스트(Unit Test), 통합 테스트(Integration Test), 확인 테스트(Validation Test), 시스템 테스트(System Test)에서 발견된 결함 데이터를 이용하여 소프트웨어 신뢰도 성장 모델(Software Reliability Growth Model : SRGM)인 지수형, 지연 S자형, 습숙 S자형 SRGM에 적용하였다. 그 결과 단위 테스트에서는 습숙 S자형, 통합 테스트에서는 지연 S자형, 확인테스트에서는 지연 S자형, 시스템 테스트에서는 지수형 SRGM이 가장 적합한 것임을 입증하였으며, 신뢰성 평가 척도인 파라미터 추정, 편차 자승합, 기대잔존 결함수 등에서 본 연구의 결과가 기존의 방법보다 우수함을 보였다.

• 한국국방경영분석학회지
• /
• 제22권2호
• /
• pp.90-112
• /
• 1996

Research issues in software engineering in recent may be object oriented methodology and software quality. Since Halstead has proposed metric-software science in 1977, software quality area has been studied in steady but inactively until 1980s. As international standards such as ISO 9000-3, 9126 were enacted in 1990s early, interest in software quality is increased but many problems such as how to validate metric, measure quality or apply metric are remained. This paper proposes software quality metric methodology which software developer or project manager can use in measuring quality and validating metric during software development. The methodology is classified by several phases: establishment of quality requirement, identification of quality metric, data collection, metric implementation, metric validation. In order to show its applicability, test program, metrics and data are applied to each phase of the methodology. Consideration of this methodology as a methodology for software quality measurement similar to development methodology for software development is needed.