사건중심 실시간 시스템을 위한 테스트 시퀸스의 발생

Abstract

사건중심 실시가 시스템의 명세기법인 Modechart를 이용하여 성형적으로 명세된 실시간 시스템의 구현?? 검증하기 위한 방법을 제시한다. 제안된 방법을 통하여, 주어진 실시간 시스템의 Modechart 명세와 그 구현간에 상이점이 있는지를 검증하기 위한 테스트 시퀀스를 발생하고, 가상환경하에서 이 발생된 테스트 시퀀스를 이용하여 그 구현이 명세와 일치되는 지를 검증할 수 있다.

We present a method for testing event-driven real-time systems based on Modechart specifications. From a Modechart specification, the proposed method generates test sequences for checking whether there is a discrepancy between a Modechart specification and its implimentation. The implementation can be tested, under virtual environment, by the generated sequences for conformance to its specification.

We present a method for testing event-driven real-time systems based on Modechart specifications. From a Modechart specification, the proposed method generates test sequences for checking whether there is a discrepancy between a Modechart specification and its implimentation. The implementation can be tested, under virtual environment, by the generated sequences for conformance to its specification.