Abstract | ||
---|---|---|
The paper studies testing based on input/output transition systems, also known as input/output automata. It is assumed that a tester can never prevent an implementation under test (IUT) from producing outputs, while the IUT input from the tester and does not block inputs from the tester either. Thus, output from the IUT may occur simultaneously and should be queued in finite buffers between the tester and the IUT. A framework for so-called queued quiescence testing is developed, based on the idea that the tester should consist of two test processes, one applying inputs via a queue to an IUT and the other reading outputs from a queue until it detects no more outputs of the IUT, i.e., the tester detects quiescence of the IUT. The testing framework is then extended with so-called queued-suspension testing by considering a tester that has several pairs of input and output processes. Test derivation procedures are elaborated with a fault model in mind. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/3-540-44830-6_11 | TestCom |
Keywords | Field | DocType |
testing transition system,output tester,input output,fault model,conformance testing | Transition system,Simulation,Computer science,Implementation under test,Automaton,Queue,Conformance testing,Input/output,Fault model | Conference |
Volume | ISSN | ISBN |
2644 | 0302-9743 | 3-540-40123-7 |
Citations | PageRank | References |
21 | 1.03 | 15 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
A. Petrenko | 1 | 565 | 31.37 |
Nina Yevtushenko | 2 | 664 | 63.45 |
Jia Le Huo | 3 | 21 | 1.03 |