海外製品・コンサルテーションサービス UNIPOS(ユニポス) > ソフトウェア > 開発・プログラミング > COYOTE | 完全自動のソフトウェアテストツール

COYOTE | 完全自動のソフトウェアテストツール

完全自動のソフトウェアテストツール: シンボリック実行(シンボリックテスト)と機械学習技術を組み合わせることで開発された、完全自動化されたホワイトボックステストツールであり革新的なソフトウェアの動的検証ツール。

100%自動でテストケースを生成し、開発者の実装タスクにおける負担を低減します。また 90%もしくはそれ以上のコードカバレッジを達成し、組み込みソフトウェアや安全重視のソフトウェアのユニットテストの成功に貢献します。
メーカー: CODEMIND CORPORATION.
https://www.codemind.co.kr/eng/

COYOTE | 完全自動のソフトウェアテストツールの取り扱い商品の一例

	商品名	納品方法	納期	価格
	COYOTE (Windows)	電子デリバリー	お問い合わせください	お問い合わせください
	COYOTE (Linux)	電子デリバリー	お問い合わせください	お問い合わせください

ご希望の商品にチェックを入れてボタンをクリックすることで、該当商品をお見積もりフォームへ追加できます。納品方法についてはこちらをご覧ください。

COYOTE | 完全自動のソフトウェアテストツールの商品説明

【製品特徴】

専門家により開発された新たなソフトウェア解析と検証技術
- 最先端のシンボリックテスト技術を適用
- 静的分析と機械学習によるサポート

テストケースの100%自動生成
- ユニットテストデータの自動生成

テストハーネスの100%自動生成
- テストドライバコードの100%自動生成
- ライブラリスタブコードの100%自動生成

90%以上のブランチカバレッジの達成
- 車両ソフトウェア業界での検証済み

大規模なプロジェクトをより生産的に
- 手動でテストケースを生成するのが難しい大規模なプロジェクトのテストタスクを単純化することでテスト効率を最大化

【機能特徴】

完全自動化
・ワンクリックでテストハーネス・テストケースの作成、テスト結果導出まで完全自動実行
・テスト進行状況確認可能 (ファイル/ユニット別に成功確認、平均ガバレッジの確認)
・テスト結果のレビュー (プロジェクトやファイル別にガバレッジ表示、テストケース表示、エラー発生時はアイコン表示)
・クラッシュバグ自動検出 (Buffer Overrun, Null Dereference, Division by Zeroなど)

カバレッジ向上
・ユニット別のテストケーステーブル (ユーザーテストケースを追加、関数ポインターの自動入力機能)
・ユニット別のユーザードライバによるテスト (ユーザーテストハーネス作成をサポート、voidポインター入力類推機能)
・ユニット別のユーザースタブ追加機能
・様々なテストガバレッジを提供 (Statement, Branch, MC/DC)

柔軟な設定
・プロジェクトの環境設定 (目標バレッジ、テストケースの反復回数、制限時間など)
・ビルド環境設定 (配列の長さ設定、グローバル変数を含むファイル指定など)
・テストセッティング (探索戦略/反復回数/制限時間、テストケース生成数など)
・様々なコンパイラ設定 (新コンパイラのサポート、MS visual studil、GCC、Clangなど)

【適用分野の一例】

自動車電装ソフトウェア / 自動車パワートレイン制御ソフトウェア / 通信機器ソフトウェア
金融ソフトウェア / ロボットソフトウェア / 航空ソフトウェア

【対応OS】

Windows 版はスタンドアロン構成、
Linux 版はスタンドアロン構成もしくはサーバクライアント構成でご利用いただけます。

Windows
構成 : スタンドアロン
言語 : C/C++

Linux
構成 : スタンドアロン / サーバクライアント
言語 : C/C++

参考情報

ご注文の流れ

ご注文から商品発送までの流れ

商品詳細をご確認の上「今すぐお見積もり・お問い合わせ」ボタンをクリック
見積もりフォームへ必要事項を記載の上、送信ください
弊社よりメールにてお見積りをご提示します
メールへの返信にてご注文の旨をお知らせください
商品代金のお支払いをお願いします(次項の「支払い方法」をご覧ください)
配送、またはメール(電子デリバリー)にて商品をお届けします

詳細はこちら

支払い方法

法人掛売り(※) :
納品・請求書による後払いです。
ご注文手続きはお見積もりメールへの返信のみでけっこうです。
銀行振込:
ご注文の返信メールをいただいた後、弊社指定の銀行口座へのお振込みを確認した時点で注文の確定とさせていただきます。

※法人掛売りでのお支払いについては一定の条件がございます
お支払い方法の詳細はお見積もりメールに記載しておりますので、ご確認ください。

COYOTE | 完全自動のソフトウェアテストツールの取り扱い商品の一例

	商品名	納品方法	納期	価格
	COYOTE (Windows)	電子デリバリー	お問い合わせください	お問い合わせください
	COYOTE (Linux)	電子デリバリー	お問い合わせください	お問い合わせください