An extended framework for passive asynchronous testing

DOI10.1016/J.JLAMP.2016.02.004zbMATH Open1353.68052OpenAlexW2325039465MaRDI QIDQ347402FDOQ347402

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

Publication date: 30 November 2016

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlamp.2016.02.004

Recommendations

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

zbMATH Keywords

asynchronous testingformal approaches to testingpassive testing

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Cites Work

• Depth-First Search and Linear Graph Algorithms
• Monitoring of Real-Time Properties
• A brief account of runtime verification
• Title not available (Why is that?)
• A decomposition theorem for partially ordered sets
• Testing from a stochastic timed system with a fault model
• Semi-commutations
• Algebraic theory of probabilistic processes.
• Follow automata.
• Safer asynchronous runtime monitoring using compensations
• A passive testing approach based on invariants: application to the WAP
• Introduction to Software Testing
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Model checking of safety properties

Cited In (3)

• A passive testing approach based on invariants: application to the WAP
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Title not available (Why is that?)

Uses Software

• PTTAC

This page was built for publication: An extended framework for passive asynchronous testing

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