树。本文采用深度优先搜索，遍历树中的所有可执行路径生成对应的测试序列。路径是对树的个完全遍历，每条路径都从个节点开始到个节点结束。如果在树的遍历路径中存在节点，其下个节点为，则之间肯定满足以下三个可能性之如果为的开始节点，那么和的连接边在是该内的条边，和是该内的节点。如果为的结束节点，那么和的连接边在是该与另外个之间的条边，是另外个的开始节点。如果既不是的开始节点，也不是的结束节点时，会有两种情况出现。是和是同内的节点，它们组成的内边二是和是不同内的节点，此时必定是另的开始节点，它们组成间的边。根据以上的定义，可以设计程序来完成测试序列的自动生成工作，随着测试模型的逐步改进模型已经能够越来越完整的描述整个待测系统，程序可执行路径的覆盖率越来越高的同时也给实际的测试工作带来了很多问题。在数量庞大的测试路径中，有很多是没有实际意义的，如何筛选出这些没有意义的测试路径以保证软件测试工作的高效就成为摆在测试人员面前的难题。本文不涉及测试冗余的消除问题，假定下文所讨论测试路径都是有效的。在软件测试工作中，为了使系统得到更加充分的测试验证，测试人员往往追求找到待测软件的所有可执行路径，并执行以验证系统在所有可能的情况下的运行效果。本文中对于构造的在完成方法的多态性扩展后，测试路径产生膨胀，为了准确描述待测系统，达到测试序列数量和测试质量的平衡，需要对完全路径覆盖准则进行改进。改进后的路径覆盖准则要求对每个测试路径中相同的受限控制流图只进行次扩充，也就是说在测试路径中个受限控制流图首第章基于协作图的软件测试研究次出现时，将其包内部的所有可执行路径都遍历次，当再次遇到此受限控制流图时则只选择第次遍历的路径集合中的条具体路径即可。在程序中，消息的传递是通过方法的调用完成的，消息的名称和消息接收对象的类型是确定的，但是由于多态性的存在，同名的消息可能会对应不同的处理方法。所以如果完成了对消息的路径覆盖并且对其各分支路径都已确认无误，在以后的测试序列中再次遇到此时就只需要在其所有分支路径中任意选择条即可。这样做能帮助我们使用少量的测试用例就能完成重复消息的充分测试。在生成测试序列的过程中需要满足以下的覆盖准则测试序列集合中的路径应包含所有受限控制流图的路径，且至少覆盖次。测试序列集合中的路径应包含所有受限控制流图的边，且至少覆盖次。测试序列集合中的路径应包含至少条等价受限控制流图的边，且至少覆盖次。在完成前期准备工作后，使用深度优先搜索的方法，根据协作图模型和测试场景的定义生成测试路径。通过递归方法，以树的根节点为基点，基于以上三个覆盖准则，生成受限控制流图的测试序列集合，再将与以的子节点为根节点的子受限控制流图树的测试序列集合组合。集成测试序列的生成过程就是在受限控制流图节点的测试序列中的每个节点后，插入以该消息节点所响应的的条测试序列。如节点，的条测试序列为在后插入节点，的条测试序列在后插入节点，的条测试序列组合成节点，的条测试序列，。访问树的过程如下从根节点出发，每个要被访问的节点都代替前个成为待处理的节点。根据上文中提到的覆盖准则，从测试模型图中得到的测试用例集合。若为树的非根叶子节点，则返回，将的直接父节点作为待处理节点，并执行步骤若的所有子节点都已遍历完毕将的测试序列集合与所有的子节点的测试序列集合进行路径合并，获得以为起始节点的测试序列集合。若为根节点，结束若不是根节点，将的父节点作为待处理节点，返回步骤重新执行若中还有子节点没有处理，需要选择个未处理的子节点作为待处理节点，重新执行步骤。河北工程大学硕士学位论文本章小结在本章中首先简略的介绍了协作图的语义及其组成元素，接着介绍了根据协作图构造的般步骤，然后根据面向对象软件测试的要求，通过个例子讲述了如何对进行类信息的多态性扩展及根据扩展的图生成集成测试序列的步骤和路径覆盖原则。第章基于协作图的测试序列生成工具设计第章基于协作图的测试序列生成工具设计为了提高测试效率实现软件测试的自动化，本章将进行基于协作图的测试序列生成工具的设计和编码工作，在此基础上生成测试序列完成对改进的算法的验证。测试序列生成工具的主要设计思路为提供信息录入模块将待测软件对应的扩展的图信息录入数据库，然后根据测试路径的生成原则和测试路径的覆盖原则，采用深度优先搜索的方式来产生待测软件的测试序列集合。数据库表的设计系统中需要两张数据库表，分别用来存储单独的信息和内的各个节点的信息。信息表包含字段编号方法信息类信息和是否根节点四个字段，节点信息表包含编号节点名所属和后继节点四个字段。这两张表存在主外键关联，节点信息表中的字段所属作为外键关联到信息表中的主键字段编号。根据图中所描述的相关信息，可以抽取出对应的数据库表信息表和节点信息表。表信息表编号方法信息类信息是否根节点是否否否否否否否河北工程大学硕士学位论文表节点信息表编号节点名所属后继节点无无无无无无无无界面设计测试序列生成工具的功能框架结构比较简单，大体上分为三部分，即数据录入部分数据显示部分和测试序列生成部分。数据录入部分包括信息的录入和普通节点信息的录入，如图所示为信息的录入界面。第章基于协作图的测试序列生成工具设计图输入信息显示部分包括信息的显示和普通节点信息的显示，如图所示为信息的显示界面。图信息河北工程大学硕士学位论文测试序列生成部分会以数据库中信息表和节点信息表为依据，按照前文中改进的算法和覆盖准则来生成测试序列。如图所示为测试序列生成界面。图测试序列编码设计对于测试序列的生成过程前文中已经进行了叙述，编码工作主要的重点就在于用程序语言来把这些过程实现，体现在如何生成具体节点的内部路径和如何扩展路径中各个节点所代表的路径。下面列举些编码过程中的核心的程序段，生成内部路径的程序如下判断此节点是否已经扩展，如果已扩展在扩展集合中随机选条扩展路径，如果没扩展进行扩展操作,第章基于协作图的测试序列生成工具设计时首先要进行路径的初始化取得后继结点，完成路径的生成此节点未扩展河北工程大学硕士学位论文,将新的节点添加进去，此节点未扩展将存在多态的节点全部添加进去此节点已扩展，在扩展的路径中随便选取条即可过程中还有以下工作需要在未来的工作中进步完善如何确定覆盖准则在对协作图进行类信息的多态性扩展生成的过程中，程序的可执行路径也在急剧的膨胀，在复杂的软件系统中完全的路径覆盖将会产生个数量惊人的测试序列集合。这些测试序列如果全部执行那必然会极大的加重软件测试工作的负担，增加软件的成本，所以去除测试序列中夹杂的冗余测试路径确定个良好的测试路径覆盖准则就显得尤为重要，本文中提到的覆盖准则还比较粗糙需要在后续的研究中继续改进。测试序列自动生成工具的完善测试序列自动生成工具能够帮助测试人员从协作图描述的对象交互信息中分析事件信息的处理流程提取程序的执行路径，从而生成测试序列集合。但是由于时间的原因本文中测试序列生成工具的功能还比较简单，希望在未来的工作中加入更多的分析功能。河北工程大学硕士学位论文致谢三年的学习生活转眼间就过去了，这段时间给我留下了许多宝贵的财富，在这里要感谢所有教导和帮助过我的人们。首先感谢我的导师龚炳江教授。本文的研究工作是在龚老师的悉心指导下完成的，在我论文的撰写和日常的学习工作中，龚老师都给予了极大的关怀和帮助。龚老师治学严谨学识渊博待人谦和，三年的学习生活中，在龚老师的帮助下，我思考问题解决问题的能力得到了极大提高，同时在龚老师身上我也学到了许多做人的道理，这都将使我终身受益。感谢师姐白冬艳，师兄韩建，同门的同学王毅影刘源杰田建梅，在日常的学习和生活中他们都给了我很大的帮助，非常怀念和他们起相处的日子。感谢号楼的舍友们，在他们身上我学到了很多生活的智慧，和他们在起的日子是令人难忘的。感谢我的家人对我学习的支持，还有我的女朋友鲍自敏直以来对我的关心理解和帮助。他们是我的精神支柱，帮助我面对人生中的各种挑战。参考文献参考文献马春面向对象软件测试及其测试数据自动生成的研究沈阳沈阳工业大学，朱少民软件测试方法和技术第二版北京清华大学出版社，美软件测试英文版第版，机械工业出版社，，李强等种基于的集成测试线索的生成方法计算机工程与科学，宋锐完美软件北京电子工业出版社测试之美北京机械工业出版社，周伟明软件测试实践北京电子工业出版社，，谢丽丽基于的面向对象软件测试方法的研究辽宁大连海事大学，刘玲基于面向对象形式规格说明的测试用例生成技术上海上海大学詹泽梅基于人工免疫算法的测试用例自动生成方法研究湖北华中师范大学许秀梅基于退火免疫遗传算法的测试数据生成方法研究北京北京交通大学荚伟，高仲仪基于遗传算法的软件结构测试数据生成技术研究北京航空航天大学学报任洪丽，张伟，李文瑞基于改进蚁群算法状态图的测试用例生成计算机工程与设计荚伟，谢军，奚红宇等遗传算法在软件测试数据生成中的应用北京航空航天大学学报，王捷民，丁刚毅，宋瀚涛，熊建国基于改进的自适应遗传算法的测试数据自动生成北京理工大学学报，，河北工程大学硕士学位论文，，杨小艳基于语言与状态图的测试用例自动生成研究湖北华中师范大学，苏荟基于的面向对象软件簇级测试方法研究陕西西安理工大学谢棠棠基于模型的测试场景生成研究与工具实现重庆西南师范大学，陈树峰，郑洪源面向对象软件的依赖性分析与回归测试计算机应用涂玲，周