基于状态图的测试用例生成技术

本文通过研究UML状态图模型,提出了一种测试用例生成方法,将UML状态图采用有向图的邻接矩阵表示,采用深度优先遍历算法,得到测试序列,并通过将没有被覆盖的边引入测试序列中,得到了满足一定覆盖准则的测试序列。