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

Full description

Saved in:

Bibliographic Details
Published in:	IEEE transactions on software engineering Vol. 21; no. 1; pp. 19 - 31
Main Author:	Rosenblum, D.S.
Format:	Journal Article
Language:	English
Published:	New York, NY IEEE 01.01.1995 Institute of Electrical and Electronics Engineers IEEE Computer Society
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!