Model-driven testing : (Record no. 56388)

MARC details
000 -CABECERA
campo de control de longitud fija 04313nam a2200289 a 4500
003 - IDENTIFICADOR DEL NÚMERO DE CONTROL
campo de control AR-LpUFIB
005 - FECHA Y HORA DE LA ÚLTIMA TRANSACCIÓN
campo de control 20250311170437.0
008 - DATOS DE LONGITUD FIJA--INFORMACIÓN GENERAL
campo de control de longitud fija 230201s2008 xxua r 000 0 eng d
020 ## - NÚMERO INTERNACIONAL ESTÁNDAR DEL LIBRO
Número Internacional Estándar del Libro 9783540725626
024 8# - Otro identificador estandar
Número estándar o código DIF-M7246
-- 7457
-- DIF006611
040 ## - FUENTE DE LA 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 Baker, Paul
245 10 - MENCIÓN DE TÍTULO
Título Model-driven testing :
Resto del título using the UML testing profile
250 ## - MENCIÓN DE EDICIÓN
Mención de edición 1st ed.
260 ## - PUBLICACIÓN, DISTRIBUCIÓN, ETC.
Lugar de publicación, distribución, etc. Nueva York :
Nombre del editor, distribuidor, etc. Springer,
Fecha de publicación, distribución, etc. 2008
300 ## - DESCRIPCIÓN FÍSICA
Extensión xiv, 183 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 Introduction -- Part I Foundations -- 1 Model-Based Testing -- 1.1 The Software Development Process -- 1.2 UML and UTP in System Development -- 1.3 Model-Based Test Development -- 1.3.1 Black-Box Testing Approaches -- 1.3.2 White-Box Testing Approaches -- 1.3.3 Automatic Test Generation -- 2 Basics -- 2.1 UML Overview -- 2.1.1 Introduction to Class Models -- 2.1.2 Introduction to Use Cases -- 2.1.3 Introduction to Sequence Diagrams -- 2.1.4 Introduction to State Machines -- 2.1.5 Introduction to Activities -- 2.2 UTP Overview -- 3 Library Example Introduction -- 3.1 What Is a Library? -- 3.2 What Is Inside a Library? -- 3.3 Testing a Library -- Part II Functional Testing -- Overview -- 4 Unit Level Testing -- 4.1 UTP and Unit Level Testing -- 4.1.1 State Machines -- 4.1.2 Interactions -- 4.1.3 Activity Diagrams -- 4.2 Chapter Summary -- 5 Component and Integration Level Testing -- 5.1 Integration Strategies and Integration Level Testing -- 5.2 Test Configuration, Test Components, and Emulators -- 5.3 UTP and Integration Level Testing -- 5.4 Chapter Summary -- 6 System and Acceptance Level Testing -- 6.1 UTP and System Level Testing -- 6.1.1 Use Cases -- 6.2 Chapter Summary -- Part III Advanced Testing Concerns -- Overview -- 7 Data-Driven Testing -- 7.1 UTP and Data-Driven Testing . -- 7.1.1 Value Specification -- 7.1.2 Parameterization of Tests and Data Pools -- 7.1.3 Encoding and Decoding of Data . -- 7.2 Chapter Summary -- 8 Real-Time and Performance Testing -- 8.1 Real-Time Testing Concerns -- 8.2 UTP and Real-Time Testing -- 8.2.1 Hard Real-Time Concerns -- 8.2.2 Soft Real-Time Concerns -- 8.3 Performance Testing Concerns -- 8.4 UTP and Performance Testing -- 8.5 Summary -- Part IV Applications of UTP -- Overview -- 9 User-Interface Testing -- 9.1 Issues in User-Interface Testing -- 9.2 Planning UI Test Activities -- 9.2.1 User Interface Context -- 9.2.2 Logical Aspects -- 9.2.3 Physical Aspects -- 9.2.4 Localization Aspects -- 9.3 UTP and User-Interface Testing -- 9.3.1 Test Context and Configuration -- 9.3.2 Using Interaction Diagrams -- 9.4 Usability Testing -- 9.5 Chapter Summary -- 10 Testing Service-Oriented Architecture Applications -- 10.1 Service-Oriented Architecture Overview -- 10.1.1 Service Orientation: Basic Concepts -- 10.1.2 Testing Concerns for SOA . -- 10.2 UTP Test Specification for SOA Applications -- 10.2.1 Testing Individual Web Services -- 10.2.2 Testing Business Processes -- 10.3 Conclusion -- Part V Tools -- 11 Tool Frameworks and Examples -- 11.1 Kinds of UTP Tools -- 11.2 Tool Interoperability -- 11.3 Executable UTP -- -- 12 Test Execution with JUnit -- 12.1 JUnit 4.0 Fundamentals -- 12.1.1 Annotations: A New Foundation for JUnit -- 12.1.2 Test Methods -- 12.1.3 Set up and Tear down -- 12.1.4 Assertions -- 12.1.5 Test Method Annotations -- 12.2 UTP to JUnit Mapping -- 12.3 UTP to JUnit Example -- 12.4 Conclusion -- 13 Test Execution with TTCN-3 -- 13.1 Fundamentals of TTCN-3 -- 13.1.1 Modules and Test Cases -- 13.1.2 Types and Values -- 13.1.3 Test Components and Test Behavior -- 13.1.4 UTP and TTCN-3 Relationship -- 13.2 UTP to TTCN-3 Mapping -- 13.3 UTP to TTCN-3 Example -- 13.4 Executing UTP Specifications via TTCN-3 Test Platforms -- 13.5 Representing TTCN-3 Test Suites by UTP -- 13.6 Conclusion -- Part VI Appendixes -- A -- UTP Reference Guide -- Acronyms -- References -- 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 UML
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 DE SOFTWARE DIRIGIDO POR MODELOS - MDD
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Dai, Zhen Ru
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Grabowski, Jens
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Haugen, Øystein
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Schieferdecker, Ina
700 1# - PUNTO DE ACCESO ADICIONAL--NOMBRE DE PERSONA
Nombre de persona Williams, Clay
942 ## - ELEMENTOS DE PUNTO DE ACCESO ADICIONAL (KOHA)
Tipo de ítem Koha Libro
Holdings
Estado de retiro Estado de pérdida Estado dañado Disponibilidad Biblioteca permanente Biblioteca actual Fecha de adquisición Número de inventario Total de préstamos Signatura topográfica completa Código de barras Fecha visto por última vez Precio válido a partir de Tipo de ítem Koha
      Préstamo a domicilio Biblioteca de la Facultad de Informática Biblioteca de la Facultad de Informática 11/03/2025 DIF-04580   D.2.5 BAK DIF-04580 11/03/2025 11/03/2025 Libro