scientific article; zbMATH DE number 1418452

MaRDI QIDQ4942008zbMATH OpenFDO

Authors Claude Jard, Thierry Jéron, Lénaïck Tanguy, César Viho

Publication date 19 March 2000

zbMATH Keywords

remote asynchronous testing

Mathematics Subject Classification ID

Network design and communication in computer systems (68M10)

Recommendations

• Synchronizing asynchronous conformance testing
• A Fresh Look at Testing for Asynchronous Communication
• Passive testing with asynchronous communications and timestamps
• scientific article; zbMATH DE number 1418463
• Using Time to Add Order to Distributed Testing

Cited in

(9)

• Passive testing with asynchronous communications and timestamps
• Interaction semantics with refusals, divergence, and destruction
• Agreement between conformance and composition
• Timed implementation relations for the distributed test architecture
• Synchronizing asynchronous conformance testing
• The complexity of asynchronous model based testing
• Specification completion for IOCO
• A supervisory control method for ensuring the conformance of real-time discrete event systems
• Formalization of test experiments

Describes a project that uses

Uses Software

• SPIN

This page was built for publication:

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