概要: ミューテーションテストはプログラムに人工的な改変を組み込むことでテストスイートの十分性を評価する手法である．しかし，既存のミューテーション演算子は十分であるとは限らない．例えばPythonにおいては動的型付け言語特有の欠陥を十分に表現できていないことが指摘されている．本研究では，ミューテーション演算子の不足を発見する体系的な方法の獲得を目的として，ミュータントの検出に貢献していないテストに着目した解析手法を提案する．本研究ではこのようなテストをPeacefulテストと定義する．一般的には，生成されたミュータントの集合が欠陥を十分に代表しているとみなし，テストスイートの評価や改善が行われている．これに対し，テストスイートが十分であるという前提に立てば，Peacefulテストの存在はその検証範囲にミュータントが生成されていないこと，すなわちミューテーション演算子の不足を示すと解釈できる．この点に注目し，Peacefulテストを収集・分析することで不足しているミューテーション演算子を探す．

@inproceedings{後藤有希2026a,
  author = {後藤 有希 and 柗本 真佑 and 楠本 真二},
  title = {Peacefulテストの解析による不足したミューテーション演算子検出の試み},
  booktitle = {電子情報通信学会技術研究報告},
  volume = {126},
  number = {125},
  pages = {139--144},
  year = {2026},
  month = {jul}
}