论文研究在带OCL约束的状态图下测试线索的自动生成.pdf

提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件，获取相应的状态节点邻接表，再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明，通过OCL约束冲突判断可避免不可行测试线索的生成，减少测试用例数目，达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。