可変性マイニングによる有用性優先の可変性管理手法の研究
| Project/Area Number |
20K11756
|
|---|
| Research Category |
Grant-in-Aid for Scientific Research (C)
|
| Allocation Type | Multi-year Fund |
|---|
| Section | 一般 |
|---|
| Review Section |
Basic Section 60050:Software-related
|
|---|
| Research Institution | Waseda University |
|---|
Principal Investigator |
岸 知二 早稲田大学, 理工学術院, 教授 (30422661)
|
|---|
| Project Period (FY) |
2020-04-01 – 2024-03-31
|
| Project Status |
Completed (Fiscal Year 2023)
|
| Budget Amount *help |
¥4,030,000 (Direct Cost: ¥3,100,000、Indirect Cost: ¥930,000)
Fiscal Year 2022: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2021: ¥1,430,000 (Direct Cost: ¥1,100,000、Indirect Cost: ¥330,000)
Fiscal Year 2020: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
|---|
| Keywords | 可変性 / 製品系列開発 / テスト優先度付け / モデル検査 / ソフトウェア工学 / ソフトウェアプロダクトライン / 可変性マイニング / フィーチャモデル / 運用プロファイルテスト / プロダクトライン |
|---|
| Outline of Research at the Start |
本研究は，「可変性マイニング」によってシステムの利用傾向を調べ，潜在的には膨大にある使われ方の中から，実際によく使われる可変性の組み合わせを特定する手法を提案する。システム構成や操作手順などのバリエーションなどに関わる可変性は，その組み合わせが天文学的であるために，従来的な論理に頼った手法はスケーラビリティに限界がある。そこで利用データから可変性に関わる情報を論理的制約や確率情報として抽出（マイニング）し、そこから判断される利用傾向に関わる部分を優先的に扱う有用性優先の可変性管理手法を提案する。これにより組み込みシステム，IoTシステムなどのテストの効率化などを行うことが期待される。
|
| Outline of Annual Research Achievements |
本研究の目的は、可変性マイニングによって得られる利用傾向を活用した有用性優先の可変性管理手法を提案、評価することである。対象とするシステムの利用データを可変性マイニングすることで実際に使われる可変性の組み合わせパターンや出現頻度を論理的制 約や確率情報として抽出し、そこから判断される利用傾向に関わる部分を優先的に扱う有用性優先の可変性管理手法を提案する。
具体的にはIoT分野を対象に，様々なデバイスとBluetooth通信で接続されるシステムをとりあげ，接続デバイスごとの利用方法の間の可変性と利用頻度を通信ログからイベント系列としてマイニングし，それに基づきシステムのテストケースを優先度付けする手法を提案した。さらにそれに基づいたテストケースの優先度付けが行えることを確認した。
またこの手法では，利用方法とシステムの内部のふるまいとの対応付けが一般的には困難であったため，イベント系列をシステムのふるまいとの対応付けが容易な遷移系列へと変換して対応付ける手法へと改善した。これにより，マイニング結果の活用が容易となった。
上記のテストケースの優先度付けへの応用に加えて，新たな応用分野としてモデル検査技術についても検討を行った。可変性を持つシステム定義の検証を一度に行うファミリーベースのモデル検査を確率的モデル検査器で行う手法を検討するとともに，マイニング結果に基づきモデル検査を行う手法を提案し，評価により有効性に関する良好な結果を得ることができた。
ファミリーベースモデルモデル検査は単一システムのモデル検査以上に状態爆発の問題が起こりやすくなる。そこで可変性モデルを構成数の少ない複数の可変性モデルへと分割し，それらを独立にモデル検査する手法を提案した。評価を通じ，この分割手法は多くの場合に有効な削減が可能なことがわかり，スケーラビリティの改善への寄与が期待される。
|
Report
(4 results)
Research Products
(9 results)
