simotin13's message

simotin13といいます。記事の内容でご質問やご意見がありましたらお気軽にコメントしてください\^o^/

シンボリック実行

KLEE を試してみた。

シンボリック実行のツールとして公開されているKLEEを試してみました。 目次 目次 dockerのインストール dockerイメージの実行 チュートリアル 感想 dockerのインストール KLEEの環境を構築するのはdockerのイメージを使うのが一番手軽に試せるようです。 do…

Concolic Testってなんだ?

自分が常日頃考えている課題として「組込ソフトウェアのユニットテストを自動化できないか」という課題があるのですが、ここ数日テストの自動化に関する論文やオープンソースの情報を漁ったりして少しですがインプットがたまったので整理の為にアウトプット…