Towards a method of programming with assertions

Embedded assertions have long been recognized as a Po- tentially powerful tool for automatic runtime detection of software faults during debugging, testing and maintenance. Yet despite the richness of the notations and the maturity of the techniques and tools that have been developed for programming...

Full description

Saved in:

Bibliographic Details
Published in:	ICSE 92: 14th International Conference on Software Engineering pp. 92 - 104
Main Author:	Rosenblum, David S.
Format:	Conference Proceeding
Language:	English
Published:	New York, NY, USA ACM 01.06.1992 IEEE
Series:	ACM Conferences
Subjects:	Automatic testing Embedded software Fault detection Formal specifications Hardware > Hardware validation > Functional verification > Assertion checking Permission Runtime Software and its engineering > Software creation and management > Software verification and validation Software and its engineering > Software creation and management > Software verification and validation > Software defect analysis > Software testing and debugging Software and its engineering > Software notations and tools > Development frameworks and environments Software and its engineering > Software notations and tools > General programming languages > Language types Software debugging Software systems Software testing Software tools Theory of computation > Semantics and reasoning > Program reasoning > Assertions
ISBN:	9780897915045, 0897915046
ISSN:	0270-5257
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!