随着软件工程的日益复杂,以及用户对软件的功能需求和体验需求不断增强,从不同角度,不同方面对软件工程进行建模愈来愈受到人们的关注。在这种环境下,如何恰当地对软件工程的流程进行建模成为了热点问题之一。同时,在软件工程中负责验收程序,反馈错误的测试环节显得越来越重要。通过软件测试,开发者可以及时地补救系统运行时的错误,但却给程序开发者带来了相应的困扰,因为这无疑大大增加了编程的负担。所以,能够通过机器生成测试脚本代码的自动化测试工具在市场上颇受测试者的青睐。在使用UML对软件工程进行流程建模时,经常会发生模型的不一致性问题。例如模型代表的功能不完全一致,或者模型的对象描述有所偏差等等。本文在详细研究不一致性产生原因的基础上,给出了一个基于形式化模型和数据库映射的检测UML模型图一致性的方法,它具有可扩展性、通用性等优点。在对该方法的描述中,本文重点实现了形式化模型的数据库表存储技术,完成一致性算法的设计,并讨论了它们的应用情况。同时,针对软件工程中的测试环节,本文通过归纳UML模型图的特性,提出了设计开发可自动化生成测试脚本代码的Eclipse插件的方案,这个插件以UML技术为核心,能够与UML建立的测试用例模型相互对应,甚至是可与模型直接关联。本文以UML建模语言和文字叙述相结合的方式详细说明了插件的系统架构和功能流程,包括用户界面、后台控制器和模板储存器三个功能模块。最后,通过细化设计代表插件系统架构的这三个功能模块,本文用表示关键功能的代码片段描述了它们的实现方式,并用实例验证了插件正常运行的情况下可以满足系统的功能需求,使其达到了自动化生成测试脚本代码的预期目标。