| 一种基于形式化描述的测试序列生成改进方法 |
| |
| 引用本文： | 张立东,刘积仁,李华天.一种基于形式化描述的测试序列生成改进方法[J].软件学报,1995,6(3):142-147. |
| |
| 作者姓名： | 张立东 刘积仁 李华天 |
| |
| 作者单位： | 东北大学计算机系,沈阳,110006;东北大学计算机系,沈阳,110006;东北大学计算机系,沈阳,110006 |
| |
| 基金项目： | 本课题研究得到国家教委博士点基金的资助. |
| |
| 摘 要： | 动生成测试序列始终是软件工程中一项极为困难的工作．国际标准化组织（ＩＳＯ）一直致力于协议一致性测试方法与形式化描述技术的研究．本文讨论了基于形式化描述的协议测试序列生成方法中的问题,特别是提出了“部分Ｔ序列叠加算法”对使用ＵＩＯ序列生成测试序列的方法做了进一步改进,大大减少了测试开销．
|
| 关 键 词： | 计算机网络 协议工程 一致性测试 协议测试 软件测试 测试生成 |
| 收稿时间： | 4/6/1992 12:00:00 AM |
| 修稿时间： | 8/7/1992 12:00:00 AM |
AN IMPROVED TEST SEQUENCES GENERATION METHOD BASED ON FORMAL DESCRIPTION TECHNIQUE |
| |
| Zhang Lidong,Liu Jiren and Li Huatian.AN IMPROVED TEST SEQUENCES GENERATION METHOD BASED ON FORMAL DESCRIPTION TECHNIQUE[J].Journal of Software,1995,6(3):142-147. |
| |
| Authors: | Zhang Lidong Liu Jiren and Li Huatian |
| |
| Abstract: | The selection of appropriate test cases is an important issue for conformance testing of protocol implementations as well as in software engineering. This paper describes an optimization method for reducing the length of protocol conformance test sequences by"Partial T sequences overlapping method", which are obtained using UIO sequences.This method provides a logical link between T method and UIO method.It is shown that test sequences generated by this method can shorter 10%-60% than those generated by other methods employing UIO sequences in an example. |
| |
| Keywords: | Computer network protocol engineering conformance testing protocol testing software testing testing generation |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
