Ohjelmiston kehitystyökalu, jonka vahvistetaan eritellyt ohjelmiston vaatimusten eritelmät, rakenne-elementtejä, koodin osia ja testin tapauksissa välistä jäljitettävyyttä. Se tukee myös eri liittyvä kysely, analysointia ja raportin sukupolven ominaisuuksia.