Practical model-based testing : (Record no. 848611)
[ view plain ]
| 000 -LEADER | |
|---|---|
| campo de control de longitud fija | 03617nam a2200241 a 4500 |
| 003 - IDENTIFICADOR DE NÚMERO DE CONTROL | |
| campo de control | AR-LpUFIB |
| 005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN | |
| campo de control | 20240131171047.0 |
| 007 - CAMPO FIJO DE DESCRIPCIÓN FÍSICA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | ta |
| 008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL | |
| campo de control de longitud fija | 230201s2007 xxua dr 000 0 eng d |
| 020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO | |
| Número Internacional Estándar del Libro | 97801237250101 |
| 024 8# - IDENTIFICADOR DE OTROS ESTÁNDARES | |
| Número estándar o código | DIF006594 |
| 040 ## - FUENTE DE CATALOGACIÓN | |
| Centro catalogador/agencia de origen | AR-LpUFIB |
| Lengua de catalogación | spa |
| Centro/agencia transcriptor | AR-LpUFIB |
| 100 1# - ENTRADA PRINCIPAL--NOMBRE DE PERSONA | |
| Nombre de persona | Utting, Mark |
| 9 (RLIN) | 257419 |
| 245 10 - MENCIÓN DEL TÍTULO | |
| Título | Practical model-based testing : |
| Resto del título | a tools approach |
| 250 ## - MENCION DE EDICION | |
| Mención de edición | 1st ed. |
| 260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC. | |
| Lugar de publicación, distribución, etc. | San Francisco : |
| Nombre del editor, distribuidor, etc. | Elsevier, |
| Fecha de publicación, distribución, etc. | 2007 |
| 300 ## - DESCRIPCIÓN FÍSICA | |
| Extensión | xix, 433 p. : |
| Otras características físicas | il. |
| 500 ## - NOTA GENERAL | |
| Nota general | Contiene índice |
| 505 0# - NOTA DE CONTENIDO CON FORMATO | |
| Nota de contenido con formato | Chapter 1 - The challenge -- 1.1 What do we mean by testing? -- 1.2 Whats is model-based testing? -- 1.3 A smart card example -- 1.4 Summary -- 1.5 Further reading -- Chapter 2 - The pain and the gain -- 2.1 Classic testing processes -- 2.2 The model-based testing process -- 2.3 Models: Build or borrow? -- 2.4 Your maturity level -- 2.5 Hypothetical case: total testing experience hours -- 2.6 Model-based testing experience reports -- 2.7 Benefits of model-based testing -- 2.8 Limitations of model-based testing -- 2.9 Summary -- 2.10 Further reading -- Chapter 3 - A model of your system -- 3.1 How to model your system -- 3.2 A case study -- 3.3 Transition-based models -- 3.4 Pre/post models in B -- 3.5 Summary -- 3.6 Further reading -- Chapter 4 - Selecting your tests -- 4.1 Structural model coverage -- 4.2 Data Coverage criteria -- 4.3 Fault-based criteria -- 4.4 Requirements-based criteria -- 4.5 Explicit test case specifications -- 4.6 Statistical test generations methods -- 4.7 Combining test selection criteria -- 4.6 Summary -- 4.7 Further reading -- Chapter 5 - Testing from finite state machines -- 5.1 Testing qui-donc with a simple FSM -- 5.2 EFSMs and the odelJUnit Library -- 5.3 Unit testing Zlive with EFSMs -- 5.4 Labeled transition systems models -- 5.5 Summary -- 5.6 Further reading -- Chapter 6 - Testing from pre/post models -- 6.1 How to write pre/post models for testing -- 6.2 The system process scheduler example -- 6.3 The triangle example -- 6.4 Robustness testing from a pre/post model -- 6.5 Testing a char system with Spec Explorer -- 6.6 Summary -- 6.7 Further reading -- Chapter 7 - Testing from UML transition-based models -- 7.1 UML modeling -- 7.2 Testing an eTheater with LTG/UML -- 7.3 Testing a protocol with Qtronic -- 7.4 Summary -- 7.5 Further reading -- Chapter 8 - Making tests executable -- 8.1 Principles of test adaptation -- 8.2 Example : the eTheater system -- 8.3 Summary -- 8.4 Further reading -- Chapter 9 - The GSM 11.11 case study -- 9.1 Overview of the GSM 11.11 Standard -- 9.2 Modeling GSM 11.11 in B -- 9.3 Validation and verification of the B model -- 9.4 Generating test with LTG/B -- 9.5 Generating executable scripts -- 9.6 Test execution -- 9.7 Summary -- 9.8 Further reading -- Chapter 10 - The ATM case study -- 10.1 Overview of the ATM system -- 10.2 Modeling the ATM system in UML -- 10.3 Generating test cases -- 10.4 Generating Executable test scripts -- 10.5 Executing the test -- 10.6 Summary -- 10.7 Further reading -- Chapter 11 - Putting it into practice -- 11.1 Prerequisites for model-based testing -- 11.2 Selecting a model-based testing approach -- 11.3 Peple, roles, and training -- 11.4 Model-based testing and the agile methods -- 11.5 Model-based testing and the unified process -- 11.6 Epilogue -- Appendix A - Summary of B Abstract Machine Notation -- Appendix B - Summary of Common OCL Constructs -- Appendix C - Commercial Tools -- Glossary -- Bibliography -- Index |
| 650 #4 - PUNTO DE ACCESO ADICIONAL DE MATERIA--TÉRMINO DE MATERIA | |
| Término de materia o nombre geográfico como elemento de entrada | DESARROLLO DIRIGIDO POR PRUEBAS |
| 9 (RLIN) | 254181 |
| 700 1# - ENTRADA AGREGADA--NOMBRE PERSONAL | |
| Nombre de persona | Legeard, Bruno |
| 9 (RLIN) | 257420 |
| 942 ## - ELEMENTOS DE ENTRADA SECUNDARIOS (KOHA) | |
| Tipo de ítem Koha | Libros |
| Estado retirado | Estado de pérdida | Estado de daño | No para préstamo | Biblioteca de origen | Biblioteca actual | Fecha de adquisición | Número de inventario | Total de préstamos | Signatura topográfica completa | Código de barras | Visto por última vez | Precio de reemplazo | Tipo de ítem Koha |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Disponible para préstamo | Biblioteca Fac.Informática | Biblioteca Fac.Informática | 31/01/2024 | DIF-04576 | D.2.5 UTT | DIF-04576 | 31/01/2024 | 31/01/2024 | Libros |