TechFactory >
組み込みソフト >
静的解析ツール「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エディション）に完全対応した。
関連記事
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」をテクマトリックスが販売開始した。
Copyright © ITmedia, Inc. All Rights Reserved.
会員登録がまだの方はこちら
豊富なホワイトペーパーの中から、製品・サービス導入の検討に役立つ技術情報や導入事例などを簡単に入手できます。
特集
- 設計・解析業務におけるAI活用
- 製造現場におけるデータ活用の実態調査
- 3Dプリンタ利用動向調査
- CAD利用動向調査
- 研究・開発職のデジタル活用調査
- 安全安心なIoT機器実現の課題
- 電気設計者の課題と解決
- “つながる工場”の現状と課題
- 製造業におけるAI開発および活用の実態
- 設計・製造現場における品質管理
- 製造業IoTセキュリティ
- IoT時代の組み込みソフトウェア品質
- IoT時代のセキュリティリスクに備える
- 加速する工場と生産設備のデジタル化
- 製造業の省エネ対策と課題
- モノづくり設計者のワークスタイル調査
- ［PR］ビル・施設の管理・運用DX
- ［PR］設計から始まる サステナブルなモノづくり
- ［PR］狙われるサプライチェーンの脆弱性 〜サイバー攻撃からサプライチェーンを守るゼロトラストセキュリティ〜
- ［PR］IoT時代の組み込み開発環境〜柔軟な開発フロー実現のカギとなるアプローチ〜
- ［PR］IoT向けSIM 〜IoTネイティブな製品／サービス開発〜
- ［PR］製造業の品質を底上げする設計現場DX 〜情報の伝達・共有 スキルマネジメントをデジタルで改善〜
- ［PR］モノづくりのDXは製造現場のデータ分析から
- ［PR］設計者の技術伝承〜未来の設計者に向けた3Dデータ活用〜
- ［PR］製造業リスキリング 〜製造現場のスキルアップデート〜
- ［PR］工場セキュリティ 〜工場を守るOTゼロトラストの実現〜
- Pickup Contents 一覧 ［PR］
ITmediaはアイティメディア株式会社の登録商標です。