Testing transition systems with input and output testers

DOI10.1007/3-540-44830-6_11MaRDI QIDQ4437059zbMATH OpenFDO

Authors Alexandre Petrenko, Nina Yevtushenko, Jia le Huo

Publication date 7 December 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44830-6_11

zbMATH Keywords

conformance testingfault modelinput/output transition systemtest generation

Mathematics Subject Classification ID

Reliability, testing and fault tolerance of networks and computer systems (68M15) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Computing methodologies and applications (68U99)

Recommendations

• scientific article; zbMATH DE number 938070
• Testing divergent transition systems
• Formal Approaches to Software Testing
• Quiescence, fairness, testing, and the notion of implementation
• Inputs and Outputs in CSP

Cited in

(12)

• Systems with priorities: conformance, testing, and composition
• Quiescence, fairness, testing, and the notion of implementation
• Synchronizing asynchronous conformance testing
• A Note on an Anomaly in Black-Box Testing
• Testing Systems of Concurrent Black-Boxes—An Automata-Theoretic and Decompositional Approach
• Testing transition systems: An annotated bibliography
• scientific article; zbMATH DE number 938070 (Why is no real title available?)
• Combining partial specifications using alternating interface automata
• Testing divergent transition systems
• Information gain of black-box testing
• The complexity of asynchronous model based testing
• Formalization of test experiments

This page was built for publication: Testing transition systems with input and output testers

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