한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2012년도 한국컴퓨터종합학술대회논문집 Vol.39 No.1(B)
- /
- Pages.175-177
- /
- 2012
- /
- 1598-5164(pISSN)
스마트 테스트 도구를 이용한 식기세척기 소프트웨어 검증 기법
Dishwasher Software Verification Techniques Using Smart Test Tool
- Chun, Bong-Hwan (Dept. of Computer Engineering, Pusan National University) ;
- Chun, Jun-Suk (Dept. of Computer Engineering, Pusan National University) ;
-
Woo, Gyun
(Dept. of Computer Engineering, Pusan National University)
- 발행 : 2012.06.22
초록
본 논문은 스마트 테스트 도구(Smart Test Tool)를 이용해 식기세척기 소프트웨어를 검증하는 기법에 대해 제안한다. 가전제품의 동작을 기술하기 위해 통상 스펙시트(spec. sheet: 동작명세서)를 이용하는데, 스펙시트를 이용하면 식기세척기 소프트웨어를 개발자 수준에서 블랙박스 테스트 방법으로 검사해 볼 수 있다. 스펙시트는 식기세척기 행정의 기준이 되며 식기세척기를 실제로 동작시키며 얻은 덤프데이터(dump data)는 비교 대상이 된다. 스마트 테스트 도구는 스펙시트 값의 기준대로 덤프데이터 값이 출력되었는지 확인함으로써 각 행정이 제대로 진행되었는지 파악할 수 있다. 이 논문에서는 스마트 테스트 도구의 구조와 오류 검출 메커니즘에 대해 기술한다.
키워드