Testability of a communicating system through an environment

DOI10.1007/3-540-56610-4_87MaRDI QIDQ5044760zbMATH OpenOpenAlexFDO

Authors

Publication date 2 November 2022

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

Full work available at URL https://doi.org/10.1007/3-540-56610-4_87

Mathematics Subject Classification ID

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

• Model-Based Testing of Environmental Conformance of Components
• Connectivity testing
• Formal Approaches to Software Testing
• Testing of abstract components
• Compositional Testing of Communication Systems

Cites work

• A calculus of communicating systems
• Algebra of communicating processes with abstraction
• Extensional equivalences for transition systems
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 42469 (Why is no real title available?)
• Observation equivalence as a testing equivalence
• Testing equivalences for processes

Cited in

(6)

• Connectivity testing
• Compositional Testing of Communication Systems
• Model-Based Testing of Environmental Conformance of Components
• Testing of abstract components
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Formal Approaches to Software Testing

This page was built for publication: Testability of a communicating system through an environment

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