|
|
|
|||||
|
|
|
|
|
|
|
|
|
|||||||
 |
|
|
|
|
||
| SofCheck Inspector™ for Java Ranks High in Fault Detection, Low in False Positives, Says Recent Research Study | ||||||
|
Other News: NEW! Download Free Trial of SofCheck Inspector™... SofCheck Names Caruso to Advisory Board... |
BURLINGTON, Mass. (May 21, 2007)—
SofCheck Inspector for Java was one of nine different Java static
analysis tools, among five open source tools and four commercial offerings, recently
evaluated in a study by researchers at the
SofCheck Inspector has unique capabilities. It uses static control flow, data flow, and possible-value-set propagation techniques to identify places where run-time errors could occur. This automated software quality technique automatically determines the pre- and postconditions of every method in the system and uses these to predict where errors could occur. Inspector provides 100% path coverage and allows flaws to be identified and eliminated very early in the software life cycle, before run time. Its low false positive rate is attributable to the fact that it performs deep analysis of the semantic underpinnings of the program rather than simple syntactic or programming style checking. About SofCheck SofCheck is a privately held company whose clients include: Raytheon, United Technologies, and the Boeing Company. For further information, visit www.sofcheck.com, contact SofCheck by phone +1 (781) 750-8068, Fax +1 (781) 750-8064, or E-mail info@sofcheck.com.
Media Contact:
|
|||||
|