鄭己鉉 이홍석 2005 92 https://aurora.ajou.ac.kr/handle/2018.oak/7162 학위논문(석사)--아주대학교 대학원 :전자공학과,2005 이 논문은 임베디드 시스템의 테스트 자동화를 위한 테스트 오라클의 명세를 분리하여 디자인하는 방법을 제안한다. 임베디드 시스템의 복잡성이 증가됨에 따라 시스템의 신뢰성 검증은 점차 어려워지고 있다. 요구사항이 복잡해짐에 따라서 테스트를 위한 테스트 오라클 디자인을 정확하게 기술하는 것이 어렵고 복잡하게 되었다. 그래서 본 논문에서는 임베디드 시스템의 입력의 특성에 맞게 테스트 오라클의 명세를 유한 상태 기계와 로직의 두 단계로 나누어서 디자인하는 방법에 대해 제안하고, 이를 자동차용 에어컨 제어기에 적용하여 그 장단점을 파악하였다. 명세를 분리하여 기술함으로써 명세의 복잡도를 줄일 수 있고, 명세의 정확한 기술이 가능하며, 디자인을 쉽게 이해할 수 있는 장점이 있다. 본문 차례 (List of Text) 본문 차례 (List of Text) = ⅲ 그림 차례 (List of Figure) = ⅳ 표 차례 (List of Table) = ⅴ 제１장 서론 = 1 제１절 관련 연구 = 3 제２절 논문에서 제안하는 방법 = 5 제２장 임베디드 시스템 = 7 제１절 사례연구: 자동차 에어컨 제어 시스템 = 8 제２절 사례 시스템의 요구사항 = 10 제３장 요구사항의 분리 = 12 제１절 유한 상태 기계 = 12 제２절 로직 = 13 제３절 유한 상태 기계와 로직으로의 분리 전략 = 15 제４장 유한 상태 기계와 로직을 사용한 모델링 = 17 제１절 유한 상태 기계 디자인 = 17 제２절 로직 디자인 = 24 제５장 전통적 유한 상태 기계를 사용한 모델링과의 비교 = 27 제６장 결론 = 32 참고문헌 = 33 kor The Graduate School, Ajou University 아주대학교 논문은 저작권에 의해 보호받습니다. 사례연구: 자동차 에어컨 제어 시스템의 테스트 오라클을 위한 요구사항의 분리 기술 방안 A case study: Requirement Partitioning Technique for Test Oracle Design for Car Air conditioning Controller Thesis 아주대학교 일반대학원 일반대학원 전자공학과 2005. 2 Master http://dcoll.ajou.ac.kr:9080/dcollection/jsp/common/DcLoOrgPer.jsp?sItemId=000000000092 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