Cargando…
Formal Approaches to Software Testing 4th International Workshop, FATES 2004, Linz, Austria, September 21, 2004, Revised Selected Papers /
Testing often accounts for more than 50% of the required e?ort during system development.Thechallengeforresearchistoreducethesecostsbyprovidingnew methods for the speci?cation and generation of high-quality tests. Experience has shown that the use of formal methods in testing represents a very impor...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor Corporativo: | |
| Otros Autores: | , |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Berlin, Heidelberg :
Springer Berlin Heidelberg : Imprint: Springer,
2005.
|
| Edición: | 1st ed. 2005. |
| Colección: | Programming and Software Engineering,
3395 |
| Temas: | |
| Acceso en línea: | Texto Completo |
Tabla de Contenidos:
- Symbolic Test Generation
- Test Generation Based on Symbolic Specifications
- Symbolic Test Case Generation for Primitive Recursive Functions
- Preserving Contexts for Soft Conformance Relation
- Testing Non-functional Properties
- Testing of Symbolic-Probabilistic Systems
- A Test Generation Framework for quiescent Real-Time Systems
- Online Testing of Real-time Systems Using Uppaal
- Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach
- Test Development with Model Checking Techniques
- Using Model Checking for Reducing the Cost of Test Generation
- Specifying and Generating Test Cases Using Observer Automata
- Semi-formal Development of a Fault-Tolerant Leader Election Protocol in Erlang
- An Automata-Theoretic Approach for Model-Checking Systems with Unspecified Components
- Test Optimization
- Test Patterns with TTCN-3
- High-Level Restructuring of TTCN-3 Test Data
- Ordering Mutants to Minimise Test Effort in Mutation Testing
- Testing COM Components Using Software Fault Injection and Mutation Analysis, and Its Empirical Study.