COYOTE C++は独自にシンボリックテストエンジンを開発し、シンボリック技術を用いて与えられた全ての関数の実行経路を確認し、各実行経路が実行される条件を計算します。そして、これらの条件を基準にしてテストケースを生成します。
COYOTE C++は独自にシンボリックテストエンジンを開発し、シンボリック技術を用いて与えられた全ての関数の実行経路を確認し、各実行経路が実行される条件を計算します。そして、これらの条件を基準にしてテストケースを生成します。
オープンライブラリをテストする場合、平均的にラインカバレッジは90%、分岐カバレッジは80%以上でした。ユーザーのコードはプロジェクトごとに異なると思いますが、平均60~70%は達成できます。
今までのテストの中で一番大きいプロジェクトは約86万ラインで40分ほどかかりました。COYOTE C++にはテストを並列に行うオプションを提供しています。このオプションを使用するとテスト時間をより短縮できます。
現在はCとC++のみとなります。
COYOTE C++は動的テストツールであり、実際にテストを実行しながらテストを行うため、ランタイムエラーなども検知できます。各関数のテストケースやレポートで確認することができます。
COYOTE C++はISO 26262認証を取ったツールです。そのため自動車会社など主に組込みソフトウェアの分野からよく使用されています。
COYOTE C++では、ランダムな値の並びではなく、手動でテストケースを作成するプロセスと同じ手順でテストケースを生成します。これまでこのような技術がなかったため、現場での信頼性が低いことは認識しています。しかし、COYOTE C++は従来の技術とは異なり、テストケースを自動生成する実用的なレベルまで引き上げました。
HTML, CSV, EXCELの3つのタイプで作成できます。HTMLレポートとCSVレポートはカバレッジなどの数値を主に表示し、EXCELレポートはカバレッジだけではなく、テスト中検知できたエラーの情報、各関数から生成されたテストケースも表示されます。。
内部でのテストを行った際には特に問題はありませんでした。他のオープンライブラリとの基本的なカバレッジにも違いはありません。
ビルドの環境さえ整えていれば、LinuxとWindowsの違いはありません。
現在はありません。