论文信息 - SELEXPERT - A Knowledge-based Tool for Test Case Selection

SELEXPERT - A Knowledge-based Tool for Test Case Selection

In this paper, we present the knowledge-based tool SELEXPERT to support the selection of test cases derived from LOTOS specifications. SELEXPERT provides information to the test engineers about the quality of the test cases to estimate the consequences of their selection. The selection criteria are based on fault coverage and cost of the test case. We discuss how this knowledge is represented and describe the selection procedure for test cases derived from Basic and Full LOTOS. For the latter, a probabilistic approach to address the non-reachability issue is proposed. Examples from the INRES protocol are used to illustrate the test case selection procedure.

[1] Jan Tretmans,et al. A Formal Approach to Conformance Testing , 1993, Protocol Test Systems.

[2] Gregor von Bochmann,et al. TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models , 1991, Protocol Test Systems.

[3] William E. Lorensen,et al. Object-Oriented Modeling and Design , 1991, TOOLS.

[4] Jan Tretmans,et al. A Framework for Test Selection , 1991, PSTV.

[5] Teruo Higashino,et al. Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters , 1994, IEEE Trans. Software Eng..

[6] Barry W. Boehm,et al. Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[7] Rom Langerak. A Testing Theory for LOTOS using Deadlock Detection , 1989, PSTV.

[8] Son T. Vuong,et al. On Test Coverage Metrics for Communication Protocols , 1991, Protocol Test Systems.

[9] Glenford J. Myers,et al. Art of Software Testing , 1979 .

[10] Ferhat Khendek,et al. Test Selection Based on Finite State Models , 1991, IEEE Trans. Software Eng..

[11] Hartmut König,et al. Test Derivation from LOTOS Using Structure Information , 1993, Protocol Test Systems.