An extended framework for passive asynchronous testing

DOI10.1016/J.JLAMP.2016.02.004MaRDI QIDQ347402zbMATH OpenOpenAlexFDO

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

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

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)

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

Cites work

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

Cited in

(5)

• Passive testing with asynchronous communications and timestamps
• scientific article; zbMATH DE number 2013792 (Why is no real title available?)
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• A passive testing approach based on invariants: application to the WAP
• Correct passive testing algorithms and complete fault coverage

Describes a project that uses

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)