ホーム > ソフトウェア > WEBアプリ開発・プログラミング > COYOTE

COYOTE

表示されている大きな画像をクリックすると、さらに詳細な画像をご覧いただくことが出来ます。

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

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

メーカー認定リセラー
メーカー
CODEMIND CORPORATION.
http://codemind.co.kr/eng/

取り扱い商品の一例

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

今すぐお見積り

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

商品説明


【製品特徴】

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

テストケースの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++

レビュー

Widget is loading comments...

このメーカーの他の商品を見る

ページの先頭へ