DocumentCode :
2004455
Title :
Exploiting the synergy between automated-test-generation and programming-by-contract
Author :
Barnett, Mike ; Ahndrich, Manuel F. ; De Halleux, Peli ; Logozzo, Francesco ; Tillmann, Nikolai
Author_Institution :
Microsoft Res., Redmond, WA
fYear :
2009
fDate :
16-24 May 2009
Firstpage :
401
Lastpage :
402
Abstract :
This demonstration presents two tools, Code Contracts and Pex, that utilize specification constructs for advanced testing, runtime checking, and static checking of object-oriented .NET programs.
Keywords :
object-oriented programming; Pex; automated-test-generation; code contract; object-oriented .NET program; programming-by-contract; runtime checking; static checking; Automatic testing; Contracts; Documentation; Object detection; Performance analysis; Performance evaluation; Programming profession; Runtime; Specification languages; Writing;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Engineering - Companion Volume, 2009. ICSE-Companion 2009. 31st International Conference on
Conference_Location :
Vancouver, BC
Print_ISBN :
978-1-4244-3495-4
Type :
conf
DOI :
10.1109/ICSE-COMPANION.2009.5071032
Filename :
5071032
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=2004455
بازگشت