goyoki https://blog.hatena.ne.jp/goyoki/ 千里霧中 https://goyoki.hatenablog.com/ ちょっと前に、C言語向けConcolic TestingツールであるCRESTを簡易的なサンプルで試したので、結果を簡単にまとめたいと思う。 なおCRESTを使用した雑感は以下の通り： コードから実行パターンを生成するのみ。テストオラクル問題をどうにかしないといけない。 制御パスの分析は大変高性能。複合条件も分析できるので、MC/DC網羅のテストケース生成や、パス数の見積もりが可能。 ループや再起など繰り返しの解析は行わない。例えばループ中で特定の関数を何回呼び出したかといったことは解析できない。ループカバレッジにも対応できず。 外部コンポーネントの呼び出しでパス数が爆発しやすい。Test D… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fgoyoki.hatenablog.com%2Fentry%2F2014%2F08%2F03%2F170737" title="Concolic Testingツール：CRESTによるテストケースの自動生成 - 千里霧中" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2014-08-03 17:07:37 rich https://goyoki.hatenablog.com/entry/2014/08/03/170737 1.0 100%