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

Podrobná bibliografia
Vydané 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:	English
Vydavateľské údaje:	New York, NY IEEE 01.01.1995 Institute of Electrical and Electronics Engineers IEEE Computer Society
Predmet:	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 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!