期刊文献+

基于蚁群算法UML活动图的测试用例生成研究

Research of Test Cases Generation from UML Active Diagrams Using ACO
在线阅读 下载PDF
导出
摘要 为了节约软件测试成本,减少测试用例数量,提出了一种利用蚁群算法直接从UML活动图中生成测试用例的方法。通过对UML活动图和蚁群算法进行形式化规约,构造人工蚁群,然后依据DFS遍历由UML活动图转化的有向连通图G,最后生成测试用例。通过仿真模拟,对提出的方法进行验证以及对实验结果进行分析,证明了该算法的可行性和有效性。 To cut the software testing cost and decrease the number of testing cases,we propose a method that generates test cases from UML active diagrams using ant colony optimization directly.Through constraining the UML active diagrams and ant colony optimization,build an artificial group of ants.Then ants search for the connected direction diagram G which is transformed by UML active diagram.Finally,generate testing cases.By simulation,the proposed method is validated.And we analyze the results of the experiment,which proves the feasibility and effectiveness of the algorithm.
作者 王霞 刘永胜
出处 《泰州职业技术学院学报》 2010年第5期7-10,共4页 Journal of Taizhou Polytechnic College
关键词 软件测试 形式化方法 测试用例 UML活动图 software testing formal methods test case UML activity diagram
  • 相关文献

参考文献7

二级参考文献37

共引文献69

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部