Advancing candidate link generation for requirements tracing: the study of methods

IEEE Transactions on Software Engineering(2006)

引用 654|浏览0
暂无评分
摘要
This paper addresses the issues related to improving the overall quality of the dynamic candidate link generation for the requirements tracing process for verification and validation and independent verification and validation analysts. The contribution of the paper is four-fold: we define goals for a tracing tool based on analyst responsibilities in the tracing process, we introduce several new measures for validating that the goals have been satisfied, we implement analyst feedback in the tracing process, and we present a prototype tool that we built, RETRO (REquirements TRacing On-target), to address these goals. We also present the results of a study used to assess RETRO's support of goals and goal elements that can be measured objectively.
更多
查看译文
关键词
formal specification,formal verification,software tools,RETRO tool,Requirements Tracing On-target tool,dynamic candidate link generation,independent validation analysis,independent verification analysis,Independent Validation and Verification (IV&V),LSI,Requirements tracing,TF-IDF,Verification and Validation (V&V),dynamic link generation,information retrieval,precision.,recall
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络
Chat Paper
正在生成论文摘要