FSM-based conformance testing methods: A survey annotated with experimental evaluation; Information and Software Technology; Vol. 52, iss. 12
| Parent link: | Information and Software Technology Vol. 52, iss. 12.— 2010.— [P. 1286–1297] |
|---|---|
| Altres autors: | , , , , |
| Sumari: | 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. Режим доступа: по договору с организацией-держателем ресурса |
| Idioma: | anglès |
| Publicat: |
2010
|
| Matèries: | |
| Accés en línia: | http://dx.doi.org/10.1016/j.infsof.2010.07.001 |
| Format: | Electrònic Capítol de llibre |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641305 |
MARC
| LEADER | 00000naa0a2200000 4500 | ||
|---|---|---|---|
| 001 | 641305 | ||
| 005 | 20250325155635.0 | ||
| 035 | |a (RuTPU)RU\TPU\network\6205 | ||
| 035 | |a RU\TPU\network\6178 | ||
| 090 | |a 641305 | ||
| 100 | |a 20150515d2010 k||y0rusy50 ba | ||
| 101 | 0 | |a eng | |
| 102 | |a NL | ||
| 135 | |a drcn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a FSM-based conformance testing methods: A survey annotated with experimental evaluation |f M. Yu. Dorofeeva [et al.] | |
| 203 | |a Text |c electronic | ||
| 300 | |a Title screen | ||
| 320 | |a [References: p. 1287 (42 tit.)] | ||
| 330 | |a 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. | ||
| 333 | |a Режим доступа: по договору с организацией-держателем ресурса | ||
| 461 | |t Information and Software Technology | ||
| 463 | |t Vol. 52, iss. 12 |v [P. 1286–1297] |d 2010 | ||
| 610 | 1 | |a электронный ресурс | |
| 610 | 1 | |a труды учёных ТПУ | |
| 701 | 1 | |a Dorofeeva |b M. Yu. |c specialist in the field of informatics and computer technology |c programmer of Tomsk Polytechnic University, Candidate of technical sciences |c Director of the Center for organization and monitoring of educational activity |f 1979- |g Margarita Yurievna |3 (RuTPU)RU\TPU\pers\34591 |9 17953 | |
| 701 | 1 | |a El-Fakih |b Kh. |g Khaled | |
| 701 | 1 | |a Maag |b S. |g Stephane | |
| 701 | 1 | |a Cavalli |b A. R. |g Ana | |
| 701 | 1 | |a Yevtushenko |b N. |g Nina | |
| 801 | 2 | |a RU |b 63413507 |c 20150519 |g RCR | |
| 856 | 4 | |u http://dx.doi.org/10.1016/j.infsof.2010.07.001 | |
| 942 | |c CF | ||