An Improved Conformance Testing Method
| Parent link: | Lecture Notes in Computer Science Vol. 3731: Formal Techniques for Networked and Distributed Systems - FORTE 2005.— 2005.— [P. 204-218] |
|---|---|
| Main Author: | |
| Other Authors: | , |
| 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. Режим доступа: по договору с организацией-держателем ресурса |
| Published: |
2005
|
| Subjects: | |
| Online Access: | http://dx.doi.org/10.1007/11562436_16 |
| Format: | Electronic Book Chapter |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=641278 |