A formal framework for conformance testing of distributed real-time systems

Authors:
Moez Krichen
Affiliations:
Higher Institute of Computer Science and Multimedia of Sfax, Sfax, Tunisia
Venue:
OPODIS'10 Proceedings of the 14th international conference on Principles of distributed systems
Year:
2010

Citing 3
Cited 0

A theory of timed automata

Theoretical Computer Science
Testing Concurrent Systems: A Formal Approach

CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Conformance testing for real-time systems

Formal Methods in System Design

Quantified Score

Hi-index	0.00

Visualization

Abstract

We extend our previous work on model-based testing [2]. We propose a formal framework for black-box conformance testing for distributed real-time systems. Our framework is based on the model of partially-observable, non-deterministic timed automata. A given distributed system can be modeled either as a single timed automaton or a network of timed automata. Our algorithm for generating test suites is based on an on-the-fly determinization of the specification automaton. Our testing architecture may be either centralized or not.