요구사항 명세 기법 중 자연어 기반 비정형 명세에 대한 설명으로 옳은 … | [7급 국가직 소프트웨어공학] 21년 1회차 기출문제 상세 페이지
1[7급 국가직 소프트웨어공학] 21년 1회차
요구사항 명세 기법 중 자연어 기반 비정형 명세에 대한 설명으로 옳은 것만을 모두 고르면?ㄱ. 표현이 모호할 수 있고, 해석이 다를 수 있다.
ㄴ. 수학적 증명 기술을 이용하여 완전성을 검증할 수 있다.
ㄷ. 자연어를 기반으로 작성하기 때문에 쉽게 작성할 수 있다.
1
ㄷ
2
ㄱ, ㄴ
3
ㄱ, ㄷ
4
ㄴ, ㄷ
해설
옳은 것은 ㄱ과 ㄷ이다.
자연어 비정형 명세는 작성·이해가 쉽지만 표현이 모호해 해석이 달라질 수 있다.
- ㄱ(옳음): 자연어의 모호성 때문에 읽는 사람마다 해석이 달라질 수 있다.
- ㄴ(틀림): 수학적 증명으로 완전성을 검증하는 것은 정형 명세(Z, VDM 등)의 특징이다.
- ㄷ(옳음): 별도 표기법 없이 자연어로 쓰므로 작성이 쉽다.
오류나 개정된 내용이 보이면 알려주세요