节点文献

数据流控制流相叠加的可执行测试序列生成研究

Research on generation of executable test sequences overlapping data flow and control flow

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 魏仰苏； 孟兆航； 舒挺；

【Author】 WEI Yang-su1,MENG Zhao-hang2,SHU Ting2 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

【机构】 浙江水利水电专科学校计算机系； 浙江理工大学计算机应用研究所； 浙江理工大学计算机应用研究所 杭州310018； 杭州310018；

【摘要】 提出了一种可执行的测试序列的自动生成策略。先从UML模型中提取出协议模型的EFSM信息,然后利用变迁可执行性分析自动生成可执行的测试序列。该生成策略同时结合了数据流测试和控制流测试的优点,既具有比较高的错误覆盖率,又对通信协议中的数据部分进行了充分的测试,从而提高了一致性测试的效率。

【Abstract】 The strategy of automatically 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.

【关键词】 一致性测试； 数据流； 控制流； TEA树；
【Key words】 conformance test； data flow test； control flow test； TEA tree；
【基金】 浙江省自然科学基金(the Natural Science Foundation of Zhejiang Province of China under Grant No.M603145);浙江省科技公关计划(the Key Technologies R&D Program of Zhejiang Province, China under Grant No.2005C21027);浙江省教育厅资助科研课题(the re-search Project of Department of Education of Zhejiang Province, China under Grant No.20050799)
  • 【文献出处】 计算机工程与应用 ,Computer Engineering and Applications , 编辑部邮箱 ,2007年10期
  • 【分类号】TP311.52;TP393.04
  • 【被引频次】2
  • 【下载频次】127
打印本页
节点文献中：