Passive testing with asynchronous communications and timestamps

DOI10.1007/S00446-017-0308-0MaRDI QIDQ1656880zbMATH OpenOpenAlexFDO

Authors Mercedes G. Merayo, Robert M. Hierons, Manuel Núñez

Publication date 10 August 2018

Published in Distributed Computing (Search for Journal in Brave)

Full work available at URL http://eprints.whiterose.ac.uk/142296/1/2nd_submission_dc.pdf

zbMATH Keywords

distributed systemsmodel-based testingtimed systems

Mathematics Subject Classification ID

Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Recommendations

• An extended framework for passive asynchronous testing
• Passive Testing of Timed Systems
• Correct passive testing algorithms and complete fault coverage
• A Fresh Look at Testing for Asynchronous Communication
• scientific article; zbMATH DE number 2013792

Cites work

• A brief account of runtime verification
• A decomposition theorem for partially ordered sets
• A passive testing approach based on invariants: application to the WAP
• A theory of timed automata
• Computingϵ-Free NFA from Regular Expressions inO(nlog²(n)) Time
• Conformance testing for real-time systems
• Formal testing from timed finite state machines
• From regular expressions to deterministic automata
• scientific article; zbMATH DE number 1517989 (Why is no real title available?)
• scientific article; zbMATH DE number 1418452 (Why is no real title available?)
• Message Confidentiality Testing of Security Protocols – Passive Monitoring and Active Checking
• Safer asynchronous runtime monitoring using compensations
• Testing can be formal, too
• Testing from a stochastic timed system with a fault model
• Testing timed automata
• The complexity of asynchronous model based testing
• Timed implementation relations for the distributed test architecture
• Translating regular expressions into small \(\epsilon\)-free nondeterministic finite automata

Cited in

(5)

• A passive testing approach based on invariants: application to the WAP
• An extended framework for passive asynchronous testing
• Passive Testing of Timed Systems
• scientific article; zbMATH DE number 2013792 (Why is no real title available?)
• scientific article; zbMATH DE number 1418452 (Why is no real title available?)

Describes a project that uses

Uses Software

• PTTAC

This page was built for publication: Passive testing with asynchronous communications and timestamps

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