Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2012.06b
  • /
  • Pages.175-177
  • /
  • 2012
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

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)
  • 천봉환 (부산대학교 컴퓨터공학과) ;
  • 천준석 (부산대학교 컴퓨터공학과) ;
  • 우균 (부산대학교 컴퓨터공학과)
  • Published : 2012.06.22

⟨ Previous Next ⟩

Abstract

본 논문은 스마트 테스트 도구(Smart Test Tool)를 이용해 식기세척기 소프트웨어를 검증하는 기법에 대해 제안한다. 가전제품의 동작을 기술하기 위해 통상 스펙시트(spec. sheet: 동작명세서)를 이용하는데, 스펙시트를 이용하면 식기세척기 소프트웨어를 개발자 수준에서 블랙박스 테스트 방법으로 검사해 볼 수 있다. 스펙시트는 식기세척기 행정의 기준이 되며 식기세척기를 실제로 동작시키며 얻은 덤프데이터(dump data)는 비교 대상이 된다. 스마트 테스트 도구는 스펙시트 값의 기준대로 덤프데이터 값이 출력되었는지 확인함으로써 각 행정이 제대로 진행되었는지 파악할 수 있다. 이 논문에서는 스마트 테스트 도구의 구조와 오류 검출 메커니즘에 대해 기술한다.

Keywords