科研之友
微信
新浪微博
Facebook
分享链接
摘要
可追溯性是软件制品管理的重要任务，良好的可追溯性可以大大降低软件开发成本和维护成本，但是传统的可追溯性操作指南难以保证可追溯性的正确性，因此有必要探索如何构建更好的可追溯性模型。与多数传统方法不同，本文使用形式化方法研究可追溯性，并提出了一种新的软件制品可追溯性的形式化模型，给出了软件制品可追溯性的形式化定义，研究了软件制品可追溯性的变更影响分析、制品分析和版本分析方法，最后开发出了原型工具，并用实例验证了该方法的正确性和有效性。实验结果表明，本文提出的形式化建模与分析方法可以较好地保持软件制品的可追溯性。
- 单位
