GrammaTech in der FachpressePresseveröffentlichungen über GrammaTech CodeSonar® und GrammaTech CodeSufer®
D´autres articles de presse sont disponibles par outil:
Testwell CTC++ Testwell CMT++/CMTJava Conformiq Tool Suite Elvior TestCast Imagix4D Verifysoft/test logiciel derniers articles (de tous les outils)
Actualités pour autres outils en anglais:
Nos communiqués de presse en français sont disponibles ici
Tools Ensure Reliability of Critical Software
In November 2006, after attempting to make a routine maneuver, NASA´s Mars Global Surveyor (MGS) reported unexpected errors. The onboard software switched to backup resources, and a 2-day lapse in communication took place between the spacecraft and Earth. ...
After successfully adapting CodeSonar to check for the NASAderived rules, GrammaTech transitioned the changes into its commercial version of the product in 2008. ...
NASA Spinoff 2011
Detecting Bugs in Safety-Critical Code - Advanced Static Analysis
When software is used for safety-criticalapplications, bugs aren´t just expensive annoyances - they can kill. Faced with such dire consequences, developers of safety-critical systems go to great lengths to prevent bugs from making it into the field. These measures are undeniably effective at reducing risk. Although there have been some famous catastrophic failures over the years, if medical devices or flight-control systems failed as often as most software fails, the headlines would be much grimmer. ...
Dr. Dobb´s Journal March 2008
Static vs. Dynamic Detection of Bugs in Safety-Critical Code
In the never-ending quest to produce high-quality software, traditional dynamic testing plays a fundamental role. The weakness of dynamic testing is that it is only as good as the test cases. To be effective, a great deal of effort must go into writing or generating good test cases, and doing so can be very expensive.
Recently, a new breed of static analysis tools has emerged that can find flaws without writing any test cases. ...
Embedded Technology® March 2008
last updated: 4 December 2015
© 2011-2015 Verifysoft Technology GmbH
Testwell CTA++, Testwell CTC++, Testwell CMT++ and CMTJava are products and trademarks of Verifysoft Technology GmbH, Offenburg (Germany)
CTC++ for Java and C# add-on is a product of Verifysoft Technology GmbH
Conformiq Tool Suite, Conformiq Modeler and Conformiq Designer are products and trademarks of Conformiq, Saratoga (USA)/Espoo (Finland)
CodeSonar® is a product and a trademark of GrammaTech, Ithaca/New York (USA)
Elvior TestCast is a product of Elvior, Tallinn (Estonia)
all other trademarks of this site are the property of their respective owners.