Software

TraceLab Components

The University of Kentucky Software Verification and Validation Laboratory (SVVL) has developed TraceLab components that are available for download, as well as a process document for building components: Click here to go to the component catalog

RETRO

RETRO is a tool that addresses the recovery of traceability for artifacts containing unstructured textual narrative. RETRO uses information retrieval (IR) and text mining methods to construct candidate traces. To date, it has been used to trace requirements and design documents and collections of bug reports. The tool has evolved from a research only tool-kit into a more industrial tool directed at verification and validation (V&V) analysts as well as maintainers in several countries. The tool consists of a set of IR and text mining methods as well as a front-end that provides functionality for the analyst to use during the tracing process. [1]

(Please Contact Dr. Jane Hayes to access this software.)

CM-1
This dataset is a modified from NASA Metrics Data Program's CM-1 project. The dataset contains 235 high-level and 220 low-level requirements. The trace for the dataset was manually verified. The "theoretical true trace" (answerset) built for this dataset consisted of 361 correct links. Each of the high- and low-level files contain the text of one requirement element.
Provided by: Jane Hayes, University of Kentucky
Gantt
Project management tool (Gantt charts)
Provided by: E. A. Holbrook, J. Huffman Hayes, and A. Dekhtyar
MODIS
This dataset is based on open source NASA Moderate Resolution Imaging Spectroradiometer (MODIS) documents. The dataset contains 19 high-level and 49 low-level requirements. The trace for the dataset was manually verified. The "theoretical true trace" (answerset) built for this dataset consisted of 41 correct links. Each of the high- and low-level files contain the text of one requirement element. The files in the high and the low directory are in the same format.
Provided by: Jane Hayes, University of Kentucky

Requirements for Answer Set Voter
This document contains requirements developed by several traceability researchers for a link voter tool - a way to get community vetting of answer set elements. A subset of the requirements have been implemented in a prototype tool called Multi-user Input in Determining Answer Sets (MIDAS). MIDAS is available thorugh GitHub.
Provided by: Jane Hayes, Bill Kidwell, Carla Griesch, University of Kentucky, Jane Cleland-Huang, Notre Dame University, Giulio Antoniol, Ecole Polytechnique de Montreal

[1] REquirements TRacing On target (RETRO): Improving Software Maintenance through Traceability Recovery. Jane Huffman Hayes, Alex Dekhtyar, Senthil Sundaram, Ashlee Holbrook, Sravanthi Vadlamudi, Alain April. Innovations in Systems and Software Engineering: A NASA Journal (ISSE) 3(3): 193-202 (2007).