Title The use of a software prototype for verification test generation
Another Title Verifikavimo testo sudarymas pagal programinį modelį.
Authors Bareiša, Eduardas ; Jusas, Vacius ; Motiejūnas, Kęstutis ; Šeinauskas, Rimantas
Full Text Download
Is Part of Informacinės technologijos ir valdymas = Information technology and control.. Kaunas : Technologija. 2008, t. 37, Nr. 4, p. 265-274.. ISSN 1392-124X. eISSN 2335-884X
Abstract [eng] The software prototype model can be used for the generation of the verification test. The input stimuli, which form essential activity vectors, are selected from randomly generated ones on the base of software prototype. The essential activity vectors correspond to the terms of logical functions of output the existence of which is tested during the verification. The verification test is formed on the base of the essential activity vectors according to the defined rules. The quality of the verification test is defined by the following parameters: the length of test, the fault coverage of the stuck-at faults, the fault coverage of the pin pair faults, and the number of the essential activity vectors. The paper presents the experimental results for the benchmark suite ISCAS'85. The value of this approach is highlighted by the fact that the selected input stimuli detect the same stuck-at faults as the initially generated test set.
Published Kaunas : Technologija
Type Journal article
Language English
Publication date 2008
CC license CC license description