基于UML交互概览图的测试线索的生成方法

针对单一UML模型测试不充分的问题,结合UML2.0交互概览图的特点开展测试方法研究,提出一种测试线索自动生成的方法。首先,给出UML类图、顺序图、交互概览图(OID)的形式化定义;通过提取交互概览图的流程信息和对象交互信息分别构造节点控制流图(NCFG)和消息序列图(MSD);将从MSD提取的消息路径嵌入到NCFG中,构造可测试交互概览图模型;最后采用两两覆盖准则生成测试线索。实验验证了该方法自动生成的测试线索在保证测试充分性的前提下可避免组合爆炸。

高职“机械设计”学习领域课程教学研究

学习领域课程有助于解决职业学校学科课程体系与其培养目标脱节的问题,在我国职业教育实践中,学习领域课程的教学模式与方法却是有待解决的核心课题.以"机械设计"学习领域课程中"平面连杆设计"为例,说明了学习领域课程教学的设计与实施过程,即在专业能力和综合社会能力两个方面设立教学目标;以主题内容概览图作为教学导入;使用三明治教学方法和采用注重过程和结果的积分账户作为评价模式.