Using Spin to generate tests from ASM specifications

DOI10.1007/3-540-36498-6_15MaRDI QIDQ4413684zbMATH OpenFDO

Authors Angelo Gargantini, Elvinia Riccobene, Salvatore Rinzivillo

Publication date 21 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890263.htm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Using Model Checking to Generate Fault Detecting Tests
• Test case generation from AsmL specifications
• On-the-fly conformance testing using SPIN
• Data Flow Analysis and Testing of Abstract State Machines
• Automatic Testing from Formal Specifications

Cited in

(10)

• On-the-fly conformance testing using SPIN
• The ASMETA approach to safety assurance of software systems
• ASM-based formal design of an adaptivity component for a cloud system
• Data Flow Analysis and Testing of Abstract State Machines
• Test case generation from AsmL specifications
• Using ASM specifications for compiler testing
• A data-flow approach to test multi-agent ASMs
• Using Model Checking to Generate Fault Detecting Tests
• A Logic-Based Approach to Combinatorial Testing with Constraints
• A formal logic approach to constrained combinatorial testing

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Using Spin to generate tests from ASM specifications

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