On the Effectiveness of Contracts as Test Oracles in the Detection and Diagnosis of Functional Faults in Concurrent Object-Oriented Software

Design by contract (DbC) is a software development methodology that focuses on clearly defining the interfaces between components to produce better quality object-oriented software. Though there exists ample support for DbC for sequential programs, applying DbC to concurrent programs presents severa...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering Jg. 40; H. 10; S. 971 - 992
Hauptverfasser:	Araujo, Wladimir, Briand, Lionel C., Labiche, Yvan
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York IEEE 01.10.2014 IEEE Computer Society
Schlagworte:	Concurrent computing Concurrent engineering Contracts Effectiveness studies Fault diagnosis Interference Java Message systems Object oriented programming Programming Software Software engineering Software Quality/SQA¿Measurement applied to SQA and V&V object-oriented programming Software/Program Verification¿Programming by contract Concurrent programming
ISSN:	0098-5589, 1939-3520
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!