摘要
首先 ,依照 ISO 96 46的定义 ,阐述了协议一致性测试的基本概念 .然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 .第 3,表述了实现关系在测试生成中的地位和作用 ,定义了输入输出系统 ,并在输入输出系统以及Δ变换的基础上引入实现关系 ioco.根据实现关系 ioco给出了一个测试集自动生成算法 .该算法能很好地适用于递归的 L TS.
Firstly, according to the definitions in the ISO 9646 about the protocol conformance testing, some basic concepts of protocol conformance testing are presented. Secondly, the basic theory, definition, and properties of the labelled transition system (LTS) are given. By using the theory LTS, the test suite, test case and test generation are defined. Thirdly, the implementation relation which plays a important role in test generation is described. Finally, after giving the definition of the input/output system implementation relation, the implementation relation ioco is introduced, in which the input/output system and Δ transformation are used, and a test automation algorithm is given.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2001年第12期1435-1445,共11页
Journal of Computer Research and Development
基金
1998年华为科技基金资助 ( YBDP2 0 0 0 0 0 2 )
