On testing UML statecharts

DOI10.1016/J.JLAP.2006.03.001zbMATH Open1101.68014OpenAlexW2006000146MaRDI QIDQ2500697FDOQ2500697

Authors Mieke Massink, Diego Latella, S. Gnesi

Publication date 17 August 2006

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2006.03.001

zbMATH Keywords

formal semanticstesting equivalencemechanical verificationformal conformace testingformal testing theoriestest case mechanical generationUML statecharts

Mathematics Subject Classification ID

Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 2016088
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• scientific article; zbMATH DE number 1919419
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• scientific article; zbMATH DE number 2006503

Cites work

• scientific article; zbMATH DE number 3817043 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 4110131 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• scientific article; zbMATH DE number 140240 (Why is no real title available?)
• scientific article; zbMATH DE number 1304374 (Why is no real title available?)
• scientific article; zbMATH DE number 1304378 (Why is no real title available?)
• scientific article; zbMATH DE number 1973978 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• Extensional equivalences for transition systems
• Global Computing
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• Testing Software Design Modeled by Finite-State Machines

Cited in

(6)

• scientific article; zbMATH DE number 2013777 (Why is no real title available?)
• A state/event-based model-checking approach for the analysis of abstract system properties
• scientific article; zbMATH DE number 1973978 (Why is no real title available?)
• Testing for refinement in \textsf{Circus}
• scientific article; zbMATH DE number 2006497 (Why is no real title available?)
• Test selection for traces refinement

Describes a project that uses

Uses Software

• SPIN
• CADP

This page was built for publication: On testing UML statecharts

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