0
코드 계약을 통해 정적 점검을하고 모든 것이 올 Y 른지 확인하려면 왜 ccrewrite가 2 진을 다시 쓸 수 있도록해야합니까?코드 계약 및 ccrewrite
ccrewrite를 완전히 끄는 것이 정상입니까?
A
답변
4
코드 계약을 통해 정적 점검을하고 모든 것이 맞는지 확인할 수 있습니까?
완전한 응용 프로그램에 관한 것이므로 Assume()이 필요하지 않은 경우에만 유지됩니다.
다른 모든 경우 (재사용 가능한 라이브러리 구성 요소 등) 코드 계약을 통해 내부 논리를 검증 할 수는 있지만 문 앞에 Requires()을 대체 할 수있는 것은 없습니다.
1
코드 계약 포럼에서 정기적으로 제기되는 추가 사항은 정적 검증자가 버그를 가질 수 있으며 버그가 있다는 것입니다.
0
또 다른 요점은 모든 빌드에서 정적 베타 테스트를 사용할 때 정적 베타 테스트가 매우 느릴 수 있다는 것입니다.
코드를 실행하고 문제를 찾기 위해 단위 테스트와 함께 런타임 검사를 사용하여이를 보완 할 수 있습니다.