View : 259 Download: 0

DPPS의 내장형 소프트웨어 테스트 방안

DPPS의 내장형 소프트웨어 테스트 방안
Issue Date
과학기술대학원 컴퓨터학과
이화여자대학교 과학기술대학원
Safety-Critical System에 들어가는 내장형 소프트웨어는 높은 신뢰도(Reliability)를 요구하며, 이러한 소프트웨어의 신뢰도를 위해서는 정량적이고 체계적인 테스트 방안의 수립이 중요하다. Safety-Critical System에 들어가는 내장형 소프트웨어를 테스트하기 위해서 IEEE 표준에서 안전성-필수 소프트웨어를 위한 V&V(Verification and Validation) 프로세스에 명시되어 있는 테스트 활동들을 추출하고, 내장형 소프트웨어의 특징을 고려한 테스트 방안을 제시한다. 본 논문에서는 Safety-Critical System 중에서도 원자력 발전소 보호계통 시스템의 일종인 DPPS(Digital Plant Protection System)에 들어가는 내장형 소프트웨어 테스트를 위해, 내장형 시스템의 특성을 고려하여 조립 가능한 최소 단위인 FBU(Four Basic Unit)를 제안하고, FBU를 이용하여 IEEE Std.1012-1998으로부터 추출한 테스트 활동에 따라 단위 테스트(Intra-FBU Test), 통합 테스트(Inter-FBU Test), 시스템 테스트(FBU-System Test)와 같은 테스트 레벨을 정의하고, 내장형 소프트웨어 테스트를 위한 테스트 산출물들을 제안한다.;Embedded Software in the Safety-Critical System needs high reliability. So we need to establish systemic and quantitative test method to assure the reliability. In this thesis we propose the test method for Embedded Software in the Safety-Critical System. We have two considerations to Test Embedded Software in the Safety-Critical System. The first consideration is that we extract test activities from the IEEE Standards related to Software Verification and Validation Process. The second consideration is that we have to consider some characteristics of Embedded Software. Therefore, we propose Four Basic Unit (FBU) and test products for Embedded System. The FBU is the minimal assembly unit for Embedded System. And we define test levels according to the test activities extracted form IEEE Standard 1012-1998. The defined test levels are Unit Test (Intra-FBU Test), Integration Test (Inter-FBU-Test) and System Test (FBU-System Test). And then we construct the FBU-Model that is the most important product of the proposed test products. To select adequate test data of target system, we apply some mutant operators that are defined at the FBU-Mutation to the FBU-Model. We apply our test method to DPPS that is a kind of Protection System in the Nuclear Power Plant to select the adequate test data of the target system.
Show the fulltextShow the fulltext
Appears in Collections:
일반대학원 > 컴퓨터공학과 > Theses_Master
Files in This Item:
There are no files associated with this item.
RIS (EndNote)
XLS (Excel)


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.