静的解析ツール「Coverity」、対応言語とセキュアコーディング対応を強化：Synopsys Coverity

Synopsysが静的解析ツール「Coverity」の最新版「2018.01」を発表した。ScalaならびにVB.NETへのサポートが追加された他、SEI CERT Cコーディング標準規約（2016エディション）に完全対応した。

» 2018年02月20日 07時00分公開

[渡邊宏，TechFactory]

　Synopsys（シノプシス）は2018年1月30日、静的解析ツール「Coverity」の最新版「2018.01」を発表した。ScalaならびにVB.NETへのサポートが追加された他、SEI CERT Cコーディング標準規約（2016エディション）に完全対応した。

◎プレミアムコンテンツ

新着

» IoT検定模試（9）IoTシステムによる生産管理　

» ロボット活用でモノづくり現場を革新するオムロンのビジョン　

» 工場システム担当者が知っておくべきセキュリティ動向とその対策　

» IoT検定模試（8）IoTで使われるさまざまなネットワーク　

» 芝浦メカトロニクスとジャパンディスプレイが「従量制クラウドCAE」を徹底検証　

» 【活用事例】総合おもちゃメーカーのエポック社が実践する3Dモノづくり　

⇒⇒「新着ホワイトペーパー」をチェックする

#CmsMembersControl .CmsMembersControlIn {width:100%;background:url(https://image.itmedia.co.jp/images/spacer.gif) #DDD;opacity:0.05;filter:progid:DXImageTransform.Microsoft.Alpha(Enabled=1,Style=0,Opacity=5);z-index:1;}

続きを閲覧するには、ブラウザの JavaScript の設定を有効にする必要があります。

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」をテクマトリックスが販売開始した。