TEST SELECTION BASED ON FINITE STATE MODELS
TEST SELECTION BASED ON FINITE STATE MODELS
复制标题
DOI：
10.1109/32.87284
复制
发表时间：
1991-06-01
影响因子：
7.4
通讯作者：
GHEDAMSI, A
中科院分区：
文献类型：
--
作者：
FUJIWARA, S;BOCHMANN, GV;GHEDAMSI, A
选择合适的测试用例是协议实现一致性测试和软件工程中的一个重要问题。已知用于基于被测实现的规范来选择测试套件的许多方法，假设以有限状态机的形式给出。本文提出了一种新的方法，它提供了几种已知方法之间的逻辑联系。它被称为“部分W方法”，具有普遍的适用性，完全的故障检测能力，并且比W方法产生的测试套件更短。本文的第二部分讨论了影响选择合适的测试套件的各种其他问题。这包括对交互参数、用于协议测试的各种测试体系结构的考虑，以及许多规范不满足大多数测试选择方法所做的假设的事实，例如完全定义、正确实现的重置功能、实现中的有限状态数以及确定性。
The selection of appropriate test cases is an important issue for conformance testing of protocol implementations as well as in software engineering. A number of methods are known for the selection of a test suite based on the specification of the implementation under test, assumed to be given in the form of a finite state machine. This paper presents a new method which provides a logical link between several of the known methods. Called the "partial W method," it has general applicability, full fault-detection power, and yields shorter test suites than the W method. The second part of the paper discusses various other issues which have an impact on the selection of a suitable test suite. This includes the consideration of interaction parameters, various test architectures for protocol testing, and the fact that many specifications do not satisfy the assumptions made by most test selection methods, such as complete definition, a correctly implemented reset function, a limited number of states in the implementation, and determinism.