Un instrument de dezvoltare software-ul care stabilește trasabilitatea între software-ul structurate cerințele specificațiilor, elemente de design, elementele de cod și cazuri de testare. De asemenea, sprijină diverse asociate interogare, analiza şi raport generaţie capabilităţi.