|
|
|
|||||
|
|
|
|
|
|
|
|
|
|||||||
 |
|
|
|
|
||
|
Other News: NEW! Download Free Trial of SofCheck Inspector™... SofCheck Chairman and CTO Tucker Taft presents at ADA UK 2007. Watch the video! SofCheck partners with Charles River Analytics to win SBIR for transition tools for ada SofCheck Chairman and CTO Tucker Taft speaks at IEEE Homeland Security Conference SofCheck Chairman and CTO Tucker Taft is keynote speaker at SIGAda 2006 in Albuquerque, NM SofCheck announces Malware Detection capability in SofCheck Inspector&trade tool set SofCheck Names Caruso to Advisory Board... |
The
Boeing Company Selects SofCheck’s Error Detection Technology for
Quality Assurance and Testing of Advanced Avionics System |
|||||
SofCheck Inspector™ for Ada finds flaws early in the development process, assuring quality of today’s complex, mission critical applications, like those used in transportation, finance, communications and health care. BURLINGTON, Mass. (June 13, 2006) – SofCheck, Inc., a provider of software analysis and verification technology, today announced that The Boeing Company has selected SofCheck Inspector™ for Ada to perform analysis and quality assurance on an advanced avionics system. SofCheck Inspector for Ada offers sophisticated error detection which is vital to assuring the quality of today’s increasingly complex mission critical applications, like those utilized in the transportation, financial services, communications and health care industries. “Software powers many of the products and services that we rely on every day—from automobiles and medical devices to ATMs and mobile phones,” said Tucker Taft, chairman and CTO of SofCheck. “As applications have become more complex and more safety and mission critical, organizations like Boeing recognize that manual error detection and quality assurance cannot adequately test systems to the level required by their customers and government regulations.” SofCheck Inspector is available for Ada and Java. A complement to traditional
run-time testing tools, it helps eliminate programming errors by performing
advanced static analysis on the compiled program source code. The SofCheck
Inspector family utilizes static control-flow, data-flow, and value propagation
techniques to identify places where run-time errors could occur. This
automated software quality technique provides 100 percent path coverage
and enables identification and elimination of flaws very early in the
software life cycle—before run-time testing. The system runs unattended,
analyzes about 100,000 lines of code per hour, and does not require any
application domain knowledge to configure and run. About The Boeing Company Boeing is the world’s leading aerospace company and the largest manufacturer of commercial jetliners and military aircraft, with capabilities in rotorcraft, electronic and defense systems, missiles, satellites, launch vehicles and advanced information and communication systems. Boeing’s reach extends to customers in 145 countries around the world, and is the number one U.S. exporter in terms of sales. (www.boeing.com) About SofCheck Founded in 2002, SofCheck develops technology that
enables software developers and IT organizations to detect and eliminate
bugs that can cause crashes or numeric overflows earlier in the development
cycle, improving overall software quality and reducing time-to-market.
SofCheck’s flagship product, SofCheck Inspector, is a complement
to traditional run-time testing tools, employing advanced static error
detection technology and push-button convenience to find lurking defects
in software. SofCheck is a privately held company whose clients include:
Raytheon, Northrop Grumman and United Technologies. To learn more, visit
www.sofcheck.com, or contact SofCheck by phone +1 (781) 750-8068 ext
230, Fax +1 (781) 750-8064. ### Media Contact:
|
||||||
|