ソフトウェアテストのためのテスト設計

 

氏名:土屋達弘

所属:大阪大学大学院情報科学研究科

概要:組み合せデザインの一種であるローケーティングアレイを生成する.ローケーティングアレイは,ソフトウェアのテストにおいて,故障検出と特定を可能にするテスト集合として利用できる.具体的な方法は,ロケーティングアレイの存在判定をブール式の充足可能性問題に帰着して,Glucose SATソルバを用いて解くことである.実験の結果,いくつかの問題例について,これまででは最小のロケーティングアレイを発見できた.

 

論文掲載,発表実績:
(学術雑誌掲載論文)

  • T. Konishi, H. Kojima, H. Nakagawa, and T. Tsuchiya, In search of minimum locating arrays (submitted)

 




Posted : 2019年03月01日