文件名称：在带OCL约束的状态图下测试线索的自动生成 (2011年)
文件大小：742KB
文件格式：PDF
更新时间：2024-06-07 04:56:04
工程技术 论文
提出一种带OCL约束的状态图测试线索的自动生成方法。该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对―事件约束集合生成带OCL约束的测试线索。实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的。实验结果证明了该方法的可行性和有效性。