Abstract | ||
---|---|---|
The paper addresses the problem of adaptive testing of a deterministic FSM which models an implementation under test using a nondeterministic FSM as its specification. It elaborates a method for deriving test fragments, combining and executing them in adaptive way such that the implementation passes the test if and only if it is a reduction of the specification. Compared to the existing methods, it uses adaptive test fragments needed to reach as well as to distinguish states. |
Year | DOI | Venue |
---|---|---|
2011 | 10.1007/978-3-642-24580-0_12 | ICTSS |
Keywords | Field | DocType |
nondeterministic fsms,nondeterministic fsm,existing method,deterministic fsm,adaptive testing,test fragment,adaptive test,deterministic implementation,conformance testing | Nondeterministic algorithm,Computer science,Implementation under test,Implementation,Conformance testing,If and only if,Computerized adaptive testing,Computer engineering,Reliability engineering | Conference |
Volume | ISSN | Citations |
7019 | 0302-9743 | 19 |
PageRank | References | Authors |
0.92 | 8 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. Petrenko | 1 | 565 | 31.37 |
Nina Yevtushenko | 2 | 664 | 63.45 |