可変性マイニングによる有用性優先の可変性管理手法の研究

点击翻译按钮获取中文摘要

本研究の目的は、可変性マイニングによって得られる利用傾向を活用した有用性優先の可変性管理手法を提案、評価することである。具体的には、利用データを可変性マイニングすることで実際に使われる可変性の組み合わせパターンや出現頻度を論理的制約や確率情報として抽出し、そこから判断される利用傾向に関わる部分を優先的に扱う有用性優先の可変性管理手法を提案する。昨年度までにIoT分野を対象に，様々なデバイスとBluetooth通信で接続されるシステムをとりあげ，接続デバイスごとの利用方法の間の可変性と利用頻度を通信ログからイベント系列としてマイニングし，それに基づきシステムのテストケースを優先度付けする手法を提案した。さらにそれに基づいたテストケースの優先度付けが行えることを確認した。一方，昨年度までの手法でのイベント系列からのマイニング手法は，システムとの対応づ付けが一般的には困難であることが課題であったため，今年度はイベント系列をシステムトのふるまいとの対応付けが容易な遷移系列へと変換して対応付ける手法へと改善した。これにより，マイニング結果の対応づけが明確となった。また昨年度までのテストケースの優先度付けへの応用についてさらに評価を進めるとともに，新たな応用分野としてモデル検査技術を加えた。可変性を持つシステム定義の検証を一度に行うファミリーベースのモデル検査を確率的モデル検査器を用いて行う手法を検討するとともに，マイニング結果に基づきモデル検査を行う手法を提案し，評価により有効性に関する良好な示唆を得ることができた。