design-by-contract

0열

2답변

입력 매개 변수 유효성 검사

일부 코드에서 예외, 어설 션 또는 경계 검사를 사용해야하는지 결정하려고합니다. 프로그램에는 사용자 입력에 의존하는 많은 계산이 포함되어 있습니다. 프로그램이 임베디드 시스템에서 실행 중입니다. 아래 코드는 일반적인 예입니다. 파라미터 weight_percent_salt 분명 부정적 안되며, 안 I은 사용자 입력이 0 사이로 제한 할 수있는 특정 경우에 1

c++ exception testing design-by-contract 2017-02-09

---

4열

1답변

코드 계약과 사양의 차이점 #

C#에서 DBC를 구현하고 싶습니다. 나는 SpeC#과 Code Contract에 직면했다. SpeC#과 Code Contract의 차이점은 무엇입니까?

c# code-contracts design-by-contract spec# 2014-10-19

---

0열

1답변

smalltalk에서 컴파일하는 방법을 사용하는 방법 및 어떤 매개 변수를 호출 할 수 있습니까?

smalltalk에서 이미 정의 된 "컴파일"방법에 추가 기능을 추가하려고합니다. 난 단지 (문자열로 코드) 메소드 컴파일을 호출 할 때 첫 번째 매개 변수를 제공하기 위해 무엇을 알고, compile: code notifying: requestor trailer: bytes ifFail: failBlock self log:(self substring:

smalltalk squeak design-by-contract 2014-12-09

---

1열

1답변

계약으로 계약을 맺는 사전 조건

이 인터페이스를 기반으로 Java로 계산기를 만들어야합니다. public interface CalculatorIF { int add(int x, int y); int sub(int x, int y); int mult(int x, int y); //double div(int x, int y); //int sqrt(

java design-by-contract preconditions 2016-11-05

---

0열

1답변

롤아웃 전에 DbC에서 계약을 테스트하는 방법은 무엇입니까?

DbC (Design by Contract)를 사용하여 소프트웨어 구성 요소에 대해 정의한 계약이 어느 시점에서 테스트되고 있는지 어떻게 확인합니까? 정의한 모든 계약서에 대해 단위 테스트를 작성합니까? DbC와 단일 장치의 분리 테스트에서 볼 수있는 장점 중 하나는 실제 협력 업체간에 계약이 작동하는지 확인할 수 있다는 것입니다. 하지만 소프트웨어를 출시

testing design-by-contract 2014-07-17

---

4열

1답변

WCF 계약 첫 번째 : 노출되는 메서드가 없습니다.

XSD가 여러 개있는 WSDL을 받았는데이를 사용하여 WCF 서비스를 만듭니다. 나는 서비스 클래스를 생성하기 위해 svcutil.exe를 사용하고 있으며 모든 것은 기본적으로 잘 작동한다 - 서비스가 어떤 메소드도 노출시키지 않는다는 것만 제외하면. [System.CodeDom.Compiler.GeneratedCodeAttribute("System.Ser

xml wcf soap wsdl design-by-contract 2015-02-06

---

2열

1답변

null이 아니거나 null 허용되는 주석에 대한 의미 만들기

Nullable, 즉 NonNull 및 Nullable에 대한 주석을 올바르게 사용하는 방법이 명확하지 않습니다. 나는 다음과 같은 정말 편안하지 않다 : public void foo(@NonNull ArrayList<CustomObject> list) { CustomObject o = list.get(0); //etc } 1)이 수비에 nu

java android design-patterns annotations design-by-contract 2017-02-24

---

1열

1답변

WCF에서 REST로 전환 - 프록시 클래스를 생성 할 수 있습니까?

현재 WCF를 통해 통신하는 응용 프로그램 (클라이언트/서버)이 있습니다. 우리는 WCF 접근 방식에서 벗어나 대신 REST 접근 방식을 사용하고자합니다. 오버 헤드 (크기면에서)와 Windows 클라이언트 (현재 WinForm 클라이언트)와 모바일 장치에 동일한 액세스 방법을 사용할 수있는 것과 같은 몇 가지 이유가 있습니다. Mono 프레임 워크에서 서

c# wcf rest asp.net-web-api design-by-contract 2014-04-18

---

1열

1답변

코드 계약 및 예외가 발생하지 않도록하십시오.

Microsoft 코드 계약을 사용하여 메소드가 예외를 throw하지 않아야하는 불변성을 확인할 수 있는지 궁금합니다. 다음과 같이 사용 사례는 다음과 같습니다 을 나는 수입자가 수입의 여러 단계를 정의하는 수입에 대한 기본 클래스를 사용하여 첨부 로거로 수입이 있습니다 파일을 읽기; 데이터를 일반 데이터 레코드에 저장하십시오. 레코드에서 도메인 개체를 만

c# code-contracts design-by-contract 2014-01-16

---

2열

1답변

클래스 초기화 목록 앞에 어설 션을 어떻게 배치 할 수 있습니까?

초기화 목록을 호출하기 전에 클래스 생성자에서 매개 변수에 대해 무언가를 주장 할 수 있습니까? class Foo { int m_lower; int m_upper; unsigned int m_delta; public: Foo(int t_lower, int t_upper) : assert(t_lowe

c++ constructor initialization assert design-by-contract 2017-11-18

---