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žené v:

Podrobná bibliografia
Vydané v:	IEEE transactions on software engineering Ročník 40; číslo 10; s. 971 - 992
Hlavní autori:	Araujo, Wladimir, Briand, Lionel C., Labiche, Yvan
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York IEEE 01.10.2014 IEEE Computer Society
Predmet:	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 prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!