Formal Correctness of a Passive Testing Approach for Timed Systems

Abstract

In this paper we extend our previous work on passive testing of timed systems to establish a formal criterion to determine correctness of an implementation under test. In our framework, an invariant expresses the fact that if theimplementation under test performs a given sequence of actions, then it must exhibit a behavior in a lapse of time reflected in… (More)
DOI: 10.1109/ICSTW.2009.34

Topics

3 Figures and Tables

Cite this paper

@article{Andrs2009FormalCO, title={Formal Correctness of a Passive Testing Approach for Timed Systems}, author={C{\'e}sar Andr{\'e}s and Mercedes G. Merayo and Manuel N{\'u}{\~n}ez}, journal={2009 International Conference on Software Testing, Verification, and Validation Workshops}, year={2009}, pages={67-76} }