Experimental evaluation of FSM-based testing methods; Software Engineering and Formal Methods: SEFM 2005
| Источник: | Software Engineering and Formal Methods: SEFM 2005.— 2005.— [P. 23 - 32] |
|---|---|
| Другие авторы: | , , , , |
| Примечания: | 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. Well-known methods are called the W, Wp, UIO, UIOv, DS, H and HIS test derivation methods. These methods have been extensively used by research community in the last years; however no proper comparison has been made between them. In this paper, we 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 a realistic protocol called the simple connection protocol. Режим доступа: по договору с организацией-держателем ресурса |
| Язык: | английский |
| Опубликовано: |
2005
|
| Предметы: | |
| Online-ссылка: | http://dx.doi.org/10.1109/SEFM.2005.17 |
| Формат: | Электронный ресурс Статья |
| Запись в KOHA: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641287 |
MARC
| LEADER | 00000naa0a2200000 4500 | ||
|---|---|---|---|
| 001 | 641287 | ||
| 005 | 20250325132719.0 | ||
| 035 | |a (RuTPU)RU\TPU\network\6187 | ||
| 035 | |a RU\TPU\network\6178 | ||
| 090 | |a 641287 | ||
| 100 | |a 20150515d2005 k||y0rusy50 ba | ||
| 101 | 0 | |a eng | |
| 102 | |a DE | ||
| 135 | |a drcn ---uucaa | ||
| 181 | 0 | |a i | |
| 182 | 0 | |a b | |
| 200 | 1 | |a Experimental evaluation of FSM-based testing methods |f M. Yu. Dorofeeva [et al.] | |
| 203 | |a Text |c electronic | ||
| 300 | |a Title screen | ||
| 320 | |a [References: p. 32 (22 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. Well-known methods are called the W, Wp, UIO, UIOv, DS, H and HIS test derivation methods. These methods have been extensively used by research community in the last years; however no proper comparison has been made between them. In this paper, we 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 a realistic protocol called the simple connection protocol. | ||
| 333 | |a Режим доступа: по договору с организацией-держателем ресурса | ||
| 463 | |t Software Engineering and Formal Methods: SEFM 2005 |o Third IEEE International Conference, 7-9 September 2005, Koblenz, Germany |o proceedings |v [P. 23 - 32] |d 2005 | ||
| 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. | |
| 701 | 1 | |a Maag |b S. | |
| 701 | 1 | |a Cavalli |b A. R. | |
| 701 | 1 | |a Yevtushenko |b N. | |
| 801 | 2 | |a RU |b 63413507 |c 20150519 |g RCR | |
| 856 | 4 | |u http://dx.doi.org/10.1109/SEFM.2005.17 | |
| 942 | |c CF | ||