When
critical systems cannot fail — where human life may be at
risk — software applications must meet the highest standards
of quality, reliability and integrity.
SofCheck’s
technical team has acquired subject matter expertise in safety critical
solutions through software development on projects such as NASA’s
Static Interface Analysis Tool (SIAT), the Space Shuttle Miniaturized
Airborne GPS Receiver (MAGR), and the Ada 95 programming language.
Our static error detection and optimizing compiler technologies
leverage this expertise, enabling software development teams to
deliver superior quality code, in a shorter timeframe, with the
highest degree of confidence.
Developers in military, aerospace, automotive, and healthcare markets
can maximize their software quality efforts through the use of SofCheck’s
sophisticated technology solutions.
Major
application failure in a business critical setting can have a substantial
negative impact on an enterprise’s operations. In today’s
highly automated and online marketplaces, such applications include
financial transactions, customer balances,
time management, employee data, accounting, and manufacturing. Developing
these error-free software systems is a complex, time-consuming and
costly process, compounded by time-to-market demands. In this environment,
early detection of errors can significantly reduce costs, improve
code quality, and decrease product release schedules.
Industries demanding high integrity, highly reliable and secure
software systems — such as financial services, banking, insurance,
and travel — will find SofCheck solutions scalable, easily
deployable, and compatible with existing systems and complementary
technology.
The Open Source Software (OSS)
movement is one of the most important trends in software today. As OSS becomes more complex
and mission critical it is becoming more important that advanced testing and quality tools be
used to assist the communities to maintain the excellent record of releasing quality software
they have had to date. To assist in that effort SofCheck, Inc. is offering
SofCheck Inspector for Java to qualifying Open Source organizations that manage and
distribute Open Source Software under a free licensing agreement.
Currently, SofCheck is offering this special licensing to
The Apache Foundation,
The Eclipse Foundation,
and ObjectWeb.
This is a no charge, annually renewable license to use SofCheck Inspector on code that
itself is open source.
SofCheck’s
technical team has acquired subject matter expertise in safety critical
solutions through software development on projects such as NASA’s
Static Interface Analysis Tool (SIAT), the Space Shuttle Miniaturized
Airborne GPS Receiver (MAGR), and the Ada 95 programming language.
Our static error detection and optimizing compiler technologies
leverage this expertise, enabling software development teams to
deliver superior quality code, in a shorter timeframe, with the
highest degree of confidence. 
balances,
time management, employee data, accounting, and manufacturing. Developing
these error-free software systems is a complex, time-consuming and
costly process, compounded by time-to-market demands. In this environment,
early detection of errors can significantly reduce costs, improve
code quality, and decrease product release schedules.