UML活动图模型中错误的定位工具开题报告.docVIP

学士学位论文开题报告 论文题目：UML活动图模型中错误的定位工具 专 业：计算机科学与技术 本 科 生： 学 号： 指导教师： 北京航空航天大学计算机学院 2013年3月8日目录 1题目背景与意义 1 1.1课题来源 1 1.2选题的背景与意义 1 2研究现状 2 2.1UML模型的一致性检查 2 2.2模型检查 2 2.3UML测试调试工具 3 2.4小结 3 3研究内容与解决方案 3 3.1研究目标 3 3.2研究内容 4 3.2.1UML活动图的处理 4 3.2.2错误定位的算法 4 3.3解决方案 4 4关键技术及难点 5 4.1UML活动图的读取及元素的处理 5 4.2 语义错误的检查定位的算法 7 5进度安排 9 6参考文献 10 1题目背景与意义 1.1课题来源 课题来源于实验室在软件的自动化调试方面的科学研究。 1.2选题的背景与意义 众所周知，软件工程主要包括了需求获取、项目策划、建模分析设计、编码、测试以及部署交付等过程。研究成果表明，70%的错误是在软件工程生命周期 中的早期被引入（即在模型设计中引入）；而错误中的80%只有到了系统开发后期的测试阶段之后才被发现，而错误的修改成本大大增加。惠普、IBM、以及其他组织的研究人员发现，在构建软件模型阶段清除一个错误，其成本仅仅是在开发过程的最后阶段做同样事情的十分之一到百分之一[1][2]。因此针对于设计模型的错误检查研究，有着非常重要的意义，可以大大降低错误检查的成本，有效保障软件质量。 随着各种系统和软件的规模与复杂度增加，模型驱动技术被广泛的应用于系统的构建、静态和动态行为刻画与分析等方面，模型作为对系统行为的刻画发挥着越来越重要的作用。统一建模语言（UML）作为一种描述能力强大、涵义直观且被工业界广泛使用的可视化建模语言，提供了多种图形元素，从静态结构和动态行为等多角度及不同层次刻画系统特征和运行环境[3]。 活动图是UML2.0中动态行为建模中的重要模型之一，可以对系统功能过程实现进行刻画，是一种流程刻画的图形建模语言，它结合了Jim Odell的事件图、 SDL(规约和描述语言)状态建模技术、工作流建模以及Petri网等。活动图的应用领域广泛，且可以对于不同层次的过程模型进行刻画，包括对于工作流建模、执行算法建模以及代码层次模型等[4]。 随着活动图在系统建模中的应用越来越多，活动图模型的正确性检测与错误定位也为复杂系统的错误检查和定位提供了一种方式，即利用活动图作为系统功能的过程模型，结合实际观测或者需求期望来判定该模型是否存在错误，如果存在错误，并进一步自动化进行错误定位。 选题具有一定的意义。如果能在建模阶段就自动化的查找包括语法和语义的错误，那么我们就可以大量的减少在后期编程阶段或者测试阶段再次发现错误所需要的工作量并减轻修改这些bug所需要的精力财力物力。 2研究现状 统一建模语言（UML）作为一种描述能力强大、涵义直观且被工业界广泛使用的可视化建模语言，提供了多种图形元素，从静态结构和动态行为等多角度 及不同层次刻画系统特征和运行环境。当前针对于UML错误检查的相关研究主要集中在UML一致性研究、基于模型检查技术的UML 模型错误检查以及UML测试调试工具。 2.1UML模型的一致性检查 UML模型的一致性检查是最常见的错误检查，它包含了语法检查和语义检查等，对于语法检查是将模型看作一组相互关联的元素，通过把元素之间的关系限定到一定模式，防止模型中产生某些类型的矛盾，这类方法的基本特征是以模型的语法结构为基础，定义元素之间的一致性约束。通常利用模型间语法结构等建立一致性约束，进一步执行模型检查。语义检查则通过形式化语义模型，包括进程代数、Petri网、R-演算等理论，实现语义层面一致性的判定。 2.2模型检查 针对于UML的模型检查，通常将模型检查的成果应用到UML错误检查中，通常的方式是将UML模型转化为常用的模型检查工具输入模型，并建立属性检查期望。模型检查是针对于UML模型错误检查中最常见、也是应用最广泛的，通常将UML模型转化为SMV、SPIN等主流的模型检查工具所支持的中间语言[5]，然后利用模型检查工具，来判定UML模型是否满足指定的性质。模型检查主要用于检查功能属性，例如无死锁性、活性、安全性等，缺点除了状态空间爆炸问题外，对于检查过程的推理过程缺乏直观的刻画，对于度量模型不统一的检验无法有效处理。 2.3UML测试调试工具 UML能够允许开发者在一个较高的抽象层次，利用活动图、状态机和顺序图等来对系统行为进行描述。为了进一步便于模型驱动开发，开发者需要增加 对于UML模型的调试和测试。UML测试调试工具则是在UML建模环境中，实现针对于模型的虚拟执行环境，