一个基于UML协作图的集成测试用例生成方法(三)

3、基于协作图生成集成测试用例的方法3.1研究假定为了有针对性地解决从协作图生成测试用例的问题,本文作出如下假定和要求:(1)假定协作图描述的协作与用例图描述的规约是一致的。模型本身的验证是通过非形式化的复审和形式化的模 3、基于协作图生成集成测试用例的方法 3.1研究假定 为了有针对性地解决从协作图生成测试用例的问题,本文作出如下假定和要求: (1)假定协作图描述的协作与用例图描述的规约是一致的。模型本身的验证是通过非形式化的复审和形式化的模型检验方法进行的,已超出本文的研究范围;如果协作图上的场景路径集不能覆盖所有消息,则说明协作图本身有错误; (2)假定系统中的对象都