単体・結合テスト対応 ファジングツール

Mayhem for Code
自律的にソフトウェアのバグや脆弱性を検出し、テスト作業を大幅に削減する単体・結合テスト対応ファジングツールです。

Mayhem for code
製品情報はこちら →ファズデータを活用した高精度なバグ・脆弱性検出とテストカバレッジの最大化
Mayhem for Codeは、自律的にソフトウェアのバグや脆弱性を検出し、テスト作業を大幅に削減する単体・結合テスト対応ファジングツールです。（ファジングとは、ターゲットに大量のデータを入力し、その応答や挙動を監視するテスト手法です。）
Mayhem for Codeは、特許技術であるシンボリック実行エンジンとフィードバックループを組み合わせた独自のファジング技術
により、高精度なテストケースの生成およびテスト実行を自動的に繰り返すことで、カバレッジを最大化しながらプログラムの奥深くに潜むバグや脆弱性を発見します。膨大な数のテストを自動的に実行するため、開発者の労力やスキルに依存せず、バグや脆弱性の検出と高いカバレッジの実現を効率的に行うことができます。また、既存の開発プロセスと連携し、CIパイプラインに統合することで、DevSecOpsワークフローの一部として運用することも可能です。

継続的に分析し、欠陥を発見

膨大なテストケースの自動生成検出されたセキュリティ脆弱性に偽陽性が含まれない

Mayhem for Codeは、テストを繰り返し行いながらプログラムの情報を取得していきます。
学習が深まっていくにつれ、より深い欠陥の分析が可能となるとともに、テストのカバレッジ (網羅率) が最大化されます。

フィードバックループを用いたファジング手法に特許を取得したシンボリック実行エンジンを組み合わせた技術を利用して、アプリケーションの挙動に合わせてテストケースをカスタムしながら自動生成し、手動でのテストケース作成作業を大幅に削減します。

報告されたすべての結果は、CWE (Common
Weakness Enumeration) に関連する脆弱性の証拠として一覧で確認できます。
開発者は偽陽性を考慮することなく修正作業に取り掛かることができます。

Mayhem for Codeの構成イメージ
手動アップロード(Mayhem run)

チェックインコード
ソースコード管理

トリガー

結果を確認

CI/CD

自動アップロード(Mayhem run)

独自のファジング技術によりソフトウェアの欠陥を検出
メモリリークや潜在的な脆弱性を示す異常のパターンも識別可能•••毎秒数百のテストを自動的に作成して実行し、未実行のパスを減らしていきます。
シンボリック実行とガイド付きファジングを用いた機械学習にて、コードカバレッジを継続的に拡大します。
継続的なテストをバックグラウンドで実行し、ツール任せで新たな欠陥の検出、カバレッジの拡大を実現します。

１．テストがされていない
条件を見つける

2．テストがされていない
コードをテストする

テストしていない

３．エクスプロイト (Exploit)

テストOK？

脆弱性発見

テストしていない？
※エクスプロイト (Exploit) とは、ソフトウェアの脆弱性やセキュリティ上の欠陥を利用した攻撃のこと。

ソフトウェア開発ライフサイクル（SDLC）のシフトレフト
Mayhem for Codeの優れた点のひとつは、ソフトウェア開発ライフサイクル (SDLC) の初期段階で活用できることです。
一般的にファジングは開発終盤のテストの一部として実施されますが、Mayhem for Codeは単体・結合テストフェーズにて利用できるため、ファジングのシフトレフトを実現します。

Parasoft C/C++testと連携
C言語/C++言語対応テストツール「Parasoft C/C++test」の単体テスト機能に、Mayhem for codeのファジングの要素を取り入れることで、通常人手では考慮しきれない範囲を含む膨大なテストパターンを効率的にカバーできるようになります。

C++

また、「Parasoft C/C++test」のカバレッジ計測機能を活用できるため、C0、C1、MC/DCなどの9種類のカバレッジを計測し、実行されたファジング・テストの網羅性を可視化することも可能になります。

C

Mayhem for Codeは、航空宇宙、自動車、およびハイテク産業、米国国防省など、さまざまな開発現場で採用された実績があります。ソフトウェア開発サイクルにおける継続的なセキュリティテストを支援します。
【お問い合わせ先】

テクマトリックス株式会社
ソフトウェアエンジニアリング事業部〒108-8588 東京都港区港南1丁目2番70号 品川シーズンテラス 24F
TEL：03-4405-7853
URL：https://www.techmatrix.co.jp/product/mayhem/
E-MAIL：se-info@techmatrix.co.jp【開発元】

バイナリ解析OSS管理ツール

Insignary Clarity
バイナリファイルからOSSを抽出し、OSSの脆弱性、ライセンスを特定するバイナリ解析OSS管理ツールです。

バイナリファイルからSBOMを生成、オープンソースの脆弱性／ライセンス管理
Insignary Clarity（インサイナリー クラリティ）は、特許取得済みのディープフィンガープリンティングおよびマッチングアルゴリズ
ムを使用して、バイナリからオープンソースソフトウェア（OSS）コンポーネントを抽出し、その脆弱性およびライセンスを特定する
バイナリ解析OSS管理ツールです。バイナリを対象にOSSの混入チェックを行うことができるため、ソースコードが入手できない対象についても、脆弱性／ライセンスコンプライアンス問題の有無を確認することができます。

サプライチェーンにおけるOSS管理の課題を抱えていませんか？
サプライチェーン

OSSの利用は広く普及し、増加しています。
一方でソフトウェアサプライチェーンの複雑化、不透明化が進み、ソースコードが提供されずバイナリでのみ提供されるケースも少なくありません。
そのため、使用されているOSSの把握が難しく、潜在的なセキュリティ問題やライセンスコンプライアンス遵守における課題が多くあります。

OSSコンポーネントの複雑な供給網

そこで、Insignary Clarityをおすすめします。

Insignary Clarityは、バイナリファイル内のOSSを自動的に識別し、OSSの問題を効果的に発見することで、サプライチェーンの監視に役立ちます。
Insignary Clarityは、バイナリに残るソースコード情報の断片を基にOSSを探索するため、委託元委託先・バイナリコンポーネント用のリポジトリがない。
・ハッシュベースのマッチングが難しい。

OSS
IDといったケースにも対応できます。
また、本テクノロジーはスニペットマッチにも対応し、バイナリスキャンでありながらOSSの部分利用も検出することができます。

バイナリのみ納品

バイナリをスキャン

OSSの脆弱性とライセンスをレポート

Insignary Clarityの技術
Insignary Clarityは、ターゲットバイナリをスキャンして「フィンガープリント」を抽出し、多数のOSSコードリポジトリから収集されたフィンガープリントと比較する特許取得済み技術ディープフィンガープリンティングを用いています。

1. OSSコンポーネントのフィンガープリントのデータベースを構築
2. ターゲットバイナリから文字列、関数、変数名などを基にフィンガープリントを抽出
3. ターゲットバイナリから抽出したフィンガープリントを、OSSのフィンガープリントデータベースと照合し、OSSの脆弱性とライセンスを適切に管理するためのSBOMを生成
4. 利用されているOSSに含まれる脆弱性とライセンスをレポート

Insignary Clarityの特長•

リバースエンジニアリングを行わずに、バイナリからOSSを検出•

単一のバイナリ内の複数のOSSコンポーネントとバージョンを検出•

LITIGATORトロールに関連するOSSコンポーネントをハイライト•

包括的なSBOM（ソフトウェア部品表）を提供•

クラウドベースまたはオンプレミスの導入をサポート•

独自のExcel形式のレポートに加え、SPDX、CycloneDX形式に対応•

RESTful APIをサポート【お問い合わせ先】

テクマトリックス株式会社
ソフトウェアエンジニアリング事業部〒108-8588 東京都港区港南1丁目2番70号 品川シーズンテラス 24F
TEL：03-4405-7853
URL：https://www.techmatrix.co.jp/product/clarity/
E-MAIL：clarity-info@techmatrix.co.jp【開発元】

for IEC 61508
for ISO 26262
for IEC 62304

C言語/C++言語対応 静的解析・単体テストツール C/C++testソフトウェアの品質向上と効率的な開発の実現をサポート● コーディング規約チェック● フロー解析● メトリクス計測● 単体テスト● カバレッジ計測● カバレッジアドバイザー● アプリケーションモニタリング● 組み込みソフトウェア開発での利用● CI/CDプラットフォーム連携● Docker連携● GoogleTest連携● レポート生成● 機能安全認証取得● コンプライアンスパック

製品情報はこちらから

C言語/C++言語対応 静的解析・単体テストツール

MISRA、AUTOSAR、CERT、CWEなどのコーディング規約チェック、単体テスト、カバレッジの計測などさまざまな要件に対応

2

静的解析

動的解析

静的解析でバグを早期発見、保守性や再利用の指標となるメトリクスを計測

テストドライバー・スタブ・テストケースの生成、カバレッジアドバイザー機能で、単体テストを効率化

コーディング規約チェック機能およびプログラムのあらゆるパスをシミュレートするフロー解析でバグを早期に発見します。
また、複雑度が高くバグが入り込みやすいコードを検出できます。早期にリファクタリングすることで、バグの未然防止とテストしやすいソースコードの実装が可能です。

GUI操作で「テストケース」の作成や「スタブ」の生成、スタブの振る舞いの設定ができます。
カバレッジを計測して単体テストの網羅性を視覚的にレポートします。また、効率的にカバレッジを向上させるためのテストデータ作成を支援します。

・コーディング規約チェック
・フロー解析
・メトリクス計測・単体テスト・カバレッジ計測
・カバレッジアドバイザー
・アプリケーションモニタリング
・組み込みソフトウェア開発での利用

安全性とセキュリティを担保したソフトウェア開発

コーディングガイドラインの準拠、機能安全規格に準拠したテストツール
C/C++testは、静的解析、単体テスト、カバレッジの計測、実行時メモリエラー検出、効率的な運用や規格順守を補助する機能などを搭載したC言語/C++言語対応のオールインワンテストツールです。
MISRA、AUTOSAR、CERT、CWEなどで定められた規約に基づくコーディングの支援や、単体テストやアプリケーション実行時に自動的にカバレッジを計測するなど、さまざまな要件に対応し、ソフトウェアの品質向上とテスト工数の大幅削減をサポートします。

補助機能

コンプライアンスパック

効率的な運用や規格遵守を補助する機能を搭載

MISRA C:2023/MISRA C++:2023のルールに完全対応

C/C++testは、効率的な運用を補助する各機能を搭載。
第三者認証機関であるTÜV SÜD社よりIEC 61508およびISO26262、IEC 62304に準拠したテストツールとして認証を取得済みです。また、CI/CDプラットフォーム連携、Docker連携、GoogleTest連携、レポート生成など各種機能を搭載しています。

MISRA、AUTOSAR、CERT、CWEなどの遵守状況をリアルタ
イムに表示するダッシュボード画面の提供、コーディングガイド
ラインに則った遵守サマリーレポートや逸脱のレポートを自動生成します。

・CI/CDプラットフォーム連携・Docker連携
・GoogleTest連携
・レポート生成・機能安全認証取得

・MISRA C:2023（MISRA C:2012）
・MISRA C++:2023
・AUTOSAR C++14コーディングガイドライン
・SEI CERT C コーディングスタンダード
・SEI CERT C++ コーディングスタンダード
・CWE TOP 25

対応規格を一部抜粋

3

静的解析●独自のコーディングルールの作成

コーディング規約チェック

バグの作り込みを抑制、ソースコードの可読性と保守性を強化●MISRA・AUTOSARなどのコーディングガイドライン対応ルールを搭載●SEI CERT C/C++、CWE TOP 25などセキュリティルールを搭載●独自コーディングルールの作成、新規ルールセットの追加●重複コード検出機能を装備
高い信 頼性と安 全 性を実現するためのソフトウェア設 計 標 準規格「M ISR A 」●コーディングルールセット（抜粋）｢AUTOSAR」に対応、セキュリティ対策に有効な「CERT」「CWE TOP 25」にも対・MISRA C:1998

・SEI CERT C・MISRA C:2004

・SEI CERT C++

・MISRA C:2023（MISRA C:2012）

・CWE TOP 25

・MISRA C++:2008

・OWASP TOP 10・MISRA C++:2023

・DISA ASD STIG

・AUTOSAR C++14

・PCI DSS

・HISソースコードメトリクスチェックルール

・UL2900

・FDA C/C++ 推奨ルール

・IPA/SEC コーディング作法ガイド

応しています。
バグの作り込みを防止し、ソースコードの可読性と保守性、拡張性に優れた高品質で寿命の長いソースコードの実装を支援します。また、ユーザー定義コーディングルールを作成する「RuleWizard」を搭載しています。社内やプロジェクトのコーディ
ング規約に合わせて、独自のコーディングルールに修正したり、新規にルールセットを作成できます。他にも、重複コード検出機能を備えています。

●ファイルをまたがる問題を検出（イメージ図）

フロー解析

ファイルA

プログラムのあらゆるパスをシミュレートし、バグを早期に発見●ソースコードを解析し、関数・ファイルにまたがるバグを自動的に検出●バグ発生までのデータフローを可視化

ファイルB

フロー解析は、プログラムを静的に解析して、プログラム実行時に発生し得る問題を検出します。複雑なアプリケーションでも、複数のファイル、メソッドにまたがるパスを自動的にトレースし、NULLポインターの間接参照やバッファオーバーフローなどプログラムの動作に致命的な影響をもたらすバグを早期に発見します。また、Parasoft DTPと連携することにより、フロー解析におけるデータフローのシミュレート結果をより詳しく表示できます。

ファイルC

違反を一覧表示

この実行パスを同時に経由すると問題が発生●検出可能な項目（抜粋）・メモリリーク/リソースリーク・配列の境界外アクセス

・バッファオーバーフロー・イテレーター範囲外アクセス

・NULLポインターの参照

・セキュリティ脆弱性

・未初期化変数の参照

・デッドロック

・整数オーバーフロー

・不適切な排他制御

フロー解析トレースの詳細を表示

・ゼロ除算

メトリクス計測・ファイル数ソフトウェアの品質を定量的に評価

・McCabe Cyclomatic Complexity

・空白行数●コードの保守性や再利用性の指標となるメトリクスを計測●複雑度が高くバグが入り込みやすいコードを検出

・Halstead complexity

オブジェクト間の結合や継承の深さなど、コードの保守性や再利用性の指標となるメトリクスを計測し、一覧データとして確認が行えます。それぞれのメトリクスのしきい値を任意の値に変更できるため、プロジェクトの基準に違反しているコードを瞬時に特定できます。

4●計測できるメトリクスの例
・オブジェクト間の結合
・コメントの割合/行数
・ファンアウト・クラスの継承の深さ
・凝集性の欠如
・保守性インデックス
・ネストの深さ・コード行数・メソッドのパラメータ数
・クラス数

動的解析
●テストケース・スタブを１画面でコントロール

単体テストテストケース事前条件設定

GUI操作でテストケースとスタブを生成。
テストの実行と回帰テストを自動化●テストドライバー、スタブ、テストケースを生成し、ソフトウェアの単体テストを自動化●Excelで管理しているテストデータ、CppUnitのテストケースを活用
単体テスト時の課題であった「テストのためのコーディング」を行う必要はありません。

スタブ振る舞い条件設定
テスト対象関数 呼び出し
テスト結果確認

C/C++testはGUI操作のみで「テストケース」の作成や「スタブ」の生成、さらにスタブの複雑な振る舞いの設定も可能です。また、テストケースとスタブを1つの画面でコントロールできるため、管理、メンテナンスを容易に行うことができます。
テストケース、スタブを作成するための工数およびこれらを管理、メンテナンスするための工数を大幅に削減します。また、外部テストデータの取り込みや、既存のテスト資産のテストコード生成
スタブコード再利用が可能です。

●9種類のカバレッジを自動的に計測（行カバレッジの計測結果の例）

カバレッジ計測

９種類のカバレッジを計測。
単体テストの網羅性を視覚的にレポート⃝プロジェクト、ファイル、関数単位でカバレッジの計測が可能●実行/未実行の箇所をハイライト表示単体テスト実行時に自動的に9種類のカバレッジを計測します。複数のカバレッジを同時に計測することもできます。画面上で実行/未実行の箇所を分かりやすくハイライト表示するため、視覚的に確認することができます。
●C/C++testがレポートするカバレッジ
・ステートメントカバレッジ（C0:命令網羅率）

・コールカバレッジ

・判断文カバレッジ（C1:分岐網羅率）

・行カバレッジ・単純条件カバレッジ（C2:条件網羅率）

・基本ブロックカバレッジ

・MC/DC（Modified Condition/Decision Coverage）

・パスカバレッジ

・関数カバレッジ

カバレッジアドバイザー●カバレッジアドバイザーの実行結果イメージ

カバレッジアドバイザーで、単体テストを効率化●効率的にカバレッジを向上させるためのテストデータ作成を支援●実行できていない行をエディタで確認●複雑な条件分岐も瞬時に計算
カバレッジアドバイザーは、単体テストにおいて誰もが抱える「中身が複雑なコードのカバレッジを満たすのが大変」、「テストケース作成に必要なパラメータ、事前条件が多くて洗い出すのが大変」といった悩みの解決へアプローチします。

該当行の実行にあたり関連する要素

ソースコードの任意の行に対するワンステップの操作で、その行のカバレッジを満たすのに必要なテストのパラメータや事前条件を把握できます。事前条件を即座に把握できるため、ユーザーのテストに掛かる時間や労力を大幅に削減できます。

該当行を実行するためのテストパラメータ
上記テストパラメータで実行される行番号5

動的解析

補助機能

アプリケーションモニタリング

CI/CDプラットフォーム連携

アプリケーション実行時に、メモリ関連エラーの検出とカバレッジを計測

モダン開発ワークフローにおけるテスト自動化手法に対応●アプリケーション実行時のカバレッジを計測●アプリケーション実行時に発生したエラーを自動検出●Jenkins, GitHub, GitLab, Azure DevOpsへ簡単に統合可能●CI/CDプラットフォーム上での解析結果確認

C/C++testは、システムテストを実施しながらカバレッジを計測することで、テストの抜け漏れを効率的に確認できます。また、不正メモリアクセス・メモリ破壊・メモリリーク・未初期化メモリの参照・NULLポインター参照などを検出し、スタックトレースと併せて問題をレポートします。また、システ
ムテストに限らず、他のユニットテストフレームワークや独自のユニットテス

開発ワークフローにC/C++testを組み込むことで、テストの実施漏れを防ぎ、エラーや欠陥のフィードバックサイクルを早めることができます。
自動化により開発者に負担をかけず、品質の高いソフトウェア開発をサ構成管理サーバー
ポートします。
実装およびコミット

チェックアウトクライアン
トマシン
実装およびコミット

チェックアウトトフレームワークでのテスト実行時のカバレッジを計測できます。

構成管理サーバー●アプリケーション実行時のカバレッジ計測イメージ

開発者端末

Jenkins

ビルドおよび結果の登録
・静的解析
・メトリクス計測・単体テスト
ビルドおよび ・カバレッジ計測
結果の登録
・静的解析

違反情報の取得
クライアン
トマシン

アプリケーション実行時のエラー検出

ソースコード開発者端末
違反情報の取得

C/C++testでビルド

CI サーバーParasoft DTP・メトリクス計測・単体テスト・カバレッジ計測

Parasoft DTP

アプリケーションを実行
ソースコードアプリケーション実行時のエラー検出
アプリケーション実行時のカバレッジ計測

Docker連携

C/C++testでビルド

組み込みソフトウェア開発での利用テスト資産の作成
ダウンロードC/C++testは、さまざまな組み込みソフトウェアのクロス開発環境をサテスト結果の確認① テストケースカバレッジ情報の確認② スタブポートしています。
③ テスト用プログラム

ターゲット

テスト用モジュールの実行
結果の取り込み●組み込みソフトウェアでの単体テスト実行イメージ

カバレッジの計測
テスト用モジュールテスト資産の作成① テストケース② スタブ③ テスト用プログラム

結果の取り込み

クロスコンパイル

メトリクス

計測●Dockerイメージの配布で、テスト環境構築作業が不要に

C/C++testは、仮想環境上でも動作可能であるため、C/C++testを組み込んだ｢Dockerイメージ」を開発者に配布することができます。これにより、ビルド環境だけでなく、C/C++testのテスト環境の構築作業もゼロにすることができます。

C/C++test

開発者

Jenkins

•静的解析
CMake
•単体テストコンテナプロセス
コンテナプロセス•メトリクス計測 ソースコード
GCC
DockerEngine(mount)
•静的解析
CMake
•単体テスト
ホスト環境（Linux OS）•メトリクス計測 ソースコード

ホスト環境（Linux OS）

Jenkins

ターゲット●「C/C++test」をDockerコンテナ内で利用するイメージ図
C/C++test

シミュレーター

実機

Docker Engine(mount)

ダウンロードテスト用モジュールの実行
カバレッジの計測

コンテナプロセス

C/C++test

開発者
実機

コンテナプロセス●「C/C++test」からDockerコンテナ内の環境を利用するイメージ図
GCC

開発者

•静的解析
•単体テスト•メトリクス計測

開発者

•静的解析
•単体テスト•メトリクス計測

結果を集約

テスト結果・ログファイル

メトリクス
解析
計測

Jenkinsからも実行可能なため、CI環境にも組み込むことができます。

エラー検出を実行できます。

テスト結果の確認
カバレッジ情報の確認

単体テスト

C/C++test

存在するビルド環境を利用し、静的解析および単体テストを実行することがフローJenkins
できます。

クロスコンパイル
レッジ計測（単体テスト時とアプリケーション実行時）
および実行時メモリ

シミュレータービルド

コーディング
規約チェックフロー

テスト用モジュールト機）や開発環境などに付属するシミュレーター上でも、単体テスト、カバホスト環境

テスト結果・ログファイル

チェック

ビルド

解析
Jenkins
ホスト環境上にインストールされたC/C++testから、Dockerコンテナ上にC/C++testをインストールしたホストマシンだけでなく、実機（ターゲッ

結果を集約

チェック
アウト

Start

●ホスト、シミュレーター、ターゲット環境で実行可能

ホスト環境

C/C++test

Dockerコンテナでの作業をサポート
Start

コーディング●Dockerコンテナ上のビルド環境を利用したテストが可能
アウト
規約チェック 単体テスト

実機やシミュレーターで、アプリケーション実行時のカバレッジ計測
単体テスト・カバレッジ計測が可能

アプリケーションを実行

コンテナプロセス
GCC

コンテナ
プロセス

コンテナ
プロセス

コンテナ
プロセス

コンテナ
プロセス

CMake

(mount)コンテナプロセス
C/C++test ソースコード
GCC

Docker Engine

CMake

ソースコード(mount)（Linux OS）
ホスト環境

Docker Engine

6Jenkins

CI サーバー

ホスト環境（Linux OS）

コンプライアンスパック
GoogleTest連携●GoogleTestでのテスト実行時のカバレッジ計測
GoogleTestで作成した既存のテストケースをそのままテスト資産として活用することができます。C/C++testのアプリケーションモニタリング機能を使用し、GoogleTestのテスト用プログラムをC/C++testを経由してビルドすることで、「C2カバレッジ」、「MC/DCカバレッジ」など9種類のカバレッジを取得すること

品質状況をリアルタイムに表示、レポートを自動生成●MISRA C:2023/MISRA C++:2023のルールに完全対応、コンプライアンスレポート作成をサポート●MISRA、AUTOSAR、CERT、CWEなどの遵守状況をリアルタイムに表示
コンプライアンスパックは、MISRA、AUTOSAR、CERT、CWEなどの遵守状況をリアルタイムに表示するダッシュボード機能を提供します。

が可能となります。

また、コーディングガイドラインに則った遵守サマリーレポートや逸脱のレポートを自動生成します。
コーディングガイドラインの遵守状況の説明責任を果たすことが容易になるだけでなく、未遵守箇所を早期に特定し必要な措置を講ずることにより、欠陥のあるソフトウェアに関連するビジネスリスクを排除することが可能になります。
●MISRA 遵守用ダッシュボード／レポート出力

レポート生成●豊富な情報を見やすいレイアウトでレポート出力
テスト結果をHTML、PDF、XML、CSV、SARIF形式でレポート出力できます。レポートは、コーディング規約が守られていることを証明する場合などに利用できます。テスト実行に関する詳細な追加情報を出力することも可能です。

CSVXMLPDF

HTML●Parasoft DTP（ダッシュボード）と連携したCI環境
Parasoft DTPは、C/C++testで行った静的解析/単体テストの結果、カバSARIFレッジなどの情報を自動的に収集・集約し、プロジェクトの状況をレポーティング、分析するためのツールです。
コーディング規約の遵守状況やプロジェクトの品質状況などをリアルタイ

機能安全認証取得

ムに表示します。CIに組み込むことで、常に最新のプロジェクト状況を確認することができます。開発者がレポーティングの作業をすることなく、管理●IEC 61508 / ISO 26262 / IEC 62304準拠

者は各プロジェクトの状況を俯瞰して確認することができます。

C/C++testは、第三者認証機関であるTÜV SÜD社よりIEC 61508およびISO 26262、IEC 62304に準拠したテストツールとして認証を取得済み●Parasoft DTPと連携したCI環境のイメージ図

構成管理サーバーです。

チェックアウト実装およびコミット《機能安全規格準拠に役立つルールセット》
・HISソースコードメトリクス チェックルール

Jenkins

クライアントマシン

・MISRA C:1998、MISRA C:2004、MISRA C++:2008、
MISRA C:2023 （MISRA C:2012）、開発者端末

MISRA C++:2023 規約チェックルール《医療機器ソフトウェア安全規格対応ルールセット》
・FDA C/C++（米国食品医薬品局）に関するルール

最新の開発トレンド対応！
言語規格・開発スタイルをサポート

CI サーバー
ビルドおよび結果の登録
・静的解析
・メトリクス計測・単体テスト・カバレッジ計測

違反情報の取得

for IEC 61508
for ISO 26262
for IEC 62304

Parasoft DTP

C/C++testは、軽量なエディタであるVisual Studio Codeへのプラグインや、Dockerコンテナやクラウド環境での利用、Modern C++（C++17やC++20対応）をサポートしています。分散型SCMであるGitベースの開発ワークフローにシームレスに統合して利用することもできます。車載ソフトウェアを始めとして、組み込みソフトウェアでも採用が増えている開発スタイルにも適用できます。

Start

チェックアウト

ビルド

C/C++test
コーディング
規約チェック

単体テスト

7導入後も安心してお使いいただける
サポート体制C/C++test導入時のサポートから、運用支援、問題発生時のQ＆Ａ対応など、導入後も安心してお使いいただけるサポート体制でお客様をバックアップいたします。

稼動環境
C/C++testの稼動環境は、Webをご確認ください。
https://www.techmatrix.co.jp/product/ctest/requirement.html

稼動環境はこちら

C/C++test体験版

ハンズオン/オンラインセミナー

C/C++testを体験版にてお試しください。

C /C+ + t e s t では、無 料ハンズ オンセミ

最新バージョンのC/C++testをお客様のマナー・オンラインセミナーを実施しています。静的解析、単体テストの機能を知りたい

シンで、14日間お試しいただけます。という方は、ぜひご参加ください。
体験版の申し込みはこちら

セミナーの詳細はこちら【開発元】● 掲載されているあらゆる製品名は、各社の商標あるいは登録商標です。

TMX202406【総販売代理店】

テクマトリックス株式会社
ソフトウェアエンジニアリング事業部〒108-8588 東京都港区港南1-2-70 品川シーズンテラス 24F
TEL : 03-4405-7853
URL：https://www.techmatrix.co.jp/
E-MAIL：parasoft-info@techmatrix.co.jp

このカタログの印刷には、環境に配慮した植物油インキを使用しています。