一种基于形式化描述的测试序列生成改进方法

动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ｉｓｏ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题，特别是提出了“部分ｔ序列叠加算法”对使用ｕｉｏ序列生成测试序列的方法做了进一步改进，大大减少了测试开销．