An Improved Conformance Testing Method

An Improved Conformance Testing Method

Xehetasun bibliografikoak
Parent link:Lecture Notes in Computer Science
Vol. 3731: Formal Techniques for Networked and Distributed Systems - FORTE 2005.— 2005.— [P. 204-218]
Egile nagusia: Dorofeeva M. Yu. Margarita Yurievna
Beste egile batzuk: El-Fakih Kh., Yevtushenko N.
Gaia:Title screen
In this paper, we present a novel conformance test suite derivation method. Similar to the HIS method, our method uses harmonized state identifiers for state identification and transition checking and can be applied to any reduced possibly partial deterministic or nondeterministic specification FSM. However, in contrast with the HIS method, in the proposed method appropriate state identifiers are selected on-the-fly (for transition checking) in order to shorten the length of the obtained test suite. Application examples and experimental results are provided. These results show that the proposed method generates shorter test suites than the HIS method. Particularly, on average, the ratio of the length of the test suites derived using the proposed method over the length of corresponding suites derived using the HIS method is 0.66 (0.55) when the number of states of an implementation equals to (is greater than) the number of states of the specification. These ratios are almost independent of the size of specifications.
Режим доступа: по договору с организацией-держателем ресурса
Argitaratua: 2005
Gaiak:
электронный ресурс
труды учёных ТПУ
Sarrera elektronikoa:http://dx.doi.org/10.1007/11562436_16
Formatua: Baliabide elektronikoa Liburu kapitulua
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641278

Antzeko izenburuak

Antzeko izenburuak