A Traceability Technique for Specifications

Author

Abadi, Aharon ; Nisenson, Mordechai ; Simionovici, Yahalomit

Author_Institution

IBM Haifa Res. Lab., Haifa Univ. Campus, Haifa

fYear

2008

fDate

10-13 June 2008

Firstpage

103

Lastpage

112

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Program Comprehension, 2008. ICPC 2008. The 16th IEEE International Conference on

Conference_Location

Amsterdam

ISSN

1092-8138

Print_ISBN

978-0-7695-3176-2

Type

conf

DOI

10.1109/ICPC.2008.30

Filename

4556122