%0 Journal Article
%T 一种基于形式化描述的测试序列生成改进方法
%A 张立东？
%A 刘积仁？
%A 李华天？
%J 软件学报
%P 142-147
%D 1995
%X 动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ｉｓｏ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题，特别是提出了“部分ｔ序列叠加算法”对使用ｕｉｏ序列生成测试序列的方法做了进一步改进，大大减少了测试开销．
%K 计算机网络
%K 协议工程
%K 一致性测试
%K 协议测试
%K 软件测试
%K 测试生成
%U http://www.jos.org.cn/ch/reader/view_abstract.aspx?file_no=19950303&flag=1