UML 2.0通信图的一种测试用例生成方法

作者:张峻; 张广泉; 王辉; 戴晔
来源:苏州大学学报(自然科学版), 2007, 23(2): 36-42.
DOI:10.3969/j.issn.1000-2073.2007.02.008

摘要

提出了一种UML2.0通信图生成测试用例的方法.首先根据通信图构建一棵通信树,利用后序遍历了所构造的树,从通信图中选择条件断言,然后转换条件断言并通过求解函数最小值的方法来生成测试用例.该测试用例满足消息路径覆盖和边界覆盖.

全文