Title :
A Traceability Technique for Specifications
Author :
Abadi, Aharon ; Nisenson, Mordechai ; Simionovici, Yahalomit
Author_Institution :
IBM Haifa Res. Lab., Haifa Univ. Campus, Haifa
Abstract :
Traceability in software involves discovering links between different artifacts, and is useful for a myriad of tasks in the software life cycle. We compare several different Information Retrieval techniques for this task, across two datasets involving real-world software with the accompanying specifications and documentation. The techniques compared include dimensionality reduction methods, probabilistic and information theoretic approaches, and the standard vector space model.
Keywords :
formal specification; information retrieval; software maintenance; system documentation; dimensionality reduction methods; documentation; information retrieval techniques; information theoretic approaches; probabilistic approaches; software life cycle; specifications; standard vector space model; traceability technique; Code standards; Documentation; Functional analysis; Information analysis; Information retrieval; Large scale integration; Manuals; Performance analysis; Programming; Software systems; Information Retrieval; Link; Software; Specifications; Traceability;
Conference_Titel :
Program Comprehension, 2008. ICPC 2008. The 16th IEEE International Conference on
Conference_Location :
Amsterdam
Print_ISBN :
978-0-7695-3176-2
DOI :
10.1109/ICPC.2008.30