-
题名需求可追溯性在代码静态分析中的应用
- 1
-
-
作者
陈望旭
文昊
倪洋
-
机构
南京南瑞信息通信科技有限公司
-
出处
《计算机科学》
北大核心
2025年第S1期881-885,共5页
-
文摘
对于软件需求逆向工程,传统的代码静态分析方法需要人工标注大量完整的需求标记,这成为研发过程中庞大且冗余的负担,很难切实推行。针对该情况,提出了一种基于需求可追溯性并使用图数据库存储结构的代码静态分析方法。该方法首先通过基础静态分析方法生成软件的方法调用关系图,使用图数据库存储结构对其进行存储,然后通过少量的人工标记对调用关系图进行初始化,再通过图数据支持的若干连通性计算方法,补全调用关系图上的节点需求并最终反馈到软件代码层面。实验结果表明,该方法能够保证推演后方法节点上的需求覆盖率达到较高标准,同时极大地降低人工标记的工作量。
-
关键词
需求可追溯性
图数据库
代码静态分析
-
Keywords
Requirement traceability
Graph database
Code static analysis
-
分类号
TP399
[自动化与计算机技术—计算机应用技术]
-
-
题名功能需求到测试用例的可追溯性研究
被引量：2
- 2
-
-
作者
翟宇鹏
洪玫
杨秋辉
-
机构
四川大学计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2017年第B11期480-484,共5页
-
文摘
软件开发主要由需求收集、设计、实现、测试和维护等几个阶段构成,其中维护始终是主要开销。在维护阶段,开发人员必须理解程序才能定位缺陷,而系统的需求和源代码、测试用例等之间的可追溯性连接能帮助减少开发人员在理解程序时的工作量。研究现有的功能定位技术和可追溯性方法,通过对现有方法的改进,提出了一种集成动态执行信息和IR技术的方案来建立需求到测试用例的可追溯性连接,用以辅助开发人员在维护阶段的工作。
-
关键词
软件开发
软件维护
需求可追溯性
功能定位
-
Keywords
Software development,Software maintenance,Requirements traceabi l ity,F eature location
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-
