基于OCL文法的测试用例自动生成方法研究

• 作者: 张云华 蒋忠炜 谢轩昂
• 来源期刊: 科技与创新
• 关键词: 对象约束语言 文法分析 约束条件分离 UML图 自动生成测试用例
• 年，卷（期）: 2007,（9）
• 所属期刊栏目: 软件时空
• 页码范围: 244-246
• 页数: 3页
• 分类号: TP393.08
• 语种: 中文
• DOI: 10.3969/j.issn.1008-0570.2007.09.098

摘要

随着软件测试技术的飞速发展,很多自动生成和执行测试用例的方法的技术已经发展起来.对于自动生成测试用例的约束的形式化定义也有很多方法,其中,对象约束语言(OCL)就是其中最具代表性的.OCL能够弥补UML模型的不足,精确地定义约束条件.本文将着重介绍一种从OCL文法解析到约束条件分离的方法的研究结果,通过与OCL文法比较,解析输入的OCL文本,提取OCL表达式,构建约束条件树,实现约束条件分离,最终实现测试用例集的自动生成.