프로그램에 결함이 있어도 오작동이 늘 일어나는 것은 아니다. 결함이 오… | [경찰간부후보생 소프트웨어공학] 23년 1회차 기출문제 상세 페이지
1[경찰간부후보생 소프트웨어공학] 23년 1회차
프로그램에 결함이 있어도 오작동이 늘 일어나는 것은 아니다. 결함이 오작동으로 이어지기 위한 조건이 아닌 것은?
1
도달성 조건(Reachability condition)
2
분할 조건(Partitioning condition)
3
감염 조건(Infection condition)
4
오차 전파 조건(Error propagation condition)
해설
결함이 오작동으로 이어지기 위한 조건이 아닌 것은 분할 조건이다.
결함이 실패로 드러나려면 결함 위치가 실행되고(도달), 프로그램 상태가 잘못 바뀌고(감염), 그 오류가 출력까지 전달되어야(전파) 하며, 이를 RIP 모델이라 한다.
- 도달성 조건은 결함이 있는 문장이 실제로 실행되어야 한다는 조건이다.
- 감염 조건은 결함 실행으로 프로그램의 내부 상태가 잘못되어야 한다는 조건이다.
- 오차 전파 조건은 잘못된 상태가 외부에서 관찰 가능한 출력까지 전달되어야 한다는 조건이다.
오류나 개정된 내용이 보이면 알려주세요