문제
요구사항 명세 기법 중 다음 설명에 해당하는 것은?
'시스템의 기능을 입력과 출력의 관계로 표현하며, 전제조건과 후제조건을 명시하여 각 기능의 동작을 수학적으로 정의하는 형식적 명세 기법'
① 자연어 명세(Natural Language Specification) ② 정형 명세(Formal Specification) ③ 구조적 명세(Structured Specification) ④ 준형식 명세(Semi-formal Specification)
정답
2번
해설
정형 명세(Formal Specification)는 수학적 표기법을 사용하여 시스템의 요구사항을 엄밀하게 기술하는 기법으로, 전제조건과 후제조건을 명시한다. 자연어 명세는 일반 언어로 기술하는 방법이고, 구조적 명세는 도표나 그래프를 활용하며, 준형식 명세는 자연어와 도식을 결합한 방법이다.