一种简化协议路径测试的方法

摘要：

在协议测试中,设计测试例是主要工作之一,测试例包括了对状态错和数据错的测试.测试状态错要求对状态图中路径进行遍历.基于向量空间的思想,设计了一个生成基本路径集的算法,使得状态图中任何路径都可由基本路径通过线性组合生成,以达到简化协议路径抖测试之目的,并对此加以了证明.

关键词：测试例、路径空间、状态图、基本路径集、缺省边、生成树、线性无关

所属期刊栏目：28

分类号：TP393.07(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：39-40,122