TPTP-ympäristöön
voi yhdistää erilaisia analyysien toimittajia sen toimintojen avulla. Kussakin analyysin toimittajassa voi olla erilaisiin analyyseihin tarkoitettuja
työkaluja, mutta työkalujen käyttöliittymä on yhtenäinen TPTP-analyysirakenteessa.
TPTP-ympäristöön kuuluvan Java-koodintarkistuksen
toimittajan avulla voit etsiä sääntöjen ja sääntöluokkien rikkomuksia käsiteltävistä
resursseista ajamalla staattisen analyysin. Analyysi luo
Analyysin
tulokset -näkymään raportin, jossa ovat tulokset määritettyjen sääntöjen
vastaisuuksista.
Java- ja Vianmääritys-perspektiiveissä
on oletusarvon mukaan analyysitoiminnot, mutta voit lisätä analyysitoiminnot myös muihin
perspektiiveihin mukauttamalla niitä. Sekä ulkopuoliset työkalujen toimittajat että
uusien työkalujen kirjoittajat voivat yhdistää erilaisia analysointitoimintoja
analyysirakenteeseen niin, ettei analyysitoimintojen käyttö muutu.