论文摘要
随着信息技术的发展,软件规模不断扩大,如何保证和提高软件质量成为软件工程最为关心的问题之一。软件测试能够有效地发现软件中的缺陷和故障,是保证软件质量的关键技术。随着UML模型的广泛使用,基于UML模型的软件测试越来越受到人们的关注。本文对基于UML设计模型的生成集成测试线索方法和程序多态性的测试问题进行了深入研究。首先,根据集成测试线索提供的两层测试统一视图,针对在不同层次上提取测试线索遇到的问题,提出了生成集成测试线索的框架。该框架是由一系列解决方案构成的,系统地展示在用例间层次和用例层次上提取线索的详细方案。在系统用例间层次上,针对集成测试线索容易产生组合爆炸、生成线索冗余的问题,本文利用用例图和活动图,并在用例间引入商业逻辑,从而构造了用例间顺序依赖关系的活动图(UCSDAD)。该图包含用例的商业逻辑信息,有效地减少了线索的冗余,降低了产生组合爆炸的可能性。由于要达到判定覆盖的要求,并且进一步控制线索的冗余,所以用DD路径作为UCSDAD测试覆盖的准则,从而可有效解决在用例间之间集成测试线索生成中遇到的问题。在用例层次上,由于UML协作图侧重于以图形化的方式从空间的角度展示对象的交互,导致了从UML协作图直接生成测试线索并不方便,因此将其转化为等价的形式――函数间约束的控制流图(IRCFG)。但是函数间约束的控制流图模型没有结合类图信息,不能对程序中包含的多态信息进行测试,所以本文提出了多态性扩展的结合类信息的函数间约束的控制流图(PCIRCFG)模型,并对其进行了形式化的描述。同时给出了适用于PCIRCFG的四种测试覆盖准则,根据实际需要,可以灵活的采用不同的覆盖准则从相应的PCIRCFG模型生成集成测试线索,以达到不同的测试要求。其次,根据提取集成测试线索的框架,本文实现了一个自动化生成集成线索工具。该工具基于目前成熟的商业建模工具PowerDesinger上,通过解析模型文件自动提取系统的集成测试线索,证明了该方法的可行性。最后,通过图书馆管理系统的例子说明了该基于UML模型的集成测试线索的提取方法的有效性。
论文目录
相关论文文献
- [1].基于UML的对外职业培训在线考试系统初步设计[J]. 轻工科技 2013(11)
- [2].UML活动图建模在软件测试中的应用[J]. 电子产品可靠性与环境试验 2012(S1)
- [3].企业销售管理系统的UML设计与分析[J]. 电子世界 2014(03)
- [4].基于UML的叙词表转本体方法研究[J]. 图书馆杂志 2014(07)
- [5].基于UML的兵棋推演系统建模[J]. 军事运筹与系统工程 2014(02)
- [6].基于UML的档案管理系统分析[J]. 廊坊师范学院学报(自然科学版) 2014(04)
- [7].基于UML的移动教务管理系统的研究与实现[J]. 软件 2014(05)
- [8].基于UML的教务管理系统研究[J]. 现代商贸工业 2013(14)
- [9].基于UML描述的软件体系结构研究[J]. 中国新技术新产品 2012(04)
- [10].UML在研建地理信息标准体系中的应用[J]. 测绘通报 2012(04)
- [11].基于UML的学生信息管理系统的开发与研究[J]. 数字技术与应用 2012(02)
- [12].基于UML的应急体系业务建模[J]. 福建电脑 2012(02)
- [13].基于UML的舰载预警机协同作战流程建模研究[J]. 舰船电子工程 2012(05)
- [14].UML建模在高职学生信息管理系统中的应用[J]. 计算机光盘软件与应用 2012(15)
- [15].基于UML的调试软件的建模[J]. 船电技术 2012(10)
- [16].基于UML的无人机飞控系统建模[J]. 航空计算技术 2012(05)
- [17].基于UML的自动组卷系统的分析与设计[J]. 软件 2012(07)
- [18].基于UML的人力资源管理系统的设计[J]. 电脑知识与技术 2012(31)
- [19].基于UML的图书馆文档管理系统的数据库建模[J]. 科技信息 2012(36)
- [20].UML用例模型——系统需求的规范描述[J]. 电脑编程技巧与维护 2011(01)
- [21].选择序列图创建UML动态模型[J]. 电脑编程技巧与维护 2011(05)
- [22].基于UML的装备综合信息管理系统分析与建模[J]. 四川兵工学报 2011(02)
- [23].任务教学法在UML课程教学应用中的探索[J]. 吉林广播电视大学学报 2011(06)
- [24].UML的用例模型在需求建模中的作用[J]. 黑龙江科技信息 2011(15)
- [25].软件开发过程与UML关系的研究[J]. 中国科技信息 2011(20)
- [26].一种UML状态图模型检测方法[J]. 哈尔滨工程大学学报 2011(08)
- [27].基于UML的人力资源管理系统分析与设计[J]. 信息与电脑(理论版) 2011(18)
- [28].基于UML的图书管理系统的建模过程[J]. 计算机与现代化 2011(10)
- [29].基于UML的仪器设备管理系统的模型设计[J]. 中国医学装备 2011(11)
- [30].基于UML的企业物流信息管理系统的分析与建模[J]. 煤炭技术 2011(12)