Implementation relations and test generation for systems with distributed interfaces

DOI10.1007/S00446-011-0149-1zbMath1277.68190OpenAlexW1987604851MaRDI 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 testingformal methodologies to develop distributed software systemssystems with distributed ports

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Distributed systems (68M14) Theory of software (68N99)

Related Items (2)

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

This page was built for publication: Implementation relations and test generation for systems with distributed interfaces