SofCheck督察是一個靜態分析工具,發現錯誤的Java字節碼。它採用靜態控制流,數據流,以及可能的值設定傳播(PVP)技術,以查明可能發生運行時錯誤的地方。這種自動化的軟件質量技術提供了100%的路徑覆蓋,並允許缺陷被識別並消除在軟件生命週期的早期,在運行時之前。督察生成表徵的Java代碼的行為,並為白盒代碼檢查有用的前置條件和後置條件。它可以檢測競態條件,索引越界,溢出,除以零,死代碼,未使用的作業,考試總是一種方式,或拋出的異常。這是支持多達200班有45天的試用版。該產品包含一個版本的Sun的JRE的
要求:
的Windows XP / 2003服務器
限制:
45天試用期
評論沒有發現