An experiment in automatic generation of test suites for protocols with verification technology

被引:42
作者
Fernandez, JC
Jard, C
Jeron, T
Viho, C
机构
[1] CNRS,IRISA PAMPA,F-35042 RENNES,FRANCE
[2] INRIA,IRISA PAMPA,F-35042 RENNES,FRANCE
[3] UNIV RENNES 1,IRISA PAMPA,F-35042 RENNES,FRANCE
关键词
testing; verification; protocol; conformance; concurrency; test suite; test purpose;
D O I
10.1016/S0167-6423(96)00032-9
中图分类号
TP31 [计算机软件];
学科分类号
081202 [计算机软件与理论]; 0835 [软件工程];
摘要
In this paper we describe an experiment in automatic generation of test suites for protocol testing. We report the results gained with generation of test suites based on advanced verification techniques applied to a real industrial protocol. In this experiment, several tools have been used: the commercial tool GEODE (VERILOG) was used for the generation of finite state graph models from SDL specifications, the tool Aldebaran of the CADP toolbox for the minimization of transition systems, and a prototype named TGV (for Test Generation using Verification techniques) for the generation of test suites which has been developed in the CADP toolbox. TGV is based on verification techniques such as synchronous product and on-the-fly verification. These tools have been applied to an industrial protocol, the DREX protocol. The comparison of produced test suites with hand written test suites proves the relevance of the used techniques. (C) 1997 Elsevier Science B.V.
引用
收藏
页码:123 / 146
页数:24
相关论文
共 25 条
[1]
ABRAMSKY S, 1987, TEORET COMPUT SCI, V53
[2]
ALGAYRES B, 1993, AVALON PROJECT VALID
[3]
[Anonymous], 1988, P PROT SPEC TEST VER
[4]
BRINKSMA E, 1990, 2 INT WORKSH PROT TE, P349
[5]
CAVALLI AR, 1993, PROTOCOL TEST SYSTEM, V5, P212
[6]
*CCITT, 1988, Z100 CCITT
[7]
CHOW TS, 1978, IEEE T SOFTWARE ENG, V4
[8]
CLATIN M, 1995, 8 INT WORKSH PROT TE
[9]
TESTING EQUIVALENCES FOR PROCESSES [J].
DENICOLA, R ;
HENNESSY, MCB .
THEORETICAL COMPUTER SCIENCE, 1984, 34 (1-2) :83-133
[10]
DRIRA K, 1993, PROTOCOL SPECIFICATI