design-by-contract

1열

2답변

필요한 경우 asp.net에서 Microsoft.Contracts 네임 스페이스가 필요합니까? 어떤 경우에 나는 using Microsoft.Contracts;을 쓸 수 있습니까?

1열

1답변

Team System없이 Microsoft.Contracts의 정적 검사기를 사용할 수 있습니까?

정적 검사기로 Microsoft.Contacts를 설치할 수 있도록 Visual Studio Team System에 대한 요구 사항 외에도 팀 시스템없이 정적 검사기를 실행할 수 있습니까? 또는 스튜디오 팀 시스템 구성 요소가 공개하는 API에 따라 달라 집니까? 또한 팀 시스템이있는 컴퓨터의 정적 검사기를 전문성이있는 컴퓨터로 복사하는 것이 라이센스 내에

2열

2답변

이 계약을 증명하기 위해서는 무엇이 필요합니까? 필요합니까?

나는 대회의 라운드를 통해 실행되는 응용 프로그램을 가지고 있고, 나는이 간단한 코드 구조에 계약 경고를 얻고있다 : 내가 뭘 contracts: requires unproven: index < @this.Count : public static void LoadState(IList<Object> stuff) { for(int i =

5열

3답변

자동 정리에 사용하기 위해 계약 C로 디자인하기. 증명.

나는 C 프로젝트 몇 개를 작업 중이며 자동화 된 정리 이론을 사용하여 코드의 유효성을 검사하고 싶습니다. 이상적으로는 ATP를 사용하여 함수 계약의 유효성을 검사하고 싶습니다. 디자인/계약 스타일 코딩을 가능하게하는 C/gcc 또는 외부 소프트웨어/패키지/등의 기능이 있습니까? 그렇다면 나만의 인센티브가 시작됩니다. 내 참조는 MSR의 SpeC# 또는 S

5열

7답변

메소드 입력 매개 변수에 유효성 검사 제한 조건을 어떻게 배치 할 수 있습니까?

다음은이 목표를 달성하는 일반적인 방법입니다. public void myContractualMethod(final String x, final Set<String> y) { if ((x == null) || (x.isEmpty())) { throw new IllegalArgumentException("x cannot be null or

4열

2답변

계약으로 디자인 할 때 사용하는 공구는 무엇입니까?

나는 3 주 동안 Microsoft CodeContracts을 사용했고, 이제는 내 코드의 절반 만이 계약서입니다. 필자는 IL 수작업으로 커버리지 툴이 무언가를 보여주고 컴파일 시간이 덜 걸리기 때문에 런타임 체크를 사용할 수 없다. 나는 이것을 좋아하지 않는다. 그리고 지금 도움을 요청할 좋은 시간 인 것 같습니다. 귀하의 정기 개발에 어떤 도구가 사용

1열

3답변

인수 검사 또는 Java (GWT)의 계약 별 설계. 어디서 시작하나요?

GWT를 연주하고 있습니다. 기본 인수 검사를 찾고 있습니다. 나는 불변성이나 결과 보장을 요구하지 않습니다. 주제에 대한 베스트 프랙티스에 관심이있는 부분. 예를 들어, C에서 나는이 옵션 중 하나를 사용 번호 : if (arg1 != null) throw new ArgumentNulException....; // Official for public AP

6열

2답변

Clojure에서 설계 기반 계약을 일반적으로 구체적으로 또는 기능적 언어로 구현하는 방법은 무엇입니까?

필자는 Lisp 변종 (Clojure 또는 Scheme의 보너스 포인트)에 익숙하기 때문에 그 중 가장 익숙한 예제를 선호하지만 기능상의 lanugages에 대한 DBC에 대한 피드백은 물론 더 큰 커뮤니티에 가치가 있습니다. 여기 명백한 방법 : (defn foo [action options] (when-not (#{"go-forward" "go

5열

1답변

계약으로 디자인을 사용하는 가장 널리 사용되는 오픈 소스 프로젝트는 무엇입니까?

에펠 커뮤니티 외부에서 실제로 얼마나 많은 디자인 별 계약이 사용되는지 궁금합니다. 디자인 별 계약을 사용하는 활성 오픈 소스 프로젝트가 있습니까? 또는 하나의 질문에 답을하기 위해 계약별로 디자인을 사용하는 가장 널리 사용되는 (비 에펠) 오픈 소스 프로젝트는 무엇입니까?

0열

1답변

Visual Studio 2010에서 Microsoft 계약 정적 검사를 설정하려면 어떻게합니까?

최근 Visual Studio 2010b2를 다운로드하고 Microsoft 계약 정적 검사기에 대한 일부 질문을 다시 평가하려고합니다. 코드에 System.Diagnostics.Contracts 네임 스페이스를 사용하여 대부분의 코드를 다시 사용할 수 있었지만 정적 검사기를 사용하는 방법을 잘 모르겠습니다. 추가 플러그인이 필요합니까? 저는 계약에 의한 디