An Improved Conformance Testing Method; Lecture Notes in Computer Science; Vol. 3731: Formal Techniques for Networked and Distributed Systems - FORTE 2005
| Parent link: | Lecture Notes in Computer Science Vol. 3731: Formal Techniques for Networked and Distributed Systems - FORTE 2005.— 2005.— [P. 204-218] |
|---|---|
| Autor Principal: | |
| Outros autores: | , |
| Summary: | 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. Режим доступа: по договору с организацией-держателем ресурса |
| Idioma: | inglés |
| Publicado: |
2005
|
| Subjects: | |
| Acceso en liña: | http://dx.doi.org/10.1007/11562436_16 |
| Formato: | Electrónico Capítulo de libro |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641278 |
MARC
| LEADER | 00000naa0a2200000 4500 | ||
|---|---|---|---|
| 001 | 641278 | ||
| 005 | 20250325095041.0 | ||
| 035 | |a (RuTPU)RU\TPU\network\6178 | ||
| 035 | |a RU\TPU\network\6048 | ||
| 090 | |a 641278 | ||
| 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 An Improved Conformance Testing Method |f M. Yu. Dorofeeva, Kh. El-Fakih, N. Yevtushenko | |
| 203 | |a Text |c electronic | ||
| 300 | |a Title screen | ||
| 320 | |a [References: p. 218 (17 tit.)] | ||
| 330 | |a 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. | ||
| 333 | |a Режим доступа: по договору с организацией-держателем ресурса | ||
| 461 | |t Lecture Notes in Computer Science | ||
| 463 | |t Vol. 3731: Formal Techniques for Networked and Distributed Systems - FORTE 2005 |o 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005 |v [P. 204-218] |d 2005 | ||
| 610 | 1 | |a электронный ресурс | |
| 610 | 1 | |a труды учёных ТПУ | |
| 700 | 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 Yevtushenko |b N. | |
| 801 | 2 | |a RU |b 63413507 |c 20150519 |g RCR | |
| 856 | 4 | |u http://dx.doi.org/10.1007/11562436_16 | |
| 942 | |c CF | ||