基于UML交互概览图测试线索生成方.docVIP

基于UML交互概览图测试线索生成方 　　摘要：针对单一UML模型测试不充分的问题，结合UML2.0交互概览图的特点开展测试方法研究，提出一种测试线索自动生成的方法。首先，给出UML类图、顺序图、交互概览图（OID）的形式化定义；通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图（NCFG）和消息序列图（MSD）；将从MSD提取的消息路径嵌入到NCFG中，构造可测试交互概览图模型；最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。 　　关键词： UML模型； 交互概览图； 流程信息； 覆盖准则； 测试线索 　　中图分类号： TP311.5 文献标志码： A 　　0引言 　　目前基于UML模型的软件测试是基于模型软件测试的主流选择。在基于UML模型的软件测试[1-5]中，大多数是针对顺序图、状态图、活动图等单一模型进行测试研究的，而单一模型只能侧重反映系统的某个层面的信息，不能对系统进行充分和完备的测试。 　　交互概览图（InteractionOverviewDiagram，IOD）[6-7]是对象管理组织（ObjectManagementGroup，OMG）在UML2.0[8-10]中提出了一种新的图，能够在系统业务流程和对象间交互细节两个层面上反映系统的信息。交互概览图IOD有效地克服了UML活动图