이 논문은 임베디드 시스템의 테스트 자동화를 위한 테스트 오라클의 명세를 분리하여 디자인하는 방법을 제안한다. 임베디드 시스템의 복잡성이 증가됨에 따라 시스템의 신뢰성 검증은 점차 어려워지고 있다. 요구사항이 복잡해짐에 따라서 테스트를 위한 테스트 오라클 디자인을 정확하게 기술하는 것이 어렵고 복잡하게 되었다. 그래서 본 논문에서는 임베디드 시스템의 입력의 특성에 맞게 테스트 오라클의 명세를 유한 상태 기계와 로직의 두 단계로 나누어서 디자인하는 방법에 대해 제안하고, 이를 자동차용 에어컨 제어기에 적용하여 그 장단점을 파악하였다. 명세를 분리하여 기술함으로써 명세의 복잡도를 줄일 수 있고, 명세의 정확한 기술이 가능하며, 디자인을 쉽게 이해할 수 있는 장점이 있다.
Alternative Abstract
This paper proposes a technique to partition test oracle’s specification for test automation of embedded system. As the complexity of embedded system has been increased, the reliability test is getting harder. Complexity of requirement is increasing, so description of test oracle design is not easy. This paper proposes a design technique that partitions the specification of test oracle into two parts: finite state machine and LOGIC, considering the characteristics of input parameters. The technique is applied to car temperature controller to verify its merits and demerits. By partitioning the specification, the complexity of oracle may be reduced, clearer specification description becomes possible and it becomes easier to understand the design
