UML活动图模型中错误的定位工具说明书.docVIP

单位代码 10006 学 号 分 类 号 TP311 毕业设计(论文) UML活动图模型中错误的定位工具 院（系）名称 计算机学院 专业名称 计算机科学与技术 学生姓名 指导教师 2013年6月 北京航空航天大学 本科毕业设计（论文）任务书 Ⅰ、毕业设计（论文）题目： UML活动图模型中错误的定位工具 Ⅱ、毕业设计（论文）使用的原始资料（数据）及设计技术要求： 1、课题来源：课题来源于实验室在软件的自动化调试方面的科学研究 2、技术要求： (1)使用C++语言来完成错误定位工具的相关操作部分。 (2)通过读入外部的活动图文件，结合相关错误定位算法实现活动图的错误定位工作。 (3)用户界面部分可以使用C#编程，使其具有良好的人机交互。 Ⅲ、毕业设计（论文）工作内容： （1）实现对外部UML活动图文件的读取和解析。 （2）完成错误定位算法在UML活动图模型上的应用。 （3）完成良好的用户界面，在活动图上能够明显的显示错误的位置。 Ⅳ、主要参考资料： [1] 李未, 李宁. A formal semantics for program debugging[J]. SCIENCE CHINA Information Sciences, 2012: 133-148. [2] 李宁. 基于UML的模型错误检测研究[D]. 北京: 北京航空航天大学, 2011. [3] Roger S.Pressman. Software Engineering A Practitioner’s Approach[M]. China Machine Press, 2007. [4] Booch. UML用户指南[M]. 人民邮电出版社, 2006. 计算机学院（系）计算机科学与技术专业类 390616班 学生刘艾杉 毕业设计（论文）时间： 2013年3月4日至 2013年6月11日 答辩时间： 2013年6月 18日 成绩： 指导教师：李未 兼职教师或答疑教师（并指出所负责部分）： 系（教研室） 主任（签字）： 本人声明 我声明，本论文及其研究工作是由本人在导师指导下独立完成的，在完成论文时所利用的一切资料均已在参考文献中列出。 作者： 签字： 时间：2013年6月UML活动图模型中错误的定位工具 学 生： 指导教师： 摘要 目前，随着各种系统和软件的规模与复杂度的增加，模型驱动技术被广泛的应用于系统的构建、静态和动态行为刻画与分析等方面。这其中，以面向对象建模为主导思想的统一建模语言（UML）得到了广泛的应用。研究成果表明，软件开发中70%的错误是在软件工程生命周期中的早期被引入（即在模型设计阶段中引入）；而错误中的80%只有到了系统开发后期的测试阶段之后才被发现，而错误的修改成本大大增加[1]。 因此，在模型阶段进行错误的定位，能够大量的减少后期发现错误改正错误所花费的精力。本文主要工作和技术内容如下： 1、将基于C-Kernal语言的函数内调试的形式化错误定位算法应用到了UML模型上。 2、提出了一种分析UML活动图的方式，即通过解析UML标准的导出的XMI格式文件。在XMI格式的文件中，定义了很有规律的标签，它们有规律的记录了该活动图的结构等信息。通过使用高级程序语言对XMI文件的解析达到解析UML活动图结构的目的。同时，对于UML图形化部分，通过解析UML格式文件来实现。其中记录了UML活动图中各个元素的大小、颜色、位置等图形化的相关信息，可以利用来构造一个对应的活动图。 3、本文以一种新的方式来看待UML活动图，不仅仅将它看作是一个描述业务和活动的工作流程图，还将它看作是一个顺序执行的程序。通过在程序中将它抽象成数据结构中的图，并解析成为抽象语法树，利用函数内调试的形式化算法，实现了错误的定位。 关键词：UML活动图，错误定位，XMI解析，XML  Bug Locating Tool for UML Activity Diagram Models Author： Tutor： Abstract