たてたてよこよこまるかいてちょん

組み込み関連の情報を共有するためのブログです

単体テスト自動化をしらべていたら

Mac Linux

単体テスト自動化をしらべて欲しいという要望があったので調べている。

どうも、 実際の実行と シンボル実行(symbolic execution)というをまぜた、concolic execution というのがキーワードなのかもしれない。

調べてみると、どうも日本語の情報がすくない

- CREST

これが Concolic 実行 ？

- KLEE

LLVM をつかった Symbolic 実行？

- CBMR ?

よくわからないが、そういうパッケージがあったので installしてみた

記事のLicense このブログの記事は特に断りのない限り、引用部分を除いて、以下の CC-BY 4.0でライセンスします。 https://creativecommons.org/licenses/by/4.0/deed.ja ただし、ブログ内にあるコードは、特に断りのない限り、CC-BY 4.0またはMITLicense で利用できるものとします。