摘要: 一、测试与正确性论证 理想情况下测试将覆盖所有可能的情况,并测试这些情况下的结果是否符合预期。这样做全面但工程量很大。 而正确性论证相较而言可以说是检测结果是否在预期的范围内,是一种笼统的测试但实现容易。 二、OCL与JSF 对象约束语言简称OCL,是一种指示用户建模系统中的限制方式。 OCL是一种 阅读全文
posted @ 2018-06-25 17:33 孟子彧 阅读(195) 评论(0) 推荐(0) 编辑