Aceasta este aplicația Linux numită Contract++ a cărei ultimă versiune poate fi descărcată ca contractpp_0_4_1.zip. Poate fi rulat online în furnizorul gratuit de găzduire OnWorks pentru stații de lucru.
Descărcați și rulați online această aplicație numită Contract++ cu OnWorks gratuit.
Urmați aceste instrucțiuni pentru a rula această aplicație:
- 1. Ați descărcat această aplicație pe computer.
- 2. Introduceți în managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator pe care îl doriți.
- 3. Încărcați această aplicație într-un astfel de manager de fișiere.
- 4. Porniți emulatorul online OnWorks Linux sau Windows online sau emulatorul online MACOS de pe acest site web.
- 5. Din sistemul de operare OnWorks Linux pe care tocmai l-ați pornit, accesați managerul nostru de fișiere https://www.onworks.net/myfiles.php?username=XXXXX cu numele de utilizator dorit.
- 6. Descărcați aplicația, instalați-o și rulați-o.
SCREENSHOTS
Ad
Contract++
DESCRIERE
**** ACEASTA BIBLIOTECĂ A FOST MUTAȚĂ ÎN Boost ****Locație nouă: https://github.com/boostorg/contract
Programare contract C++ (aka Design by Contract sau DbC).
Toate caracteristicile Eiffel acceptate: subcontractare, postcondiții vechi și valori ale rezultatelor, compilare opțională a contractelor, acțiuni personalizabile în cazul eșecului aserției, blocuri invariabile, variante de buclă etc.
Plus specificatori virtuali, verificare concept, parametri numiți.
A se vedea: http://contractpp.sourceforge.net
DESCRIERE
- Suport pentru precondiții, postcondiții, invarianți de clasă, invarianți de bloc și variante de buclă.
- Clase derivate din subcontractare (cu suport pentru funcții virtuale pure și moștenire multiplă).
- Accesați valorile vechi ale expresiei și valoarea returnată a funcției în postcondiții.
- Compilarea și verificarea opționale a precondițiilor, postcondițiilor, invarianților de clasă, invarianților de bloc și a variantelor de buclă.
- Acțiuni personalizabile în cazul eșecului de afirmare a contractului (termină implicit, dar poate arunca, ieși etc).
- Specificatori virtuali.
- Verificarea conceptului.
- Parametri denumiți.
Public
Dezvoltatori, ingineri de calitate
Limbaj de programare
Eiffel, C++
Aceasta este o aplicație care poate fi preluată și de la https://sourceforge.net/projects/contractpp/. A fost găzduit în OnWorks pentru a fi rulat online într-un mod cât mai ușor de pe unul dintre sistemele noastre operative gratuite.