Using Model Checking to Generate Fault Detecting Tests

DOI10.1007/978-3-540-73770-4_11MaRDI QIDQ5423870zbMATH OpenOpenAlexFDO

Authors Angelo Gargantini

Publication date 31 October 2007

Published in Tests and Proofs (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73770-4_11

zbMATH Keywords

abstract state machinesASMfault-based testingmodel-based testing

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Using Spin to generate tests from ASM specifications
• Data Flow Analysis and Testing of Abstract State Machines
• Test case generation from AsmL specifications
• A temporal logic based theory of test coverage and generation
• Connectivity testing through model-checking

Cited in

(20)

• Checking sequence generation for symbolic input/output FSMs by constraint solving
• FSM-based testing from user defined faults adapted to incremental and mutation testing
• Test generation from event system abstractions to cover their states and transitions
• On the order of test goals in specification-based testing
• Multiple mutation testing from FSM
• Association of under-approximation techniques for generating tests from models
• Data Flow Analysis and Testing of Abstract State Machines
• Complementary Criteria for Testing Temporal Logic Properties
• Using Spin to generate tests from ASM specifications
• Test case generation from AsmL specifications
• A temporal logic based theory of test coverage and generation
• Fault model-driven test derivation from finite state models: Annotated bibliography
• Test generation derived from model-checking
• Information reuse for multi-goal reachability analyses
• A data-flow approach to test multi-agent ASMs
• A Logic-Based Approach to Combinatorial Testing with Constraints
• Connectivity testing through model-checking
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• A formal logic approach to constrained combinatorial testing

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Using Model Checking to Generate Fault Detecting Tests

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5423870)