Contacto
Cómo comprar
Entrega
Guía de compras
Generating Test Templates via Automated Theorem Proving
Inglés
166 b
Política de devolución de 30 días
Clientes que también han comprado
/
Tapa blanda
35.89
€
/
Tapa blanda
54.09
€
/
Tapa blanda
24.89
€
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.
Sobre el libro
Inglés
Categorías
Regale este libro hoy
Es fácil
1 Añadir al carrito y elegir Entregar como regalo en el checkout 2 Le enviaremos un vale 3 El libro llegará a la dirección del destinatarioTambién puede interesarle
/
Tapa blanda
21.99
€
/
Tapa blanda
32.19
€
/
Tapa dura
48.49
€
/
Tapa blanda
76.69
€