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