어설션

1 개요

assertion

표명, 어서션, 어썰션

• 프로그램 안에 추가하는 참·거짓을 미리 가정하는 문
• 개발자는 해당 문이 그 문의 장소에서 언제나 참이 되어야 한다고 간주한다.
• 런타임 중에 표명이 거짓으로 평가되면 표명 실패(assertion failure)가 되는데, 일반적으로 실행이 중단된다.

2 같이 보기

• 가드절
• 호어 논리
• 정적 코드 분석
• 계약에 의한 설계

3 참고

• 영어 위키백과 "Assertion (software development)"
• 위키백과 "어설션"
• 위키낱말사전 "어설션"
• 다음사전 "어설션"
• 다음백과 "어설션"
• 네이버사전 "어설션"
• 네이버백과 "어설션"
• 나무위키 "어설션"
• 리브레 위키 "어설션"