DocumentCode
806395
Title
Advancing candidate link generation for requirements tracing: the study of methods
Author
Hayes, Jane Huffman ; Dekhtyar, Alex ; Sundaram, Senthil Karthikeyan
Author_Institution
Dept. of Comput. Sci., Kentucky Univ., Lexington, KY, USA
Volume
32
Issue
1
fYear
2006
Firstpage
4
Lastpage
19
Abstract
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.
Keywords
formal specification; formal verification; software tools; RETRO tool; Requirements Tracing On-target tool; dynamic candidate link generation; independent validation analysis; independent verification analysis; Computer Society; Computer aided software engineering; Feedback; Helium; Information retrieval; Large scale integration; Prototypes; Risk analysis; Spine; System testing; Independent Validation and Verification (IV&V); LSI; Requirements tracing; TF-IDF; Verification and Validation (V&V); dynamic link generation; information retrieval; precision.; recall;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.2006.3
Filename
1583599
Link To Document