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

【文件属性】：

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

文件大小：127KB

文件格式：PDF

更新时间：2012-10-09 08:01:26

软件工程

随着软件测试技术的飞速发展, 很多自动生成和执行测试用例的方法的技术已经发展起来。对于自动生成测试用例 约束的形式化定义也有很多方法, 其中, 对象约束语言(OCL)就是其中最具代表性的。