Component-aware input-output conformance

DOI10.1007/978-3-030-21759-4_7MaRDI QIDQ6190183zbMATH OpenOpenAlexFDO

Authors Alexander Graf-Brill, Holger Hermanns

Publication date 6 February 2024

Published in Formal Techniques for Distributed Objects, Components, and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-030-21759-4_7

zbMATH Keywords

compositionalitymodel-based testinginput-output conformance

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Formal Approaches to Software Testing
• Testing of abstract components
• Unifying input output conformance
• Model Checking Software
• Model-Based Testing of Environmental Conformance of Components

Cites work

• Compositional Testing of Communication Systems
• Compositional minimisation of finite state systems using interface specifications
• Compositional verification of asynchronous concurrent systems using CADP
• Extensional equivalences for transition systems
• Formal Approaches to Software Testing
• Refusal testing
• Testing equivalences for processes

This page was built for publication: Component-aware input-output conformance

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