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

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	IEEE transactions on software engineering Jg. 21; H. 1; S. 19 - 31
1. Verfasser:	Rosenblum, D.S.
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY IEEE 01.01.1995 Institute of Electrical and Electronics Engineers IEEE Computer Society
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!