Real-Time Testing with Timed Automata Testers and Coverage Criteria

  title={Real-Time Testing with Timed Automata Testers and Coverage Criteria},
  author={Moez Krichen and Stavros Tripakis},
In previous work, we have proposed a framework for black-box conformance testing of realtime systems based on timed automata specifications and two types of tests: analog-clock or digital-clock. Our algorithm to generate analog-clock tests is based on an on-the-fly determinization of the specification automaton during the execution of the test, which in turn relies on reachability computations. The latter can sometimes be costly, thus problematic, since the tester must quickly react to the… CONTINUE READING
Highly Cited
This paper has 31 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…