Beyond Testing: The Art and Science of Formal Verification
Produktnummer:
18a0c2878667304e0ca14206d3ab86ed33
Autor: | Shalini |
---|---|
Themengebiete: | bug detection formal methods hardware verification mathematical proofs model checking rigorous development software verification static analysis system correctness theorem proving |
Veröffentlichungsdatum: | 11.06.2024 |
EAN: | 9783384257369 |
Sprache: | Englisch |
Seitenzahl: | 120 |
Produktart: | Kartoniert / Broschiert |
Verlag: | tredition |
Produktinformationen "Beyond Testing: The Art and Science of Formal Verification"
"Beyond Testing: The Art and Science of Formal Verification" intrigues readers by suggesting there's more to software development than meets the eye. It hints at a blend of creativity and rigor in the realm of formal verification. We can delve deeper by briefly explaining the limitations of testing. Traditional testing methods, often referred to as black-box testing, can be like throwing spaghetti at a wall – identifying bugs through various user scenarios, but not guaranteeing all errors are caught. The title emphasizes the "art and science" of formal verification. It's both a methodical approach – involving the creation of a formal model of the software system and rigorous analysis – and an art form – requiring expertise in software design and logic to identify potential flaws. This analysis could highlight the benefits of formal verification. It can be more comprehensive than testing, catching errors early in the development process and providing a higher level of confidence in the software's correctness, especially for critical systems. By moving "Beyond Testing," we discover a powerful tool for ensuring software reliability in our increasingly complex world.

Sie möchten lieber vor Ort einkaufen?
Sie haben Fragen zu diesem oder anderen Produkten oder möchten einfach gerne analog im Laden stöbern? Wir sind gerne für Sie da und beraten Sie auch telefonisch.
Juristische Fachbuchhandlung
Georg Blendl
Parcellistraße 5 (Maxburg)
8033 München
Montag - Freitag: 8:15 -18 Uhr
Samstags geschlossen