Synchronizing asynchronous conformance testing

DOI10.1007/978-3-642-24690-6_23MaRDI QIDQ3095247zbMATH OpenOpenAlexDBLPWikidataFDO

Authors

Publication date 28 October 2011

Published in Software Engineering and Formal Methods (Search for Journal in Brave)

Full work available at URL https://research.tue.nl/nl/publications/c5ba610b-a218-4e12-8a71-3e103b03a980

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Distributed systems (68M14) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A Fresh Look at Testing for Asynchronous Communication
• The complexity of asynchronous model based testing
• scientific article; zbMATH DE number 1418463
• Separation of synchronous and asynchronous communication via testing
• scientific article; zbMATH DE number 1418452

Cites work

• scientific article; zbMATH DE number 2013781 (Why is no real title available?)
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• scientific article; zbMATH DE number 1418452 (Why is no real title available?)
• Synchronizing asynchronous conformance testing

Cited in

(13)

• The best of both worlds: model-driven engineering meets model-based testing
• scientific article; zbMATH DE number 1418452 (Why is no real title available?)
• Generation of complete test suites from Mealy input/output transition systems
• The complexity of asynchronous model based testing
• Compatibility properties of synchronously and asynchronously communicating components
• Executable interface specifications for testing asynchronous Creol components
• Synchronizing asynchronous conformance testing
• On the complexity of generating synchronizable test sequences
• Development of formal models and conformance testing for systems with asynchronous interfaces and telecommunications protocols
• Synchronization paradigm for protocol testing under multiparty configuration
• A Fresh Look at Testing for Asynchronous Communication
• Automated testing of asynchronous nondeterministic systems with data.
• scientific article; zbMATH DE number 1418463 (Why is no real title available?)

This page was built for publication: Synchronizing asynchronous conformance testing

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