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

摘要

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