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

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

Abstract: A major problem in testing of protocol is to design testcases which include the testing of state transitions and output errors. Testing of the state transitions requires to traverse the paths in the stategraph. Basing on the idea of vector space, an algorithm of generating is offered, arbitrary path is a combination paths in the basis set of paths, this help to simplify the protocol path testing. Proofs that the algorithm generates a basis set of paths are provided.

中图分类号: 

• TP393.07