사양 정합성 자동 검사 방법
Automated Checking of Specification Consistency
초록/요약
양질의 내장된 소프트웨어를 개발하기 위하여는 우선 올바른 사양을 작성하여야 한다. 정합성은 올바른 사양의 기본적인 특성이다. 본 논문에서는 테이블 형식으로 작성된 사양에서 오류를 검사하여 사양의 정합성을 검사하는 기법에 대하여 기술한다. 정합성 검사를 위하여 본 논문에서는 사양에 내재가 가능한 다양한 오류 중에서 정합성 오류를 검출하는 방법을 제안한다. 실제 상품으로 판매되고 있는 임베디드 시스템에 내장된 사양을 대상으로 실험한 결과, 94%의 사양에 대하여 검사가 가능하다는 결론을 얻었다. 또한, 그 중에서 약 3%의 사양에 정합성 오류가 있음을 발견하였다. 해당 임베디드 시스템의 사양은 본 연구의 결과를 바탕으로 수정되었다.
more목차
그림 차례 (LIST OF FIGURE) V
표 차례 (LIST OF TABLE) VI
제 1 장 서 론 1
제 2 장 테이블 기반의 사양 입력 방법 3
제 3 장 관련 연구 7
제 1 절 TABLEWISE 7
제 2 절 RSML 8
제 3 절 SCR 9
제 4 장 정합성 검사 12
제 1 절 논리식의 분류 12
제 2 절 검사 항목 14
제 3 절 모호성 검사 15
제 4 절 모순성 검사 19
제 5 절 적용 범위 검사 20
제 5 장 성능평가 21
제 6 장 결론 26
참고 문헌 27
