基于标号变迁系统的测试集自动生成

被引：6

作者：

蒋凡

宁华中

机构：

[1] 中国科技大学计算机科学与技术系

来源：

计算机研究与发展 | 2001年 / 12期

关键词：

协议一致性测试; 标号变迁系统; 形式化方法; 测试生成; 有限状态机;

D O I：

暂无

中图分类号：

TP393.04 [];

学科分类号：

摘要：

首先 ,依照 ISO 96 46的定义 ,阐述了协议一致性测试的基本概念 .然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 .第 3,表述了实现关系在测试生成中的地位和作用 ,定义了输入输出系统 ,并在输入输出系统以及Δ变换的基础上引入实现关系 ioco.根据实现关系 ioco给出了一个测试集自动生成算法 .该算法能很好地适用于递归的 L TS.

引用

页码：1435 / 1445

页数：11

共 5 条

[1]

计算机网络协议工程[M]. 国防科技大学出版社 , 龚正虎编著, 1993

[2]

计算机语言的形式语义[M]. 科学出版社 , 陆汝钤编著, 1992

[3] On fault coverage of tests for finite state specifications [J].

Petrenko, A ;

vonBochmann, G ;

Yao, M .

COMPUTER NETWORKS AND ISDN SYSTEMS, 1996, 29 (01) :81-106

[4]

Conformance testing with labelled transition systems: Implementation relations and test generation[J] . Jan Tretmans.Computer Networks and ISDN Systems . 1996 (1)

[5]

形式化的协议一致性测试研究 .2 吴建平. 清华大学 . 1997

← 1 →