The SCSI interface conformance tests generation

Author

Zielski, Slawomir ; Sosnowski, Janusz

Author_Institution

Warsaw Univ. of Technol., Warsaw

fYear

2007

fDate

14-16 June 2007

Firstpage

360

Lastpage

367

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Dependability of Computer Systems, 2007. DepCoS-RELCOMEX '07. 2nd International Conference on

Conference_Location

Szklarska

Print_ISBN

0-7695-2850-3

Type

conf

DOI

10.1109/DEPCOS-RELCOMEX.2007.57

Filename

4272931