Synopsys Coverity

サポート言語に「Fortran」を追加、静的解析機能をさらに強化

Synopsys（シノプシス）は、Fortranで開発されたソースコードの欠陥や異常を特定するための静的解析ツールを手掛けるForcheckからの技術資産買収を完了した。

　Synopsys（シノプシス）は2017年1月12日、Fortranで開発されたソースコードの欠陥や異常を特定するための静的解析ツールを手掛けるForcheck（本社：オランダ）からの技術資産買収を完了したと発表した。

　Fortranは、科学技術計算に適したプログラミング言語として知られており、石油、ガス、軍事、防衛、航空宇宙などの業界向けソフトウェアの開発で一般的に用いられている。

　Forcheckから買収した技術をシノプシスが提供する静的解析ソリューション「Coverity」に統合することで、Fortranで開発されたソフトウェアのソースコード解析にも対応できるようになる。Coverityでは、既に「C／C++」「Objective-C」「C#」「Java」「JavaScript」「PHP」「Python」「Ruby」「Node.js」「Android」といったプログラミング言語をサポートしている。このたびFortranが加わることで、シノプシスが掲げる“幅広いソフトウェア開発企業に向けて最高レベルのソフトウェアテストテクノロジーを拡充していく”という戦略がさらに強化されることとなる。

　今回の技術資産買収を受け、シノプシス ソフトウェア・インテグリティ・グループ 上級副社長兼ジェネラルマネジャーのAndreas Kuehlmann氏は次のように述べている。「当社は、ビジネス、ミッション、セーフティクリティカルなソフトウェアのセキュリティとクオリティーの向上を実現するソフトウェアインテグリティプラットフォームの拡充に重点的に取り組んでいる。今回の買収がもたらす優れた解析機能の追加により、Fortranベースのクリティカルな基盤システムの開発、保守に関わる企業および団体にも、当社のソフトウェアインテグリティプラットフォームを提供できるようになる」。

製品／サービス（組み込みソフト）

この連載の記事をもっと見る

この記事の著者

新着ホワイトペーパー PR

• 製品資料
  [株式会社 Green AI] 自動車業界には好機　脱炭素×コスト削減×現場改善を実現するエネルギー戦略
• 製品資料
  [株式会社 Green AI] 脱炭素投資をすぐ回収したい　自動車業界にも有効なCO2削減アプローチ
• 市場調査・トレンド
  [スマートジャパン編集部] 「ペロブスカイト太陽電池」の普及戦略が公表　政府が目指すコスト・導入量のロードマップを解説
• 市場調査・トレンド
  [スマートジャパン編集部] 導入が加速する再エネ・系統向け蓄電システム 　コスト・収益性の現状分析
• 技術文書・技術解説
  [スマートジャパン編集部] いまさら聞けない「ペロブスカイト太陽電池」の基礎知識と政策動向

関連記事

• 

  ソースコードに潜む重大な欠陥を早期に発見、静的解析ツール「Coverity 8.0」

• 

  C／C++対応テストツールとソフト開発・テスト管理基盤の新版をリリース

• 

  ソフトウェアテストのコストと品質（前編）―「テストの究極の問題」を考える

• 

  「Simulink」を利用してCソースコードや制御アルゴリズムの並列化を実現