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

@inproceedings{後藤有希2025c,
  author = {後藤 有希 and 柗本 真佑 and 楠本 真二},
  title = {Dockerイメージのレイヤ解析を用いたDockerfileの自動テスト生成に向けて},
  booktitle = {電子情報通信学会技術研究報告},
  volume = {124},
  number = {429},
  pages = {067--072},
  year = {2025},
  month = {mar}
}