软件制品可追溯性的形式化建模与分析

  • 打印
  • 收藏
收藏成功
微博 QQ空间 微信


打开文本图片集

摘  要：可追溯性是软件制品管理的重要任务，良好的可追溯性可以大大降低软件开发成本和维护成本，但是传统的可追溯性操作指南难以保证可追溯性的正确性，因此有必要探索如何构建更好的可追溯性模型。与多数传统方法不同，本文使用形式化方法研究可追溯性，并提出了一种新的软件制品可追溯性的形式化模型，给出了软件制品可追溯性的形式化定义，研究了软件制品可追溯性的变更影响分析、制品分析和版本分析方法，最后开发出了原型工具，并用实例验证了该方法的正确性和有效性。（剩余15105字）

试读结束

目录
monitor
客服机器人