## Made in Japan のテストツールベンダーからのお知らせ♪ ###

ガイオ・テクノロジーは、自社開発しているソフトウェアテストツール群を40年以上に渡りご提供しているツールベンダーです。

組込みシステム領域を中心に幅広い業種でご利用いただいるガイオ製品。
特に昨今は IoTやCASE,MaaSといったキーワードにて、高い安全性とセキュリティが求められている自動車産業界を中心にご活用いただいてます。

現在、自動車分野では機能安全規格であるISO 26262や、ADASや自動運転を見据えたSOTIF、サイバーセキュリティー領域におけるISO/SAE 21434といった各規格の準拠が、業界全体で求められています。

その要求に対して弊社は自動車メーカー様やサプライヤ様の開発における、安全やセキュリティー面での諸活動にツールとエンジニアリングサービスの両輪で強力に支援していきます。

今回、モデルベース開発(MBD)にてソフトウェア検証のスピードアップを実現するテストベクタ自動生成ツール「PROMPT」をバージョンアップします。
本バージョンアップにより、従来より高いカバレッジ率でテストベクタを生成する機能を追加しました。

本製品を用いることで、MATLAB/Simulinkのサブセットとして機能モデルまたは実装モデルからテストデータを高速に自動生成することが可能です!

MATLAB/Simulinkを用いたモデルベース開発(MBD)において課題となる「大規模・複雑化するモデルに対してのテストデータ生成」を解決します。

――――――――――――――――――――――――――――――――――
製品名: PROMPT
製品バージョン: V2.0
リリース日: 2020年9月28日
――――――――――――――――――――――――――――――――――
【製品紹介】
モデルカバレッジ率の高いテストデータを短時間で自動生成するツールです。

信号テンプレートの選択及び、その信号特性をモンテカルロ法で変更し、機能モデルまたは実装モデルからモデルカバレッジ率の高いテストデータを短時間で自動生成します。

※JAIST(北陸先端科学技術大学院大学)と共同研究開発

【V2.0での主要な機能UP項目】
①テストデータ生成率を向上
定数伝搬解析機能を搭載することで、従来より高いカバレッジ率のテストデータを生成。

②プログレス画面によるテストデータ生成状況を可視化
テストデータ生成中に、設定値と進捗状況を確認できるプログレス画面を追加。

【主な製品機能】
①テストデータ生成
ハーネスモデルを入力として、ランダム探索(MCMC)方式により網羅性の高いテストデータを高速に生成。また、生成したテストデータに対するモデルカバレッジを計測。

②モデルカバレッジレポート出力
生成したテストデータに関するモデルカバレッジ情報をJSON形式のレポートを出力。

③カバレッジ測定未対応ブロックレポート出力
MBDのテストデータ生成率を向上するための情報となる、カバレッジ測定対象外となった
ブロック情報をJSON形式のレポートとして出力。

④弊社製品「MC-Verifier」と組み合わせて、B2Bテストを自動化
(「MC-Verifier」製品紹介→ https://bit.ly/3eaDmAq )

弊社製品「MC-Verifier」のインターフェースに合わせた形式のテストベクタを「PROMPT」で出力。
ツール間連携を気にせずB2Bテストを自動化し、ツールチェーンの最適化や、内製ツール管理の負担減少へつなげられます。

==========================
~製品機能の詳細ををWEBセミナーにて毎日配信中~

弊社では検証ツールや最新のサービス/ソリューション、業界のトレンド情報を発信する【Gサイバーチャンネル】にて、毎日WEBセミナーを開始しております。

本ツールにおいてもMBDにおけるテストや開発プロセスにまつわる問題を取り上げながら「PROMPT」の特徴を概説すると共に、他社ツールと連携しながら効率的にテストデータを生成する方式について紹介しております。

【該当コンテンツ:MBDテストデータ網羅性向上テストツール】

下記リンクからライブ配信の登録を行っておりますので、是非ご視聴くださいませ!

PROMPT
PROMPT
【毎日配信中】Gサイバーチャンネル
【毎日配信中】Gサイバーチャンネル