| 摘 要: 可追溯性是软件制品管理的重要任务，良好的可追溯性可以大大降低软件开发成本和维护成本，但是传统的可追溯性操作指南难以保证可追溯性的正确性，因此有必要探索如何构建更好的可追溯性模型。与多数传统方法不同，本文使用形式化方法研究可追溯性，并提出了一种新的软件制品可追溯性的形式化模型，给出了软件制品可追溯性的形式化定义，研究了软件制品可追溯性的变更影响分析、制品分析和版本分析方法，最后开发出了原型工具，并用实例验证了该方法的正确性和有效性。实验结果表明，本文提出的形式化建模与分析方法可以较好地保持软件制品的可追溯性。 |
| 关键词: 可追溯性；变更影响分析；制品分析；版本分析 |
|
中图分类号: TP311.5
文献标识码: A
|
| 基金项目: 国家自然科学基金(61772004)；成都信息工程大学人才科研基金(KYTZ202009)；CCF-华为形式验证创新研究计划(CCF-HuaweiFM2021003). |
|
| Formal Modeling and Analysis of Software Product Traceability |
|
LI Jianqing, JIANG Jianmin
|
(College of Software Engineering, Chengdu University of Information Technology, Chengdu 610000, China )
1102418305@qq.com; jjm@fjnu.edu.cn
|
| Abstract: Traceability is an important task of software product management and good traceability can greatly reduce the cost of software development and maintenance. However, traditional traceability operation guidelines cannot guarantee the correctness of traceability, so it is necessary to explore how to build a better traceability model. Unlike most traditional methods, by using a formal approach to study traceability, this paper proposes a new formal model for software product traceability and provides a formal definition of software product traceability. It also investigates changing impact analysis, product analysis and version analysis methods for software product traceability, and finally develops a prototype tool and verifies the correctness and effectiveness of the method with examples. Experimental results show that the proposed formal modeling and analysis method can better maintain the traceability of software products. |
| Keywords: traceability; changing impact analysis; product analysis; version analysis |
