코드 계약 분석이 기본적으로 설치되지 않은 이유

Question

이제 막 새 프로젝트를 시작했으며 처음부터 테스트를 포함하고자합니다.

우리는 어떤 단위 테스트 솔루션을 사용할 것인지 찾고 있었지만 독립 계약 테스트 방법을 작성하지 않고도 null 매개 변수 전달을 확인하는 쉬운 방법을 제공하는 것처럼 보이는 코드 계약을 발견했습니다.

코드 계약 확인에 많은 투자를 할까봐 혼란 스럽지만, 분석 도구는 DevLabs에서 다운로드해야하며 기본적으로 VS2012에 포함되어 있지 않습니다.

왜 그럴까요?

추가 정보 : VS2012의 코드 계약 분석 지원이 불확실한 것으로 보입니다. 분석 기능이 좋지 않으면 코드 계약을 사용해야하는 이유는 무엇입니까?

Answer 1

VS2012는 말할 수 없지만 VS2010에서는 완벽하게 작동합니다. 잘못된 경고가 발생한다는 점에서 코드 분석과의 경미한 충돌은 있지만 코드 분석 규칙을 끄고 코드 계약 정적 검사 (훨씬 포괄적입니다)에 의존하기 만하면됩니다.

아마도 IDE 통합에 대한 답변을 얻는 가장 좋은 장소는 Code Contracts Website에있는 전자 메일 주소를 사용하는 것이지만, IDE의 "공식적인"부분이 아닌 연구 프로젝트가 있기 때문에 보다 정기적 인 업데이트 기능.