C/C＋＋利用者向け ホワイトボックステスト完全自動化・検証ツール『COYOTE』を発売開始！

ソフトウェア開発者の負担や人材不足を解消し、プロジェクト工数を大幅に削減！

ソフトウェア検証ツールCOYOTE（コヨーテ）は、ホワイトボックステストを完全自動化。独自のソース解析技術と、シンボリックテスト環境を融合した革新的なツールです。これまでに無い特徴として、テスト環境をワンクリックで構築する高速性、正確なファイル構築と関数の検知、高いカバレッジ率、そしてコード別カバレッジ情報の提供が可能になります。COYOTEの導入効果として、テストコストの削減、テスト自動化による開発期間の短縮、開発者の経験値に左右されない一定品質の向上、ソースレビューのチェックリスト不要等が挙げられます。

COYOTEは、安定性と確実なテストの実行、効率的な不具合回復とテスト再開の能力という点で信頼性に優れています。メンテナンスにおいて、エラーサポートとドキュメンテーションの充実度、作業空間の効果的な分離と管理の容易さという点で優れた管理性を提供しています。

COYOTEのパイロット版をテストした海外自動車メーカーでは、既存の自動化ツールと比較した結果、組込みソフトウェアのテストで生産性が3〜6倍以上向上する結果となりました。

テストの為のコーディング作業が不要に！

テスト対象のソースファイルを選択し、実行をクリックするだけで、「テストケース自動生成」、「テスト実行」、「実行結果出力」の全てを自動で行います。また、テストドライバーやスタブコードも自動生成します。特殊な確認が必要なケースでも、手動追加が可能です。

テストカバレッジを可視化！

関数一覧でそれぞれのテストカバレッジをパーセンテージで確認でき、条件分岐や判定条件のテストがどれだけ検証できているかテスト状況を一目で把握することが出来ます。テストケースは表形式でその内容が確認でき、各変数の値とその結果を確認することができます。結果は色別表示され、すぐに確認することができます。

条件の詳細設定が可能！

MS visual studio、GCC、Clang、taskingなどの多くのコンパイラの設定に対応しており、ロジック不正によるCPU高負荷状態での他作業への影響の最小化、長時間実行によるリソース枯渇等が発生しないよう細かな設定ができます。

C/C++特化型テスト支援機能！

テストドライバー、スタブコードの自動作成はもちろん、ゼロ除算やNullオブジェクトのアクセスなど、未定義動作のエラーも検出する機能を提供してます。また、C++の場合、純粋仮想関数のスタブ自動生成やQTフレームワークに対応するなど、CとC++言語に特化した様々な機能があります。

ソフトウエア完全自動化テストツール　COYOTE（コヨーテ）について

https://cyberfortress.jp/coyote/

無料製品資料を配布中！

株式会社サイバーフォートレスについて

URL：https://cyberfortress.jp/

所在地：東京都千代田区岩本町 3-4-3 リードシー秋葉原ビル 5階

代表者：中井貴⼤

設⽴：2014年3⽉

事業内容：セキュリティソリューション事業、システムインテグレーション事業