概要: 軽量なコンテナ型仮想化用のプラットフォームとしてDockerが注目されている．DockerではDockerイメージの構築手順をDockerfileと呼ばれるテキストファイルに記述する．Dockerfileは専用の命令が記述された一種のソースコードであり， 一般的なプログラミング言語と同様にテストを用いてその振る舞いを検証すべきである．Javaなどのソースコードに対しては，探索に基づいた全自動でのテスト生成手法が提案されている．しかし従来のテスト生成手法をDockerfileに適用することはできない．Dockerfileには分岐が存在せず，自動テスト生成の目的関数となる網羅率が意味をなさないためである．本研究では，処理手順ではなく処理結果に基づいてDockerfileのテストを自動生成する．提案手法ではDockerfile命令とDockerイメージのレイヤの解析に基づいてテスト対象を決定し，テストを生成する．評価実験の結果，開発者が作成したテストの最大8割以上をカバー可能であることが確認できた．

@mastersthesis{後藤有希2025,
  author = {後藤 有希},
  title = {Dockerイメージのレイヤ構造に着目したDockerfileの自動テスト生成手法の提案},
  school = {大阪大学},
  type = {Bachelor's Thesis},
  year = {2025},
  month = {feb}
}