Title :
The SCSI interface conformance tests generation
Author :
Zielski, Slawomir ; Sosnowski, Janusz
Author_Institution :
Warsaw Univ. of Technol., Warsaw
Abstract :
The paper presents a study of generating test sequences for the SCSI (small computer systems interface) interface. For this purpose a special conformance test generator has been developed. The paper describes the conformance testing algorithm and the conditions that are assumed for the tests. Test generation method is based on UIO (unique input output) technique which is an unambiguous state identification method. Test cases are generated using FSM (finite state machine) model of the analysed protocol. The FSM model has been obtained by the detailed transformation of SDL protocol representation. The result of the conversion is an argument for test generator. The final product of the generator is expressed in TTCN notation.
Keywords :
finite state machines; peripheral interfaces; finite state machine model; interface conformance tests generation; protocol representation; small computer systems interface; unambiguous state identification method; unique input output technique; Automata; Communication networks; Computer interfaces; Computer networks; Computer peripherals; Firewire; Local area networks; Paper technology; Protocols; System testing;
Conference_Titel :
Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on
Conference_Location :
Szklarska
Print_ISBN :
0-7695-2850-3
DOI :
10.1109/DEPCOS-RELCOMEX.2007.57
