概要: プロダクトの品質保証や開発中でのバグの早期発見のため，ソフトウェアテストは重要である．テスト手法の1 つである自動テストは，開発者がプロダクトの予期する動作をプログラム（テストケース）として複数記述し，それらの実行によって検証する方法である．テストケースには単一機能を確認する単体テストと複数の機能の組み合わせを確認する結合テストがある．結合テストは複数の単体テストをある種包含しているといえる．この包含関係は自然な性質であるにも関わらず，定義および検出法，その活用はわれわれが調べた限り存在しない．本研究では，包含関係の定量的な定義を与え，それを利用した単体・結合の自動計測方法を与える．また，包含関係のデバッグ支援への活用例を2 つ提案する．「失敗テストケースが複数存在する場合の解決順序の提示」と「結合寄りテストケースでしか通過されない箇所の報告」である．

@inproceedings{岡本琉生2024,
  author = {岡本 琉生 and 柗本 真佑 and 楠本 真二},
  title = {テストカバレッジに基づくテストケース間の包含関係の提案},
  booktitle = {電子情報通信学会技術研究報告},
  volume = {123},
  number = {414},
  pages = {061--066},
  year = {2024},
  month = {mar}
}