ソフトウェアテストのためのテスト設計
氏名:土屋達弘
所属:大阪大学大学院情報科学研究科
概要:組み合せデザインの一種であるローケーティングアレイを生成する.ローケーティングアレイは,ソフトウェアのテストにおいて,故障検出と特定を可能にするテスト集合として利用できる.具体的な方法は,ロケーティングアレイの存在判定をブール式の充足可能性問題に帰着して,Glucose SATソルバを用いて解くことである.実験の結果,いくつかの問題例について,これまででは最小のロケーティングアレイを発見できた.
論文掲載,発表実績:
(学術雑誌掲載論文)
- T. Konishi, H. Kojima, H. Nakagawa, and T. Tsuchiya, In search of minimum locating arrays (submitted)
Posted : 2019年03月01日