이것은 Contractpp_0_4_1.zip으로 최신 릴리스를 다운로드할 수 있는 Contract++라는 Linux 앱입니다. 워크스테이션용 무료 호스팅 제공업체 OnWorks에서 온라인으로 실행할 수 있습니다.
무료로 OnWorks와 함께 Contract++라는 이 앱을 온라인으로 다운로드하여 실행하십시오.
이 앱을 실행하려면 다음 지침을 따르세요.
- 1. 이 애플리케이션을 PC에 다운로드했습니다.
- 2. 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX에 원하는 사용자 이름을 입력합니다.
- 3. 이러한 파일 관리자에서 이 응용 프로그램을 업로드합니다.
- 4. 이 웹사이트에서 OnWorks Linux 온라인 또는 Windows 온라인 에뮬레이터 또는 MACOS 온라인 에뮬레이터를 시작합니다.
- 5. 방금 시작한 OnWorks Linux OS에서 원하는 사용자 이름으로 파일 관리자 https://www.onworks.net/myfiles.php?username=XXXXX로 이동합니다.
- 6. 응용 프로그램을 다운로드하여 설치하고 실행합니다.
스크린 샷
Ad
계약++
기술
**** 이 라이브러리는 Boost로 이동되었습니다. ****새로운 위치: https://github.com/boostorg/contract
C++ 계약 프로그래밍(Contract by Design 또는 DbC라고도 함).
지원되는 모든 Eiffel 기능: 하도급, 사후 조건 이전 및 결과 값, 선택적 계약 컴파일, 어설션 실패에 대한 사용자 지정 가능한 작업, 블록 불변, 루프 변형 등
추가로 가상 지정자, 개념 확인, 명명된 매개변수.
참조 : http://contractpp.sourceforge.net
특징
- 사전 조건, 사후 조건, 클래스 불변, 블록 불변 및 루프 변형을 지원합니다.
- 하위 계약 파생 클래스(순수 가상 기능 및 다중 상속 지원 포함).
- 사후 조건에서 표현식 이전 값 및 함수 반환 값에 액세스합니다.
- 사전 조건, 사후 조건, 클래스 불변, 블록 불변 및 루프 변형의 선택적 컴파일 및 검사.
- 계약 어설션 실패 시 사용자 지정 가능한 작업(기본적으로 종료되지만 던지거나 종료할 수 있음).
- 가상 지정자.
- 개념 확인.
- 명명된 매개변수.
오디언스 (Audience)
개발자, 품질 엔지니어
프로그래밍 언어
에펠, C++
https://sourceforge.net/projects/contractpp/에서도 가져올 수 있는 애플리케이션입니다. 무료 운영 체제 중 하나에서 가장 쉬운 방법으로 온라인으로 실행하기 위해 OnWorks에서 호스팅되었습니다.