一种基于uml活动图生成测试用例方法-method for generate test case based on uml activity diagram.docxVIP

南京邮电大学学位论文原创性声明本人声明所呈交的学位论文是我个人在导师指导下进行的研究工作及取得的研究成果?尽我所知，除了文中特别加以标注和致谢的地方外，论文中不包含其他人已经发表或撰写过的研究成果，也不包含为获得南京邮电大学或其它教育机构的学位或证书而使用过的材料?与我一同工作的同志对本研究所做的任何贡献均已在论文中作了明确的说明并表示了谢意?研究生签名：日期：南京邮电大学学位论文使用授权声明南京邮电大学?中国科学技术信息研究所?国家图书馆有权保留本人所送交学位论文的复印件和电子文档，可以采用影印?缩印或其它复制手段保存论文?本文电子文档的内容和纸质论文的内容相一致?除在保密期内的保密论文外，允许论文被查阅和借阅，可以公布（包括刊登）论文的全部或部分内容?论文的公布（包括刊登）授权南京邮电大学研究生院（筹）办理?研究生签名：导师签名：日期：第一章绪论1.1课题背景及研究意义随着信息技术的飞速发展，计算机已广泛应用于国民经济和国防建设中的许多重要领域，如：航空?工业控制?交通?银行?企业管理和军事指挥自动化系统等?这类应用对软件提出了很高的质量要求，因为即使很小的软件错误也可能导致整个系统的崩溃，造成极大的经济损失?1996年6月阿里亚娜火箭发射时，因软件故障导致升空失败，使欧共体蒙受了25亿美元的损失[1]?软件测试是保证软件质量?提高软件可靠性的关键工作，在软件的整个开发过程中占有非常重要的地位?美国质量保证研究所对软件测试的研究结果表明：越早发现软件中存在的问题，开发费用就越低，在编码后修改软件缺陷的成本是编码前的10倍，软件质量越高，软件发布后的维护费用越低?因此，为了减少软件研发费用?提高软件质量，人们开始投入到软件测试方法与测试工具的研究上?而软件测试领域中的一个核心的，同时也是极为困难的问题就是如何设计和生成有效的测试用例?1.2国内外研究现状基于UML模型的测试近年来，随着模型在软件设计和开发中越来越普遍地应用，基于模型的测试也越来越受到人们的关注?统一建模语言UML(UnifiedModelingLanguage)是在面向对象技术基础上建立的一个标准?统一的建模语言，可以支持从需求分析开始的软件开发的全过程?同时，基于规格说明的测试方法较基于源代码的测试方法相比，可以直接用于针对需求和设计的检查和验证，从而尽早地发现分析和设计阶段的问题，因此基于规格说明的测试方法逐渐得到了软件开发人员和测试人员的认可和接受?而UML模型以其定义良好?功能强大?普遍适用的优点，为基于规格说明的测试提供了良好的契机和新的挑战?目前越来越多的国内外学者对基于UML模型的测试方法展开了研究和讨论?由于功能性测试更多关注的是系统模块之间的交互和交互结果等动态信息，所以，从UML模型生成测试用例的方法通常是利用UML的动态模型（如顺序图?协作图?活动图）来讨论如何生成符合覆盖准则的测试用例?（1）基于顺序图和协作图生成测试用例文献[2]提出一种基于UML顺序图生成测试用例的方法，首先将UML顺序图转换为LTSs（LabeledTransitionSystems，标签转换系统）图，然后对LTSs图进行DFS（深度搜索）得到相应的路径；文献[3]提出的测试用例生成方法首先将UML顺序图及相关类图信息转化为PCIRCFG模型，然后再根据测试覆盖准则，从PCIRCFG模型自动生成测试用例，并根据该方法设计和实现了一个测试用例自动生成工具；文献[4]提出了一种基于UML协作图的集成测试用例生成方法，可以从所设计的协作图模型中提取相关信息生成测试用例；文献[5]介绍了一种基于UML顺序图生成测试用例的方法和SeDiTeC工具?以上的研究工作，都将UML模型进行了可测试性模型转换工作，虽然实现了通过UML模型生成测试用例，但都没有提到如何描述并且处理系统中出现的并发活动?（2）基于活动图生成测试用例UML活动图本质上是一个流程图，可以用于描述活动到活动的控制流，不仅适于描述具有并发活动的业务过程，而且还可以定义参与到活动中的对象及其角色?状态和属性的变化?因此，针对UML活动图的特点，研究基于活动图的测试用例生成方法，对于提高软件测试的效率，特别是对具有并发活动的业务过程的测试具有重要的现实意义?文献[6]提出通过添加外部的输入输出来扩展UML活动图，进而生成I/O活动图(IOAD)，但为了提高系统测试的有效性，作者采用了全路径覆盖准则，这很容易导致路径爆炸；文献[7]介绍了一种基于UML活动图生成测试用例的方法，并开发了一种称之为UMLTGF的自动生成测试用例工具?它在对UML活动图模型处理时，将UML活动图中的活动结点?分支结点?分支条件?决策结点?并发结点?合并结点以及输入?输出参数都做了相应的转换，并集解析XML文件（UML模型转换得到）?构建