Software Verification and Analysis

Um unseren Shop nutzen zu können, müssen Sie Javascript in Ihrem Browser aktivieren.

Dekorationsartikel gehören nicht zum Leistungsumfang.

Sprache: Englisch

47,95 €*

inkl. MwSt.

Versandkostenfrei per Post / DHL

Lieferzeit 4-7 Werktage

Sie können kein Produkt in den Warenkorb legen, da Javascript und technisch notwendige Cookies aktiviert sein müssen.

Kategorien:

Der Artikel ist nicht in deutscher Sprache verfasst.
Die Sprache der Produktbeschreibung und Details kann in Englisch angegeben sein. Sollten Sie Verständnisprobleme haben, wenden Sie sich gerne an uns.

Beschreibung

¿The situation is good, but not hopeless¿ (Polish folk wisdom) The text is devoted to the Software Analysis and Testing (SAT) methods and s- porting tools for assessing and, if possible, improving software quality, specifically its correctness. The term quality assurance is avoided for it is this author¿s firm belief that in the current state of the art that goal is unattainable, a plethora of ¿gu- anteed¿ solutions to the problem notwithstanding. Therefore, the rather awkward phrase ¿improving correctness¿ is to be understood as an effort to minimize the number of residual programming faults (¿bugs¿) and their impact on the software¿s behavior, that is, to make the faults tolerable. It is clear that such a minimalist approach is a result of frustration. Indeed, having spent years developing software and teaching (preaching?) ¿How to do it right,¿ I still do not know how to go about it with any degree of certainty! It appears then I probably should stop right now, for who with a modicum of common sense would reach for a text that does not offer salvation but (as will be seen) hard work and misery? If I intend to continue, it is only that I suspect there are many professionals out there who have similar doubts. And they are the intended audience of this project. The philosophical underpinning of the text is the importance of sound engine- ing practices in software development.

Zusammenfassung

Emphasis is given to the integration of the most important aspects of software verification - program proving, static analysis and testing in one book

Provides tool support for each of the verification techniques

Offers readers the ability to test his own static analysis ideas using STAD 4.0

Presents novel and not generally know data testing techniques supported by the testing tool

Focuses on the practical applications

Inhaltsverzeichnis

The Semantic Analysis.- Why Not Write Correct Software the First Time?.- How to Prove a Program Correct: Programs Without Loops.- How to Prove a Program Correct: Iterative Programs.- Prepare Test for Any Implementation: Black-Box Testing.- Static Analysis.- Intermediate Program Representation.- Program Dependencies.- What Can One Tell About a Program Without Its Execution: Static Analysis.- Dynamic Analysis.- Is There a Bug in the Program? Structural Program Testing.- Dynamic Program Analysis.

Details

Erscheinungsjahr:	2010
Genre:	Informatik
Rubrik:	Naturwissenschaften & Technik
Medium:	Taschenbuch
Seiten:	244
Inhalt:	xviii 234 S. 62 s/w Illustr. 234 p. 62 illus.
ISBN-13:	9781849968294
ISBN-10:	1849968292
Sprache:	Englisch
Ausstattung / Beilage:	Paperback
Einband:	Kartoniert / Broschiert
Autor:	Stanley, William Laski, Janusz
Auflage:	Softcover reprint of hardcover 1st ed. 2009
Hersteller:	Springer London Springer-Verlag London Ltd.
Maße:	235 x 155 x 14 mm
Von/Mit:	William Stanley (u. a.)
Erscheinungsdatum:	13.10.2010
Gewicht:	0,376 kg

preigu-id: 107145349