開発試験のコベリティ、火星探査機Curiosityのソース・コード不具合解析に貢献|IT業界動向|トピックス|Computerworld

「米国Coverityの静的解析技術が活用されていることが明らかとなった・・・Coverity Static Analysisは、ソース・コードが書かれるのと同時に、不具合を発見し、修正できることが特徴・・・Curiosityではこのほか、米国Dellの解析技術やOSにウィンドリバーのVxWorksが使われていることなどが明らかになっている」らしい。