http://junhoahn.kr/noriwiki/index.php?action=history&feed=atom&title=SoundnessSoundness - 편집 역사2026-06-13T20:43:51Z이 문서의 편집 역사MediaWiki 1.43.0http://junhoahn.kr/noriwiki/index.php?title=Soundness&diff=6&oldid=prevAhn9807: 새 문서: 분류: 전산 용어 == 개요 == Soundness란 만약 프로그램이 analyzer에 의해서 reject되지 않는다면 그 프로그램이 안전한 것을 보장한다는 것을 말한다. 예를 들어서, 모든 프로그램을 reject하는 analyzer는 soundness하다. == 같이 보기 == # Completeness2023-02-03T06:19:54Z<p>새 문서: <a href="/noriwiki/index.php?title=%EB%B6%84%EB%A5%98:%EC%A0%84%EC%82%B0_%EC%9A%A9%EC%96%B4" title="분류:전산 용어">분류: 전산 용어</a> == 개요 == Soundness란 만약 프로그램이 analyzer에 의해서 reject되지 않는다면 그 프로그램이 안전한 것을 보장한다는 것을 말한다. 예를 들어서, 모든 프로그램을 reject하는 analyzer는 soundness하다. == 같이 보기 == # <a href="/noriwiki/index.php?title=Completeness" title="Completeness">Completeness</a></p>
<p><b>새 문서</b></p><div>[[분류: 전산 용어]]<br />
<br />
== 개요 ==<br />
Soundness란 만약 프로그램이 analyzer에 의해서 reject되지 않는다면 그 프로그램이 안전한 것을 보장한다는 것을 말한다.<br />
<br />
예를 들어서, 모든 프로그램을 reject하는 analyzer는 soundness하다.<br />
<br />
== 같이 보기 ==<br />
# [[Completeness]]</div>Ahn9807