Framework for STA

Learning Objectives

• Test and analysis 의 차원과 tradeoff 살펴보기
• verification, validation 구분하기
• Test and analysis 의 장,단점 이해하기

1. Validation VS Verification

2. V-Model

3. 한계점 (Undeciability of Correctness Properties)

: 아무리 testing을 충분히 해도, 모든 오류를 잡을 수 없고 spec에 맞는지 알 수 없다.

• Halting problem

  : 에러가 나는 상황을 재현해 낼 수 없는 상황

  : 어떤 프로그램과 입력을 받았을 때, 그 프로그램을 실행했을 때 유한한 단계 후에 끝날지 혹은 영원히 끝나지 않을지를 판별할 수 있는 일반적인 방법이 있을까를 다루는 문제

  ex) 드론이 날아가는데 '가끔' 떨어지는 상황을 testing으로 만들어 낼 수 없음

4. Verification Trade-off Dimensions (섞어서 사용하자!) #26