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...

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on software engineering Vol. 40; no. 10; pp. 971 - 992
Main Authors:	Araujo, Wladimir, Briand, Lionel C., Labiche, Yvan
Format:	Journal Article
Language:	English
Published:	New York IEEE 01.10.2014 IEEE Computer Society
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!