基于UML 2.0活动图的车载设备测试用例生成方法研究

重点研究基于UML2.0活动图的CTCS-2级车载设备测试用例生成方法。介绍车载设备的构成和功能,对活动图进行形式化定义,阐述测试用例的设计,包括车载设备活动图建模规则、测试用例的形式化定义、测试覆盖准则的定义、基于深度优先搜索并且带回溯的遍历算法的测试场景生成,以及测试用例的生成算法,最后实现了测试用例生成。

一种面向企业经营过程的工作流模型

作为支持企业经营过程重组、经营过程自动化的一种手段,工作流技术得到越来越广泛的应用。而作为工作流管理系统理论研究和实际应用基础的工作流模型,成为工作流技术的主要研究方向之一。文章针对目前工作流过程模型在描述能力、柔性以及过程重用方面的不足,提出一种基于UML2.0活动图,具有可扩展机制,以简单、直观的图形化表示方法描述企业业务流程的工作流建模方法,同时,基于J2EE平台,开发了支持该建模方法的建模工具,并使用该工具建立了威海海都食品集团的典型业务流程实例。