Software is used in many safety- and security-critical systems. Software development is, however, an error-prone task. In this work new techniques for the detection of software faults (or software "bugs") are described which are based on a formal deductive verification technology. The described techniques take advantage of information obtained during verification and combine verification technology with deductive fault detection and test generation in a very unified way.
Umfang: XVII, 264 S.
Preis: €40.00 | £37.00 | $70.00
These are words or phrases in the text that have been automatically identified by the Named Entity Recognition and Disambiguation service, which provides Wikipedia () and Wikidata () links for these entities.
Gladisch, C. 2011. Verification-based software-fault detection. Karlsruhe: KIT Scientific Publishing. DOI: https://doi.org/10.5445/KSP/1000023002
Dieses Buch ist lizenziert unter Creative Commons Attribution + Noncommercial + NoDerivatives 3.0 DE Dedication
Dieses Buch ist Peer reviewed. Informationen dazu finden Sie hier
Veröffentlicht am 30. Mai 2011