사양 정합성 자동 검사 방법

Abstract

양질의 내장된 소프트웨어를 개발하기 위하여는 우선 올바른 사양을 작성하여야 한다. 정합성은 올바른 사양의 기본적인 특성이다. 본 논문에서는 테이블 형식으로 작성된 사양에서 오류를 검사하여 사양의 정합성을 검사하는 기법에 대하여 기술한다. 정합성 검사를 위하여 본 논문에서는 사양에 내재가 가능한 다양한 오류 중에서 정합성 오류를 검출하는 방법을 제안한다. 실제 상품으로 판매되고 있는 임베디드 시스템에 내장된 사양을 대상으로 실험한 결과, 94%의 사양에 대하여 검사가 가능하다는 결론을 얻었다. 또한, 그 중에서 약 3%의 사양에 정합성 오류가 있음을 발견하였다. 해당 임베디드 시스템의 사양은 본 연구의 결과를 바탕으로 수정되었다.