文件名称：论文研究-在带OCL约束的状态图下测试线索的自动生成.pdf
文件大小：742KB
文件格式：PDF
更新时间：2022-08-11 13:04:28
对象约束语言,可扩展标记语言,类图,状态图,测试线索,约束冲突
提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件，获取相应的状态节点邻接表，再结合状态对—事件约束集合生成带OCL约束的测试线索。实例研究表明，通过OCL约束冲突判断可避免不可行测试线索的生成，减少测试用例数目，达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。