earticle

영어

Safety critical system is a system where human safety and property damage are dependent upon the correct operation of the system. Therefore, in order to develop robust and safe software, it is required to prepare the appropriate countermeasure to cope with abnormal behaviors of the system. However the development of robust software requires high cost, and also it is difficult to predict all possible cases of abnormal behaviors in the development. This paper suggests a technique to generate test case for the purpose of safety test when system behaves abnormally. Specially, our paper focuses on just abnormal cases with exclusion of normal cases. The test case generated by our technique can find the abnormal behaviors possible in field operation of safety critical system during the software development.

한국어

Safety Critical 시스템은 고장의 발생으로 인하여 심각한 인적 물적 손실을 유발할 수 있는 시스템을 말한다. 따라서 이러한 시스템의 안전성(Safety)을 보장하기 위하여 시스템의 모든 동작에서 비정상적인 행위를 보일 때, 이에 대한 적절한 대처가 가능하도록 강건한 소프트웨어 개발이 요구된다. 그러나 강건한(Robust) 소프트웨어의 개발을 위해서는 많은 비용이 요구되기도 하지만, 개발자가 모든 비정상적인 행위를 예측하여 소프트웨어를 개발하기는 매우 힘들다. 본 논문에서는 안전성이 중요한 소프트웨어의 비정상적인 행위를 테스트하기 위한 테스트 케이스를 개발하기 위한 기법을 제안한다. 즉, 정상적인 동작을 수행하는 경우에 대해서는 배제하고, 단지 비정상적인 경우에 해당되는 테스트 케이스만을 생성한다. 제안한 방법에 의거하여 생성된 테스트 케이스는 Safety Critical System의 운영 과정에서 발생할 수 있는 비정상적인 행위를 사전에 찾아낼 수 있을 것이다.