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

【文件属性】：
文件名称：基于OCL文法的测试用例自动生成方法研究
文件大小：127KB
文件格式：PDF
更新时间：2012-10-09 08:01:26
软件工程 随着软件测试技术的飞速发展, 很多自动生成和执行测试用例的方法的技术已经发展起来。对于自动生成测试用例 约束的形式化定义也有很多方法, 其中, 对象约束语言(OCL)就是其中最具代表性的。