|
|||||
|
|
| 基于标号变迁系统的测试集自动生成 | |
| 引用本文： | 蒋凡,宁华中.基于标号变迁系统的测试集自动生成[J].计算机研究与发展,2001,38(12):1435-1445. |
| 作者姓名： | 蒋凡 宁华中 |
| 作者单位： | 中国科技大学计算机科学与技术系,合肥,230026 |
| 基金项目： | 1998年华为科技基金资助 ( YBDP2 0 0 0 0 0 2 ) |
| 摘 要： | 首先，依据ISO89646的定义，阐述了协议一致性测试的基本概念，然后，介绍标号变迁系统（LTS）的形式化理论的定义和基本性质，利用LTS，给出测试例、测试集以及测试生成的形式化定义，第3，表述了实现关系在测试生成中的地位和作用，定义了输入输出系统，并在输入输出系统以及△变换的基础上引入实现关系ioco，根据实现关系ioco给出了一个测试集自动生成算法，该算法能很好地适用于递归的LTS。 |
| 关 键 词： | 标号变迁系统 形式化方法 有限状态机 测试集 自动生成 网络协议 ISO9646 |
AUTOMATIC TEST SUITE GENERATION BASED ON LABELLED TRANSITION SYSTEM |
|
| JIANG Fan and NING Hua-Zhong.AUTOMATIC TEST SUITE GENERATION BASED ON LABELLED TRANSITION SYSTEM[J].Journal of Computer Research and Development,2001,38(12):1435-1445. | |
| Authors: | JIANG Fan and NING Hua-Zhong |
| Abstract: | |
| Keywords: | protocol conformance testing labelled transition system formal method test generation finite state machine |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |