新着情報
採用情報
日本語
|
English
|
中文
ユーザーサポート
資料ダウンロード
お問い合わせ
3つの強み
組み込みソフト開発・検証ツール
Windows開発環境向けユニットテストツール
カバレッジマスターwinAMS
カバレッジマスターwinAMS MBTオプション
Linux開発環境向けユニットテストツール
QTE(Quality Town for Embedded grade)
パフォーマンス検証ツール
PLAS-Qlite
テストデータ生成ツール
PROMPT
C/C++ 組込み用プログラム仕様書作成・解析ツール
Caseplayer2
共有変数自動解析ツール
SharedVariableChecker2
静的解析ツール運用効率化ソリューション
Code Analysis Refiner
ISO 26262セーフティ&セキュリティ
Safilia(セイフィリア)
Seculia
HighTec社 TriCore/Power Architecture クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
HighTec社 Power Architecture 開発プラットフォーム
組込みシステム仮想検証環境
シミュレータベーストファミリ仮想検証ツール
モデルガイドラインチェック製品
Model Dr. MDiA
エンジニアリングサービス
DXE- エッジ向けデジタル技術から付加価値を探求する事業 –
生成AIソリューション
MCD -モデル中核開発事業-
MBD Back-to-Backテスト 定着運用サポート
モデルベース開発(MBD+MDD)のプロセス構築とツールの導入支援
IS&S
-サイバーセキュリティ 向け エンジニアリング支援-
ガイオ サイバーセキュリティサービス
(サイバーセキュリティ 現場業務)
ガイオ サイバーセキュリティサービス
(サイバーセキュリティワークパッケージ)
ガイオ サイバーセキュリティサービス
(サイバーセキュリティ 教育支援)
セキュリティ脅威分析支援サービス
セキュリティ検証支援サービス
大規模ソフトウェア開発者向けテストツール導入支援
QTE導入支援サービス
-機能安全開発効率化支援-
Safilia導入支援サービス
機能安全に対応した派生開発の影響分析サービス
SAQT -先進品質技術ソリューション事業-
テストパートナーSQV
ユニットテスト・オンザトラック
QEMUを使った仮想検証環境構築サービス
SAQT HILSエンジニアリングサービス
HILS テストシナリオ作成及びシナリオ実行自動化サービス
HILS 車両モデル作成サービス
HILS CANモデル作成サービス
リアルタイムハードとSimulinkモデルの割り付けソフト設定サービス
道路、交通流CGの設定・作成サービス
GAIO CLUB
導入事例
セミナーイベント
企業情報
ガイオ・テクノロジーの3つの強み
モダン型開発/従来型開発について
組込みソフト開発・検証ツール
Windows開発環境向けユニットテストツール
カバレッジマスターwinAMS
カバレッジマスターwinAMS MBTオプション
Linux開発環境向けユニットテストツール
Quality Town for Embedded grade(QTE)
パフォーマンス検証ツール
PLAS-Qlite
テストデータ生成ツール
PROMPT
C/C++ 組込み用プログラム仕様書作成・
解析ツール
CasePlayer2
共有変数自動解析ツール
SharedVariableChecker2
ISO 26262セーフティ&セキュリティ
Safilia
Seculia
HighTec社 クロスコンパイラ
HighTec社 TriCore 開発プラットフォーム
HighTec社 Power Architecture 開発プラットフォーム
組込みシステム仮想検証環境
シミュレータベーストファミリ仮想検証ツール
モデルガイドラインチェック製品
Model Dr. MDiA
エンジニアリングサービス
MCD -モデル中核開発事業-
リバースモデリング代行サービス
MBD Back-to-Backテスト 定着運用サポート
モデルベース開発(MBD+MDD)のプロセス構築と
ツールの導入支援
IS&S -サイバーセキュリティ 向け エンジニアリング支援-
サイバーセキュリティ 現場業務
サイバーセキュリティワークパッケージ
サイバーセキュリティ 教育支援
セキュリティ脅威分析支援サービス
セキュリティ検証支援サービス
-機能安全開発効率化支援-
Safilia導入支援サービス
機能安全に対応した派生開発の影響分析サービス
SAQT -先進品質技術ソリューション事業-
テストパートナーSQV
ユニットテスト・オンザトラック
SAQT HILSエンジニアリングサービス
HILS テストシナリオ作成及びシナリオ実行自動化サービス
HILS 車両モデル作成サービス
HILS CANモデル作成サービス
リアルタイムハードとSimulinkモデルの割り付けソフト設定サービス
道路、交通流CGの設定・作成サービス
大規模ソフトウェア開発者向けテストツール導入支援
QEMUを使った仮想検証環境構築サービス
企業情報
新着情報
採用情報
導入事例
セミナーイベント
資料ダウンロード
動画一覧
GAIOサイバーチャンネル
GAIO CLUB
お問い合わせ
プライバシーポリシー
情報セキュリティ基本方針
ユーザーサポート
Code Analysis Refiner
(静的解析ツール運用効率化ソリューション)
静的解析ツールの膨大な違反警告の処置を効率化
対象業界:自動車・製造業全般
HOME
>
組み込みソフト開発・検証ツール
>
Code Analysis Refiner
課題
解決
特徴
機能
こんな課題ありませんか?
膨大に出力される違反警告に対して、属人的且つ非生産的な工数が発生している
違反警告を処理するために必要な情報が複数存在し、探索するのに時間がかかる
静的解析ツールを再実行すると、ソース修正不要と判断した違反警告が再出力され、その度に再レビューの工数が発生する
解決
Code Analysis Refiner
が
静的解析ツール運用の効率化を支援します。
Code Analysis Refinerの特徴
OSSツール(CodeChecker)に対して車載ソフト開発に必要な機能を開発
Code Analysis Refinerは、CodeCheckerで不足する機能を補い、静的解析ツール運用にかかる作業時間を大幅に短縮します。
特徴 1
違反警告に関連する情報を1つのフレームワークで運用可能
違反警告の処置には、ソースコードやコーディングルールなど、複数の情報が必要です。CARでは、これらの情報を1つのフレームワーク内で統合管理できます。必要な情報に素早くアクセスでき、作業効率の大幅な改善を実現します。
特徴 2
AIによる学習機能を搭載
CARに蓄積された静的解析ツールが出力した違反警告やソースコード、過去の違反警告判定などをもとにAIが学習し、レビューや対応作業の効率を向上させます。
Code Analysis Refinerの機能
機能
01
車載ソフト開発に利用される商用静的解析ツール対応
機能
02
違反警告一覧画面(ブラウザ)
機能
03
違反警告の処置に必要な情報の閲覧
機能
04
レポート自動生成機能
機能
05
流用、派生開発における過去の違反警告レビュー結果の再利用
機能
06
違反警告の判定を効率化するAI機能
機能
01
車載ソフト開発に利用される商用静的解析ツール対応
車載ソフト開発が一般的に利用される商用静的解析ツールの出力警告データを、CARに取り込むために、コンバータを提供します。
機能
02
違反警告一覧画面(ブラウザ)
MISRAルールや重要度の分類(Mandatory、Required、Advisory)、レビューの実施状況といった各違反警告のプロパティをビジュアルに可視化することで、直感的に状況を把握できます。
また、特定の条件に合致する警告だけを簡単に絞り込むことができ、効率的な確認や管理が可能です。
機能
03
違反警告の処置に必要な情報の閲覧
違反警告の処置に必要な情報を、必要なタイミングで、1クリックで簡単に閲覧することができます。
機能
04
レポート自動生成機能
各違反警告の処置結果をもとに、MISRA Complianceに準拠したレポートを自動で生成することができます。また、各社独自のフォーマットや要件に合わせたレポートを出力できるよう、柔軟なカスタマイズ機能も搭載しています。
機能
05
流用、派生開発における過去の違反警告レビュー結果の再利用
流用や派生開発時には、過去に実施した違反警告レビューの結果を再利用することができます。
静的解析ツールを再実行した際に、ソースコードの修正が不要な「過剰検出」や「逸脱許可」と判定された違反警告が再出力された場合、ソースコードに差分がなければ、過去のレビュー結果をそのまま適用することができ、レビュー作業の効率化を実現します。
機能
06
違反警告の判定を効率化するAI機能
CAR保持データを活用してAIが学習を行います。
これにより、各違反警告に対して「バグ判定」「過剰検出」「逸脱許可」のスコアを出力し、違反警告ごとの処置内容を予測することができます。さらに、スコアに基づいて違反警告処置の優先順位付けが可能となり、レビューや対応作業の効率化に貢献します。
資料ダウンロード
各資料のダウンロードはこちら
資料ダウンロード
お問い合わせ・お見積りはこちら
03-4455-4767
[代表]9:00~17:30
(土・日・祝日・年末年始・夏季休暇を除く)