Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

Kostenloser Versand mit Zásilkovna ab 69.99 €

Österreichische Post 5.49 € GLS-Kurier 4.99 € DPD-Kurier 3.99 € DPD-Stelle 2.99 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Generating Test Templates via Automated Theorem Proving

Name: Generating Test Templates via Automated Theorem Proving
Brand: Biblioscholar
SKU: 08287017
Availability: OutOfStock
Author: Mani Prasard Kancherla
ISBN: 9781288910892

Mani Prasard Kancherla

Sprache

Englisch

Buch Broschur

Libristo-Code: 08287017

Verlag Biblioscholar, März 2013

Testing can be used during the software development process to maintain fidelity between evolving sp... Vollständige Beschreibung

Libristo-Code: 08287017

Kunden kauften auch

Mafarka il futurista. Edizione integrale non censurata 1910 Filippo Tommaso Marinetti

Broschur

34.09 €

První slova

Leporello

5.49 €

Emily cresce. Emily di New Moon Lucy Maud Montgomery

Broschur

16.79 €

LES SECRETS DES GRANDS CRIMES DE L'HISTOIRE CHARLIER PHILIPPE

Broschur

12.29 €

Terapia della Gestalt Ana Laura Reyes Rivera

Broschur

37.29 €

Processus de decentralisation et gestion communautaire des ressources naturelles Daniel Kirhima

Broschur

51.19 €

?Apúntate! - Ausgabe 2016 - Band 3 - Otro yo en Argentina Manuel Vila Baleato

Broschur

9.69 €

UN CHATEAU SUR LE DOS BELLEMARE Buch

Broschur

14.79 €

Ariol 10 Les petits rats de l'opera Emmanuel Guibert

Hardcover

18.79 €

Die Geographie Der Nachbarlander Agyptens: Nach Den Altagyptischen Denkmalern (1858) Heinrich Brugsch

Broschur

24.89 €

Artificum Liberae Graeciae Tempora (1843) Heinrich Brunn

Broschur

19.99 €

De la democratie en Amerique Alexis de Tocqueville

Broschur

18.89 €

Sloh od šestky do devítky Marie Hanzová

Broschur

4.49 €

Testing can be used during the software development process to maintain fidelity between evolving specifications, program designs, and code implementations. We use a form of specification-based testing that employs the use of an automated theorem prover to generate test templates. A similar approach was developed using a model checker on state-intensive systems. This method applies to systems with functional rather than state-based behaviors. This approach allows for the use of incomplete specifications to aid in generation of tests for potential failure cases. We illustrate the technique on the cannonical triangle testing problem and discuss its use on analysis of a spacecraft scheduling system.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Generating Test Templates via Automated Theorem Proving

Autor Mani Prasard Kancherla

Sprache

Englisch

Einband Buch - Broschur

Datum der Veröffentlichung 2013

Anzahl der Seiten 96

EAN 9781288910892

ISBN 9781288910892

Libristo-Code 08287017

Verlag Biblioscholar

Gewicht 186

Abmessungen 189 x 246 x 5

Kategorie

Gesellschaft und Sozialwissenschaften > Pädagogik

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert