Paper Based Procedure (PBP) and Computerized Procedure System (CPS) are studied to demonstrate that it is necessary to develop CPS in Nuclear Power Plant (NPP) Instrumentation and Control (I&C) system. Computerized procedure system is actually a software system. All the desired and undesired properties of a software system can be described and evaluated as software qualities. Generally, software qualities can be categorized into product quality and process quality. In order to achieve product quality, the process quality of a software system should also be considered and achieved.
Characteristics of CPS will be described to analyse the product and process of an example CPS: ImPRO. At the same time, several main product and process issues will be analysed from Verification and Validation (V&V) point of view. It is concluded and suggested that V&V activities can also be regarded as a software development process, this point of view then is applied to the V&V activities of ImPRO as a systematic approach of testing of ImPRO. To support and realize this approach, suitable testing technologies and testing strategies are suggested based on JUnit framework and Multi-level Flow Modeling (MFM).
제어의 계층적 구조에 따라 빠른 로컬 제어기기는 센서와 액츄에이터의 연계 처리를 맡고 있다. 이 제어기기는 대부분의 운전 영역에서 자동화되어 있다. 강력한 그래픽 소프트웨어에 의해 설치되는 제어 및 감시 시스템은 로컬제어기기 상부에 위치된다. 그래서 운전원은 필요에 따라 skill 기반의 운전으로 원자력 발전소를 유지할 수 있다. 전산화 절차서는 rule 과 지식기반의 운전에서 가장 상위에 위치한다. 그래서 전산화 절차서가 설치된 후에는 공장자동화가 이룩될 것이다.
ImPRO 는 Java standard edition (JSE) 플랫폼으로 개발된 전형적인 전산화 절차서의 예이다. 소스코드는 V&V 활동의 체계적인 접근을 달성하기 위해서 철저한 연구로 만들어져야 한다. 소프트웨어 quality metrics 기반의 전산화 절차서의 특징은 ImPRO 의 생산품과 프로세스를 분석하는데 묘사되는 것이다. 동시에 몇몇의 주요 생산품과 프로세스의 결과는 V&V 관점으로부터 분석될 것이다. 본 논문에서는 이러한 ImPRO 의 생산품과 프로세스는 소프트웨어 개발 과정이 제안되고 ImPRO 의 확인 및 검증의 체계적인 접근방법으로서 활용되었다. 이 접근 방법은 소프트웨어 테스팅 도구들의 지원에 의해서 활용된다. 더불어 본 논문에서는 이 접근 방법을 향상시키고 최적화시키기 위해서 적절한 테스팅 방법론과 테스팅 전략이 제안된다.
