基于控制流程的软件测试用例.PDFVIP

2011年 9月 内蒙古大学学报(自然科学版) Sept． 2011 第42卷第5期 JournalofInnerMongoliaUniversity(NaturalScienceEdition) Vo1．42 No．5 文章编号：1O0o一1638(2011)05—0521—07 基于控制流程的软件测试用例 自动生成方法研究 余 祥 ，李 强，齐建业 (合肥 电子工程学院，合肥 230037) 摘要 ：软件测试中最重要的就是设计和生成有效的测试用例，通过测试用例的自动生成可以 大大提高设计和生成测试用例的效率．首先提供了一种从流程图自动生成测试用例的方法，然 后介绍了从流程图生成交互有限状态 自动机的算法 以及从交互有限状态 自动机生成测试用例 的算法．最后 ，介绍了相关支持工具 ATCG． 关键词 ：流程图；测试用例；交互有限状态 自动机；测试路径 中图分类号 ：TP311 文献标志码 ：A 引 言 软件测试是保证软件质量的重要途径．随着人们对软件测试重要性的认识越来越深刻，软件测试 阶段在整个软件开发周期中所 占的比重 日益增大．研究表明软件测试的费用 占到了整个软件开发费 用 50 以上，因此，软件测试对软件开发费用起着决定性的作用。．软件测试的核心内容是测试用 例，软件测试 中最重要的就是设计和生成有效的测试用例，测试用例设计过程约 占整个测试过程 的 6O ．如果仅仅依靠人工经验来设计测试用例，不仅效率低下 ，而且质量难以保证． 按所采用的方法和研究对象的不同，测试用例 自动生成方法主要分为 5类 ：基于有限状态集的测 试 ，基于标注的转换系统的测试 ，针对面向模型的需求规格说 明的测试 ，针对面向对象软件的测试 ，以 及运用模型检查生成测试用例的方法。．目前 ，已经有了许多基于 UML的usecase。。或 activedia— gram 生成测试用例的方法，这需要测试人员充分熟悉UML，而且主要是针对功能测试，通过流程 图的引入 ，可以降低对测试人员的要求，并且可以在功能测试外的其它测试中生成测试用例． 本文提出了一种通过流程图(FlowChart，FC)自动生成测试用例 的方法．该方法基于状态模型， 将流程图转化为交互有 限状态 自动机 (InteractionFiniteStateAutomaton，IFSA)生成测试用例集． 本文结构如下，第 1部分介绍了基本概念和将流程图转化为交互有限状态 自动机的方法；第 2部分介 绍了如何根据前面得到 的交互有 限状态 自动机生成测试用例 ；第 3部分介绍 了相关支持工具 ATCG；最后第 4部分给出了结论． 1 流程图到 IFSA的转换 1．1 FC和 IFSA 在 GB1526--89中对流程图(FC)定义如下 ：流程 图是对某一个问题的定义 、分析或解法 的图形 表示，图中用各种符号来表示操作、数据、流向以及位置等 ．本文 中使用的流程 图由端点符 (圆角矩 * 收稿 日期 ：2011-06—30 基金项 目：技术基础研究项 目；电子工程学院科研基金项 目(KY09012) 作者简介：余 祥 (1986一)，男，助理工程师，2009级硕士研究生．主要研究方 向为软件工程和软件测试．E- mail：wtupyu@163．corn． 内蒙古大学学报(自然科学版) 形)、处理(矩形)、输入输出(平行四边形)、判断(菱形)、流线 (带箭头)和连接符(圆形)几种基本 图形 组成，其 中， ①端点符包括开始和结束端点符 ，一个流程 图只有一个开始端点符和一个结束端点符 ，从开始端 点符开始，在结束端点符结束． ②处理包括用户或外部系统对系统的操作、系统的响应和外部触发事件． ③输入输 出包括用户的输入操作和系统的输出操作． ④判断只有一个人 口，可 以有一个或两个出口，出 口的流线上需标出 “是”或 “否”． ⑤流线只有一个起点和一个终点，终点处有箭头． ⑥连接符用来作为一条流线的断点，使