A practical approach to programming with assertions

Embedded assertions have been recognized as a potentially powerful tool for automatic runtime detection of software faults during debugging, testing, maintenance and even production versions of software systems. Yet despite the richness of the notations and the maturity of the techniques and tools t...

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	IEEE transactions on software engineering Ročník 21; číslo 1; s. 19 - 31
Hlavní autor:	Rosenblum, D.S.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York, NY IEEE 01.01.1995 Institute of Electrical and Electronics Engineers IEEE Computer Society
Témata:	Annotations Applied sciences Automatic testing Classification Computer programming Computer science; control theory; systems Debugging Embedded software Exact sciences and technology Fault detection Programming languages Runtime Software Software debugging Software development Software engineering Software maintenance Software quality Software systems Software testing Software tools System testing Systems development Assignment Specification language Software development Programming environment Classification Consistency Error diagnostic Debugging Preprocessor Formal semantics Program verification Execution time
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!