Implementation relations and test generation for systems with distributed interfaces

DOI10.1007/s00446-011-0149-1zbMath1277.68190MaRDI QIDQ1938358

Mercedes G. Merayo, Robert M. Hierons, Manuel A. Nunez

Publication date: 4 February 2013

Published in: Distributed Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00446-011-0149-1

zbMATH Keywords

formal approaches to testing; formal methodologies to develop distributed software systems; systems with distributed ports

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

68M14: Distributed systems

68N99: Theory of software

Related Items

Using schedulers to test probabilistic distributed systems, Timed implementation relations for the distributed test architecture

Uses Software

• NetLogger
• AsmL
• SpecExplorer

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Distributed testing without encountering controllability and observability problems
• Canonical finite state machines for distributed systems
• The synchronization problem in protocol testing and its complexity
• Coordination algorithm for distributed testing
• Checking sequences for distributed test architectures
• Constructing checking sequences for distributed testing
• \(\mathcal {HOTL}\): Hypotheses and observations testing logic
• Formal testing from timed finite state machines
• A General Testability Theory
• Controllable Test Cases for the Distributed Test Architecture
• FM 2005: Formal Methods