On testing UML statecharts

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

Diego Latella, Mieke Massink, 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

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

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)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Testing Software Design Modeled by Finite-State Machines
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automatic verification of a behavioural subset of UML statechart diagrams using the SPIN model-checker
• Modular semantics for a UML statechart diagrams kernel and its extension to multicharts and branching time model-checking
• Title not available (Why is that?)
• Extensional equivalences for transition systems
• Adaptive Testing of a Deterministic Implementation Against a Nondeterministic Finite State Machine
• Title not available (Why is that?)
• Title not available (Why is that?)
• Global Computing
• Title not available (Why is that?)
• Advances in computing science - ASIAN '97. 3rd Asian computing science conference, Kathmandu, Nepal, December 9--11, 1997. Proceedings
• Title not available (Why is that?)
• Title not available (Why is that?)

Cited In (5)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Test selection for traces refinement
• Testing for refinement in \textsf{Circus}

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)