论文部分内容阅读
为兼顾协议测试中数据流和控制流两个方面，该文以扩展有限状态机模型及其变迁依赖图为基础，对结合控制流与数据流生成测试序列的方法进行了研究探索．在数据流测试中，为了解决传统静态数据流分析方法中，因标记已访问变迁结点导致的测试路径分析不完整问题，提出了通过重用各变迁间数据依赖关系生成测试序列的方法；在控制流测试中，提出了通过构造子序列间最短遍历路径生成测试序列的方法．同时采用路径叠加技术对测试序列进行合并，优化了测试序列集．该算法通过与传统方法的实验对比，得到较高的路径覆盖率和较小的控制流测试时间复杂性．