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

Research of Automatic Test Cases Generation Based on OCL

作　　者：谢轩昂[1] 张云华[1] 蒋忠炜[1] 

机构地区：[1]浙江理工大学信电学院

出　　处：《微计算机信息》2007年第03X期244-246,共3页Control & Automation

摘　　要：随着软件测试技术的飞速发展,很多自动生成和执行测试用例的方法的技术已经发展起来。对于自动生成测试用例的约束的形式化定义也有很多方法,其中,对象约束语言(OCL)就是其中最具代表性的。OCL能够弥补UML模型的不足,精确地定义约束条件。本文将着重介绍一种从OCL文法解析到约束条件分离的方法的研究结果,通过与OCL文法比较,解析输入的OCL文本,提取OCL表达式,构建约束条件树,实现约束条件分离,最终实现测试用例集的自动生成。OCL is horn to make up of the deficiencies in a UML model, fill the gap between traditional formal languages that needs a strong mathematical background and average business. In this paper we propose a method for generating test data for testing based on both UML and OCL. Through parsing to OCL context and dividing constraint technology, acquire constraint conditions. According Constraints-Through algorithm derived from Constraints Satisfy Problem （CSP）, this paper introduces an approach to automatic generation of test cases.

关 键 词：对象约束语言 文法分析 约束条件分离 UML图 自动生成测试用例 

分 类 号：TP393.08[自动化与计算机技术—计算机应用技术]