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

10 卷 5 期 泰州职业技术学院学报 Vol. 10 No.5 2010 年10 月 Journal of Taizhou Polytechnic College Oct.20 10 基于蚁群算法UML 活动图的测试用例生成研究 1,2 2 王 霞 ，刘永胜 （1.江南大学 信息工程学院，江苏无锡214000 ；2.泰州职业技 学院电子与信息工程系，江苏泰州225300 ） 摘 要：为了节约软件测试成本，减少测试用例数量，提出了一种利用蚁群算法直接从UML 活动图中生成测试用例的方法。通过对UML 活动图和蚁群算法进行形式化规约，构 造人 蚁群，然后依据DFS 遍历由UML 活动图转化的有向连通图G，最后生成测 试用例。通过仿真模拟，对提出的方法进行验证以及对实验结果进行分析，证明了该 算法的可行性和有效性。 关键词：软件测试；形式化方法；测试用例；UML 活动图 中图分类号：TP311 文献标设码：A 文章编号：1671-0142（2010 ）05-0007-04 从软件开发实践过程中，软件测试的作用是 或任务所必须执行的活动序列，主要用于软件系 [4] 有效地确保软件的质量，提高软件的可靠性，确 统建模 。从活动图产生测试场景，可以实现黑 保系统满足客户的需求。而软件测试的关键 于 盒测试或系统功能测试。因此，选择活动图变成 ，以达到软件测试 [5] 选取一组合理有效的测试用例 了UML 系统测试的主要途径 。UML 活动图中 的目的。由此可见，测试用例的设计与生成是至 还包含活动状态相互转发的条件和输入输出的数 若能自动生成测试用例 [6] 关重要的。有数据表明， 据 。这些条件和输入输出数据对生成的测试用 则可以节约软件开发费用的40%[1] 。因此，合理 例数量进行约束，防止测试用例的丢失。 有效地设计测试用例是获得最佳测试数据并取得 以下是UML 活动图的形式化定义： [2] 测试成功的关键 。传统的测试方法中，软件测 定义1 一个活动图是一个五元组：R=(W,T, 试用例的设计多数由软件测试人员手工构造，对 F,C,D) ： ；同时测 ， 于客户来说，其不具有清晰的可读性 试 （1）W 是非空的有限活动集 W0 表示唯一 用例数目比较庞大，效率也相应较低，测试工作 初始活动，Wn 表示唯一结束活动； 量较大。 （2）T 是非空的有限转移集； 本文提出了基于蚁群算法从UML 活动图中 （3）C 是有限转移条件，c 对应t ；