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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on software engineering Ročník 40; číslo 10; s. 971 - 992
Hlavní autoři:	Araujo, Wladimir, Briand, Lionel C., Labiche, Yvan
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York IEEE 01.10.2014 IEEE Computer Society
Témata:	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
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!