%O Report 
%F BERTRAND:2011:INRIA-00550923:1
%A Bertrand, Nathalie
%A Jéron, Thierry
%A Stainer, Amélie
%A Krichen, Moez
%T {O}ff-line {T}est {S}election with {T}est {P}urposes for {N}on-{D}eterministic {T}imed {A}utomata
%N 7501
%I INRIA
%X {T}his report proposes novel off-line test generation techniques for non-deterministic timed automata with inputs and outputs ({TAIO}s) in the formal framework of the tioco conformance theory. {I}n this context, a first problem is the determinization of {TAIO}s, which is necessary to foresee next enabled actions, but is in general impossible. {T}his problem is solved here thanks to an approximate determinization using a game approach, which preserves tioco and guarantees the soundness of generated test cases. {A} second problem is test selection for which a precise description of timed behaviors to be tested is carried out by expressive test purposes modeled by a generalization of {TAIO}s. {F}inally, using a symbolic co-reachability analysis guided by the test purpose, test cases are generated in the form of {TAIO}s equipped with verdicts
%U http://hal.inria.fr/docs/00/55/09/23/PDF/RR-7501.pdf
%8 January
%D 2011