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

ユニポスWEBサイトに、完全自動のソフトウェアテストツール COYOTE のページを追加しました。

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

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

機能特徴

完全自動化

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

カバレッジ向上

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

柔軟な設定

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

適用分野の一例

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