学位论文 > 优秀研究生学位论文题录展示

基于Tabular表达式的需求文档形式化定义方法及其支持工具

作　者: 马鹏飞
导　师: 金英
学　校: 吉林大学
专　业: 计算机软件与理论
关键词: 文档驱动的软件开发方法 面向方面的需求工程 形式化需求文档定义 需求变更影响分析
分类号: TP311.52
类　型: 硕士论文
年　份: 2010年
下　载: 27次
引　用: 0次
阅　读: 论文下载
 

内容摘要


在软件开发的需求阶段,建立完整而精确的需求文档对于整个软件项目起着至关重要的作用。文档驱动的软件开发方法强调在软件开发的过程中必须建立各种完整的、严格而精确的一系列设计文档,同时采用基于数学关系的Tabular表达式来定义文档的内容。然而,随着软件系统规模的不断扩大,从庞大而原始的文本需求描述转换为精确的形式化需求文档仍然存在着一条鸿沟。以“分离关注点”为核心的面向方面需求工程在需求阶段引入了关注点的概念,通过对需求中特定的目标和概念作为关注点进行识别并定义,有效地降低了系统的复杂性和耦合性。本文通过结合面向方面需求工程和文档驱动的需求方法的优点,给出一种递进的、便于将非形式化和形式化需求关联起来的形式化需求文档定义方法,并提出了一种基于PageRank算法的需求变更影响分析方法,该方法可用于对基于形式化环境变量的系统需求模型进行分析和计算,并可通过对计算结果的分析并结合需求模型进行需求变更的影响分析。本文提出的方法较好地解决了复杂的实时系统的需求文档形式化定义问题以及基于形式化需求描述的需求变更分析问题。

全文目录


提要  4-8
第1章 绪论  8-11
  1.1 需求分析的重要性及存在的问题  8
  1.2 需求文档定义的研究现状  8-9
  1.3 关注点分离  9-10
  1.4 本文工作内容  10-11
第2章 文档驱动需求方法与面向方面的需求工程  11-15
  2.1 文档驱动需求方法概述  11-12
  2.2 需求的形式化模型——四变量模型  12-13
  2.3 面向方面的需求工程  13-14
  2.4 需求文档的形式化表示——Tabular表达式  14
  2.5 存在的问题  14-15
第3章 软件需求的形式定义方法  15-22
  3.1 需求文档的内容  15-16
    3.1.1 系统需求文档SRS  15-16
    3.1.2 系统设计文档SDS  16
    3.1.3 软件需求文档SoRS  16
  3.2 软件需求的形式定义方法  16-22
    3.2.1 定义关注点架构  17-18
    3.2.2 引导变量并定义  18-19
    3.2.3 定义变量依赖关系图  19-20
    3.2.4 定义形式化文档  20-21
    3.2.5 文档的验证与检查  21-22
第4章 基于PageRank算法的需求变更影响分析  22-28
  4.1 需求变更影响分析  22
  4.2 PageRank算法  22-23
  4.3 基于PageRank算法的变更影响分析  23-28
    4.3.1 系统需求的形式化建模  24
    4.3.2 依赖关系估值  24
    4.3.3 应用PageRank算法进行分析计算  24-25
    4.3.4 变更影响分析  25-28
第5章 形式化需求文档定义工具的实现  28-36
  5.1 概述  28-30
  5.2 数据结构  30
  5.3 实现细节  30-34
    5.3.1 定义变量  31
    5.3.2 定义变量依赖关系图  31-32
    5.3.3 获取定义Tabular表达式所需信息  32-33
    5.3.4 文档的检查  33-34
  5.4 变更影响分析  34-36
    5.4.1 基于变量的变更影响分析  34
    5.4.2 基于需求的变更影响分析  34-35
    5.4.3 基于依赖的变更影响分析  35-36
第6章 实例分析  36-43
  6.1 LCS系统文本描述  36-37
  6.2 关注点架构  37
  6.3 生成的形式化文档  37-41
    6.3.1 变量值类型词典  37-38
    6.3.2 变量词典  38
    6.3.3 变量依赖关系图  38-39
    6.3.4 定义形式化需求文档  39-41
  6.4 变更影响分析结果  41-43
    6.4.1 基于变量的变更影响分析  41
    6.4.2 基于需求的变更影响分析  41-42
    6.4.3 基于依赖的变更影响分析  42-43
第7章 总结与展望  43-45
  7.1 相关工作  43-44
  7.2 存在的问题和下一步工作  44-45
参考文献  45-47
攻读硕士学位期间发表论文  47-48
致谢  48-49
导师及作者简介  49-50
摘要  50-53
Abstract  53-55

相似论文

  1. 需求管理辅助工具的研究与实现,TP311.52
  2. 基于WinCE平台的故障分析仪应用程序设计与开发,TP311.52
  3. 面向SMDA的服务建模方法及工具实现,TP311.52
  4. 异构环境下企业互操作技术及在物资供应链系统中的应用,TP311.52
  5. 基于特征的软构件建模方法及其在VMI管理系统中的应用,TP311.52
  6. 光电对抗试验系统软件平台开发,TP311.52
  7. 电力负荷管理终端测试装置软件系统研制,TP311.52
  8. 基于NS2的PeerCast模拟平台设计与实现,TP311.52
  9. 中小企业进销存管理系统的研究与设计,TP311.52
  10. 高端容错计算系统高可靠监控子系统的研究和设计,TP311.52
  11. 武器装备信息管理系统的设计与实现,TP311.52
  12. 医疗信息集成平台中HL7消息解析和存储的设计与实现,TP311.52
  13. 基于WADO的医学影像远程访问与共享系统的设计与实现,TP311.52
  14. 教学档案管理系统的设计与实现,TP311.52
  15. 部队在线考试系统设计与实现,TP311.52
  16. VRGIS在城市设计中的应用,TP311.52
  17. 基层部队人员日常管理信息系统设计实现,TP311.52
  18. 军队物资采购供应管理系统的设计与实现,TP311.52
  19. 部队人员网上训练与考核系统的开发,TP311.52
  20. 部队兵员管理系统的设计与实现,TP311.52
  21. 军队后勤物资管理系统设计与实现,TP311.52

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 计算机软件 > 程序设计、软件工程 > 软件工程 > 软件开发
© 2012 www.xueweilunwen.com