Software Analysis and Verification
We Help You Build Quality In From Day One
SofCheck, Inc. was formed in April 2002 to support quality-oriented software development teams.
SofCheck has three technology areas:
SofCheck's AdaMagic Technology was developed at Intermetrics, Inc. starting in 1993. The development was led by the same team that designed the Ada 95 standard, and an AdaMagic-based compiler was the first Ada95 compiler validated under the Ada 95 version of the ACVC/ACATS test suite.
The AdaMagic technology suite includes an Ada95 front end adaptable to generate various different intermediate representations, and a portable Ada95 run-time system suitable for both bare board and RTOS-based environments. Existing versions of the AdaMagic front end generate Java byte codes (AppletMagictm), optimized ANSI C, and various other more "conventional" compiler ILs.
AdaMagic technology is used in the Green Hills Software AdaMultitm product line, the Aonix ObjectAdatm product line, the SHARCAdaMagic compiler for the Analog Devices SHARC DSP, and for other proprietary chips. The ANSI-C-generating variant of the AdaMagic front end has been used on various projects enabling existing Ada code to be used in environments where there is no "traditional" Ada compiler available.
SofCheck has developed automated bug detection technology based on static analysis of source code. SofCheck's Static Analyzer allows you to Fix Software Before It Breakssm, finding and fixing bugs when it is cheapest to do so, even before initial run-time testing. The first version of the SofCheck Analyzer will be released in February, 2004. Potential customers interested in beta testing the tool should contact info@SofCheck.com. The SofCheck Analyzer is initially targeted at Ada and Java source code. Support for C, C++, and C# is planned.
SofCheck is developing a software development portal, SofPorttm. This portal provides web-based collaboration, bug tracking, to-do lists, source code management and browsing, quality metrics, ISO 9001 and SEI CMM templates, etc., to help distributed software development teams track and improve the quality of their software systems in a fully web-based framework.
For more information, contact Tucker Taft, President, SofCheck, Inc.
| Phone | 781-750-8068 |
| FAX | 781-750-8064 |