다른 명령
새 문서: 분류: 전산 용어 == 개요 == Soundness란 만약 프로그램이 analyzer에 의해서 reject되지 않는다면 그 프로그램이 안전한 것을 보장한다는 것을 말한다. 예를 들어서, 모든 프로그램을 reject하는 analyzer는 soundness하다. == 같이 보기 == # Completeness |
(차이 없음)
|
2023년 2월 3일 (금) 06:19 기준 최신판
개요
Soundness란 만약 프로그램이 analyzer에 의해서 reject되지 않는다면 그 프로그램이 안전한 것을 보장한다는 것을 말한다.
예를 들어서, 모든 프로그램을 reject하는 analyzer는 soundness하다.