본 논문은 게임 소프트웨어 프로세스 중에서 분석 및 설계 단계의 산출물 중 시퀀스 다이어그램과 OCL 컨트랙트 명세를 기반으로 하여 테스트 모델을 생성하고 생성된 모델을 기반으로 하여 테스트 케이스를 생성하는 기법을 제안 한다. 생성된 테스트 케이스는 테스트 수행뿐만 아니라 테스트 자동화를 위하여 생성하는 테스트 드라이버 작성시 활 용 가능하다.

소프트웨어 시험은 소프트웨어 제품의 고 품질을 보장하기 위한 중요한 요소들 중의 하나이고, 특히 원자력 발전소의 안전에 직결되는 디지털 기반의 원전 계측제어계통 소프트웨어는 고품질과 고신뢰도를 제공하여야 한다. 그러므로 원자력발전소에 사용되는 소프트웨어는 안전성과 신뢰성을 제공하기 위해 체계적인 시험을 통하여 설계의 정당성을 확인하고, 요건명세서나 설계사양서에 나타난 계통 및 구성요소의 기능과 요건들이 만족하게 실행됨을 확인하여야 한다. 규제기관에서도 소프트웨어의 안정성, 기능의 완전한 수행, 소프트웨어 자체가 계통의 기능을 저하 시키는 지와 계통에게 예정되지 않은 기능을 수행 하도록 영향을 주는지의 확인 등을 소프트웨어 시험을 통해 확인하도록 요구하고 있다. 이와 같이 원자력발전소에 사용되는 소프트웨어의 시험을 위해서는 보다 엄격하고 명확한 시험 지침을 적용하는 것이 필요하다. 이에 따라 본 논문에서는 소프트웨어 시험과 관련된 인허가 규제요건을 분석하고, 현재 설계를 진행중인 SMART MMIS 소프트웨어 시험에 적용될 소프트웨어 개발생명주기에 따른 시험활동, 시험 조직, 시험문서, 소프트웨어 등급별 시험방법 등 시험을 수행하기 위한 지침을 제시한다.

IEC and CISPR have continuously endeavored the measurement method of Immunity Test as international unification, but not established yet. The main reason is that the measurement method and the normalization of threshold to obtain the complicated parameters for Immunity Test are difficult. Thus, the Immunity Test Setups are used differently according to the measured electromagnetic environments. This study developed an Immunity Test System and Algorithm for measurement software suitable for IEC801-3 Regulatons using ready-made amplifier, signal generator, and developes interconnecting interface board interacting with other appratus i.e., RF Switch, Power Meter, Field Sensor and Pre-amp. We are to develope an automated software using Top/Down and OOP(Object Oriented Programming) method.