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

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