| 数据流控制流相叠加的可执行测试序列生成研究 |
| |
| 引用本文： | 魏仰苏,孟兆航,舒挺. 数据流控制流相叠加的可执行测试序列生成研究[J]. 计算机工程与应用, 2007, 43(10): 121-124 |
| |
| 作者姓名： | 魏仰苏 孟兆航 舒挺 |
| |
| 作者单位： | 浙江水利水电专科学校,计算机系,杭州,310018;浙江理工大学,计算机应用研究所,杭州,310018 |
| |
| 基金项目： | 浙江省自然科学基金 , 浙江省科技公关计划 , 浙江省教育厅资助科研课题 |
| |
| 摘 要： | 提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息，然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点，既具有比较高的错误覆盖率，又对通信协议中的数据部分进行了充分的测试，从而提高了一致性测试的效率。
|
| 关 键 词： | 一致性测试 数据流 控制流 TEA树 |
| 文章编号： | 1002-8331（2007）10-0121-04 |
| 收稿时间： | 2006-04-06 |
| 修稿时间： | 2006-08-01 |
Research on generation of executable test sequences overlapping data flow and control flow |
| |
| WEI Yang-su,MENG Zhao-hang,SHU Ting. Research on generation of executable test sequences overlapping data flow and control flow[J]. Computer Engineering and Applications, 2007, 43(10): 121-124 |
| |
| Authors: | WEI Yang-su MENG Zhao-hang SHU Ting |
| |
| Affiliation: | 1.School of Computer,Zhejiang Water Conservancy and Hydropower College,Hangzhou 310018,China; 2.Institute of Computer Application,Zhejiang Sci-Tech University,Hangzhou 310018,China |
| |
| Abstract: | The strategy of automaticaUy generating executable test sequences is presented.First,we draw up the information of EFSM from the UML model and then using transition execution analysis,the executable test sequences are generated.The generation strategy combines the merits of both data flow test and control flow test,having both higher fault coverage of tests and complete test for the data part of the communication protocol so as to advance the efficiency of conformance test. |
| |
| Keywords: | conformance test data flow test control flow test TEA tree |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与应用》浏览原始摘要信息 |
|
点击此处可从《计算机工程与应用》下载全文 |
