An Improved Conformance Testing Method; Lecture Notes in Computer Science; Vol. 3731: Formal Techniques for Networked and Distributed Systems - FORTE 2005

An Improved Conformance Testing Method; Lecture Notes in Computer Science; Vol. 3731: Formal Techniques for Networked and Distributed Systems - FORTE 2005

Bibliographische Detailangaben
Parent link:Lecture Notes in Computer Science
Vol. 3731: Formal Techniques for Networked and Distributed Systems - FORTE 2005.— 2005.— [P. 204-218]
1. Verfasser: Dorofeeva M. Yu. Margarita Yurievna
Weitere Verfasser: El-Fakih Kh., Yevtushenko N.
Zusammenfassung: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.
Режим доступа: по договору с организацией-держателем ресурса
Sprache:Englisch
Veröffentlicht: 2005
Schlagworte:
электронный ресурс
труды учёных ТПУ
Online-Zugang:http://dx.doi.org/10.1007/11562436_16
Format: Elektronisch Buchkapitel
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641278

Ähnliche Einträge

Ähnliche Einträge