FSM-based conformance testing methods: A survey annotated with experimental evaluation; Information and Software Technology; Vol. 52, iss. 12

FSM-based conformance testing methods: A survey annotated with experimental evaluation; Information and Software Technology; Vol. 52, iss. 12

Podrobná bibliografie
Parent link:Information and Software Technology
Vol. 52, iss. 12.— 2010.— [P. 1286–1297]
Další autoři: Dorofeeva M. Yu. Margarita Yurievna, El-Fakih Kh. Khaled, Maag S. Stephane, Cavalli A. R. Ana, Yevtushenko N. Nina
Shrnutí:Title screen
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of a test suite based on a formal specification given in the form of a finite state machine. In this paper, we overview and experiment with these methods to assess their complexity, applicability, completeness, fault detection capability, length and derivation time of their test suites. The experiments are conducted on randomly generated specifications and on two realistic protocols called the Simple Connection Protocol and the ITU-T V.76 Recommendation.
Режим доступа: по договору с организацией-держателем ресурса
Jazyk:angličtina
Vydáno: 2010
Témata:
электронный ресурс
труды учёных ТПУ
On-line přístup:http://dx.doi.org/10.1016/j.infsof.2010.07.001
Médium: Elektronický zdroj Kapitola
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641305

Podobné jednotky

Podobné jednotky