| Tweet | |
| 後藤, 柗本, 楠本, "Dockerイメージのレイヤ解析を用いたDockerfileの自動テスト生成に向けて," 電子情報通信学会技術研究報告, 124(429), pp. 067-072, 2025年3月. | |
| ID | 854 |
| 分類 | 研究会・全国大会等 |
| タグ | |
| 表題 (title) |
Dockerイメージのレイヤ解析を用いたDockerfileの自動テスト生成に向けて |
| 表題 (英文) |
|
| 著者名 (author) |
後藤 有希,柗本 真佑,楠本 真二 |
| 英文著者名 (author) |
|
| 編者名 (editor) |
|
| 編者名 (英文) |
|
| キー (key) |
|
| 書籍・会議録表題 (booktitle) |
電子情報通信学会技術研究報告 |
| 書籍・会議録表題(英文) |
|
| 巻数 (volume) |
124 |
| 号数 (number) |
429 |
| ページ範囲 (pages) |
067-072 |
| 組織名 (organization) |
|
| 出版元 (publisher) |
|
| 出版元 (英文) |
|
| 出版社住所 (address) |
|
| 刊行月 (month) |
3 |
| 出版年 (year) |
2025 |
| 採択率 (acceptance) |
|
| URL |
|
| 付加情報 (note) |
|
| 注釈 (annote) |
|
| 内容梗概 (abstract) |
軽量なコンテナ型仮想化用のプラットフォームとしてDockerが注目されている．DockerではDockerイメージの構築手順をDockerfileと呼ばれるテキストファイルに記述する．Dockerfileは専用の命令が記述された一種のソースコードであり，一般的なプログラミング言語と同様にテストを用いてその振る舞いを検証すべきである．Javaなどのソースコードに対しては，探索に基づいた全自動でのテスト生成手法が提案されている．しかし従来のテスト生成手法をDockerfileに適用することはできない．Dockerfileには分岐が存在せず，自動テスト生成の目的関数となる網羅率が意味をなさないためである．本研究では，処理手順ではなく処理結果に基づいてDockerfileのテストを自動生成する．提案手法ではDockerfile命令とDockerイメージのレイヤの解析に基づいてテスト対象を決定し，テストを生成する．評価実験の結果，開発者が作成したテストの最大8割以上をカバー可能であることを確認した． |
| 論文電子ファイル | yu-gotou_202503_sigss.pdf (application/pdf) [一般閲覧可] |
| BiBTeXエントリ |
@inproceedings{id854,
title = {Dockerイメージのレイヤ解析を用いたDockerfileの自動テスト生成に向けて},
author = {後藤 有希 and 柗本 真佑 and 楠本 真二},
booktitle = {電子情報通信学会技術研究報告},
volume = {124},
number = {429},
pages = {067-072},
month = {3},
year = {2025},
}
|