On-the-fly conformance testing using SPIN

DOI10.1007/S100090050044MaRDI QIDQ1856165zbMATH OpenOpenAlexFDO

Authors René G. de Vries, Jan Tretmans

Publication date 2000

Published in International Journal on Software Tools for Technology Transfer. STTT (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s100090050044, https://ris.utwente.nl/ws/files/6510156/fulltext.pdf

zbMATH Keywords

conformance testingformal methodsSpin verification tooltest automationtest generation algorithms

Mathematics Subject Classification ID

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

Recommendations

• Principles of the SPIN model checker. Foreword by Gerard J. Holzmann
• Using Spin to generate tests from ASM specifications
• scientific article; zbMATH DE number 2080069
• Conformance testing for real-time systems
• scientific article; zbMATH DE number 5540316

Cited in

(5)

• An axiomatic semantics for \(\mathsf{ioco} \underline{\mathsf{s}}\) conformance relation
• Model-Based Testing of Environmental Conformance of Components
• Data Flow Analysis and Testing of Abstract State Machines
• scientific article; zbMATH DE number 5540316 (Why is no real title available?)
• Using Spin to generate tests from ASM specifications

This page was built for publication: On-the-fly conformance testing using SPIN

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