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
• Publication:4942022
• Using Time to Add Order to Distributed Testing

Cited in

(9)

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