Verificar estado da encomenda

Faça parte de uma comunidade de amantes de livros de todo o mundo e tenha acesso a uma série de benefícios. Crie uma conta gratuitamente

Correio DHL 7.99 € Correio DPD 4.49 € Ponto DPD 3.99 € Correio GLS 5.49 € Correio MRW 5.49 € Ponto GLS 4.49 €

Contacto

Como comprar

Ajuda

A minha conta

▸ Vazio :-(

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

Língua

Inglês

Livro Capa mole

Código Libristo: 08287017

Editoras Biblioscholar, março 2013

Testing can be used during the software development process to maintain fidelity between evolving sp... Descrição completa

Código Libristo: 08287017

Os clientes também compraram

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

Capa mole

30.83 €

První slova

Livro concertina

5.85 €

LES SECRETS DES GRANDS CRIMES DE L'HISTOIRE CHARLIER PHILIPPE

Capa mole

11.42 €

Terapia della Gestalt Ana Laura Reyes Rivera

Capa mole

37.71 €

Processus de decentralisation et gestion communautaire des ressources naturelles Daniel Kirhima

Capa mole

51.76 €

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

Capa mole

9.29 €

UN CHATEAU SUR LE DOS BELLEMARE Livro

Capa mole

13.64 €

Ariol 10 Les petits rats de l'opera Emmanuel Guibert

Livro de capa dura

17.38 €

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

Capa mole

22.84 €

Artificum Liberae Graeciae Tempora (1843) Heinrich Brunn

Capa mole

18.39 €

De la democratie en Amerique Alexis de Tocqueville

Capa mole

17.89 €

Sloh od šestky do devítky Marie Hanzová

Capa mole

4.54 €

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.