摘要
针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。
Concerning the problem that single UML model can not test the software sufficiently, this paper proposed a new method of automatically generating software test clues by combining the characteristics of UML2.0 interaction overview diagram. First, this paper gave the formal definition of UML class diagrams, sequence diagrams and Interaction Overview Diagrarns （IOD） . Second, the Node Control Flow Graph （NCFG） was constructed by extracting the process information of the interaction overview diagram while the Message Sequence Diagrams （MSD） were constructed by extracting the object interaction information. The testable model of IOD was constructed by embedding the MSD＇s message path into NCFG. At last, the paper adopted two-two coverage criterion to generate test clues. The experiment verifies that this method which automatically generates test clues avoids the combinatorial explosion while guaranteeing the test adequacy.
出处
《计算机应用》
CSCD
北大核心
2014年第1期270-275,291,共7页
journal of Computer Applications
关键词
UML模型
交互概览图
流程信息
覆盖准则
测试线索
UML model
Interaction Overview Diagram （IOD）
process information
coverage criterion
test clue
