ニュース
静的解析ツール「Coverity」、対応言語とセキュアコーディング対応を強化：Synopsys Coverity
Synopsysが静的解析ツール「Coverity」の最新版「2018.01」を発表した。ScalaならびにVB.NETへのサポートが追加された他、SEI CERT Cコーディング標準規約（2016エディション）に完全対応した。
Synopsys（シノプシス）は2018年1月30日、静的解析ツール「Coverity」の最新版「2018.01」を発表した。ScalaならびにVB.NETへのサポートが追加された他、SEI CERT Cコーディング標準規約（2016エディション）に完全対応した。
Copyright © ITmedia, Inc. All Rights Reserved.
関連記事
Simulinkモデルの検証支援ツールがバージョンアップ、検証効率の向上を実現
キャッツは、モデルベース開発（MBD）で活用されるSimulinkモデルの検証支援ツール「ZIPC Tester Ver.3.0」を発売した。Simulinkのテスト入力波形を効率的に設計する機能やテスト結果の自動判定機能など、検証を効率化する機能を充実させた。
「MISRA C 2012」完全対応のC／C++対応テストツール
C言語／C++言語対応テストツール「C++test」がバージョンアップ、MISRA C 2012に完全対応した。
ソフトウェアテストのコストと品質（後編）―現場と「上」で一緒に考える
ソフトウェアテストの最大の問題である、「テストにかけるコスト」と「得られる品質」のバランスをどのように取るのか。この関係について、開発現場と経営者的視線である「上から目線」の双方から考えていく。
ソフトウェアテストのコストと品質（前編）―「テストの究極の問題」を考える
言うまでもなくソフトウェアテストは重要だが、IoTやAIなどの新しい概念によってソフトウェア自体の在り方が変わりつつある中、旧来からのテストを踏襲するだけでは成果は得られない。新時代のソフトウェアテストについて、考察する。
アーキテクチャチェック機能を強化したソフトウェア構造可視化ツールの最新版
ソフトウェアの構造と依存関係をDSM（Dependency Structure Matrix）を使って可視化する、米Lattixのアーキテクチャ分析ツール「Lattix 10」をテクマトリックスが販売開始した。