simulation
모델을 타겟으로 하여 입력을 넣었을 때, 끝까지 실행이 됨을 확인하는 것으로 모델에 대해 오류가 존재하는지 검토하는 프로세스
test
코드를 타겟으로 하여 입력을 넣었을 때, 프로그램이 에러 없이 실행됨을 확인하는 것으로 보안공학적으로 생각하면, coverage가 넓은 입력을 찾고, 좋은 test vector를 찾아야 하는 프로세스
모델을 타겟으로 하여 입력을 넣었을 때, 끝까지 실행이 됨을 확인하는 것으로 모델에 대해 오류가 존재하는지 검토하는 프로세스
코드를 타겟으로 하여 입력을 넣었을 때, 프로그램이 에러 없이 실행됨을 확인하는 것으로 보안공학적으로 생각하면, coverage가 넓은 입력을 찾고, 좋은 test vector를 찾아야 하는 프로세스