Abstract | ||
---|---|---|
The paper addresses the problem of conformance test generation from input/output FSMs that might be partially specified and nondeterministic. Two conformance relations are considered, quasi-reduction and quasi-equivalence. The former requires that in response to each input sequence defined in a specification FSM, a conforming implementation FSM produces only output sequences of the specification FSM, while the latter is stronger: a conforming implementation FSM must produce all of them and nothing else. For each relation, a test generation method is elaborated. The resulting tests are proven to be complete, i.e., sound and exhaustive, for a given bound on the number of states; they include as special cases checking experiments for deterministic FSMs. |
Year | DOI | Venue |
---|---|---|
2005 | 10.1007/11759744_9 | FATES |
Keywords | Field | DocType |
partial nondeterministic,test generation method,special case,deterministic fsms,output fsms,conformance test generation,specification fsm,implementation fsm,output sequence,conformance relation,input sequence,conformance testing,input output | Nondeterministic algorithm,Algorithm,Finite-state machine,Theoretical computer science,Input/output,Formal methods,Deterministic system (philosophy),Mathematics | Conference |
Volume | ISSN | ISBN |
3997 | 0302-9743 | 3-540-34454-3 |
Citations | PageRank | References |
18 | 0.85 | 18 |
Authors | ||
2 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. Petrenko | 1 | 565 | 31.37 |
Nina Yevtushenko | 2 | 664 | 63.45 |