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

Celý popis

Uloženo v:

Podrobná bibliografie
Vydáno v:	ICSE 92: 14th International Conference on Software Engineering s. 92 - 104
Hlavní autor:	Rosenblum, David S.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	New York, NY, USA ACM 01.06.1992 IEEE
Edice:	ACM Conferences
Témata:	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
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!