10.3969/j.issn.1001-3695.2011.03.055
在带OCL约束的状态图下测试线索的自动生成
提出一种带OCL约束的状态图测试线索的自动生成方法.该方法自动解析类图和带OCL约束的状态图的XML模型文件,获取相应的状态节点邻接表,再结合状态对一事件约束集合生成带OCL约束的测试线索.实例研究表明,通过OCL约束冲突判断可避免不可行测试线索的生成,减少测试用例数目,达到降低测试成本的目的.实验结果证明了该方法的可行性和有效性.
对象约束语言、可扩展标记语言、类图、状态图、测试线索、约束冲突
28
TP311.5(计算技术、计算机技术)
2011-06-23(万方平台首次上网日期,不代表论文的发表时间)
共4页
988-990,994