Programsko razvojno orodje, ki vzpostavlja sledljivost med posamezne programske zahteve specifikacij, oblikovni elementi, elementi oznake in test case. , Prav tako podpira različne povezano poizvedbo, analizo in poročila generacije zmogljivosti.