편집토론문서 역사

Soundness

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


개요

Soundness란 만약 프로그램이 analyzer에 의해서 reject되지 않는다면 그 프로그램이 안전한 것을 보장한다는 것을 말한다.

예를 들어서, 모든 프로그램을 reject하는 analyzer는 soundness하다.

같이 보기

  1. Completeness