可変性を持つシステムの確率的モデル検査手法

• Item type: SIG Technical Reports(1)
• 公開日: 2022-03-04
• タイトル: 可変性を持つシステムの確率的モデル検査手法
• タイトル / 言語: en
• タイトル: Stochastic model checking method for variability-intensive system
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 形式手法，モデル検査，プログラミング
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_18gh
• 資源タイプ: technical report
• 著者所属: 早稲田大学
• 著者所属: 早稲田大学
• 著者所属(英): en
• 著者所属(英): Waseda University
• 著者所属(英): en
• 著者所属(英): Waseda University
• 著者名: 内藤, 裕暉; 岸, 知二
• 著者名(英): Hiroki, Naito; Tomoji, Kishi
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 近年，可変性を持つシステムが増えており，SPL (Software Product Line) 開発が重要視されている．従来のモデル検査手法の研究では，MTS や FTS を検証するツールとして SNIP などのファミリベースのモデル検査を行うことのできる特定のツールを用いた研究が多いが，汎用性に問題がある．一般的に広く用いられるモデル検査ツールで検証が行えるようになると有用性が増すが，製品群の製品をひとつひとつ検証しなければならず，複数製品の検証に対応していないという問題がある．本研究では可変性を持つシステムに対して，汎用的なモデル検査ツールを用いて，複数の製品を同時に検証できる手法を提案した．フィーチャの出現確率である FIP を用いて，バリアントの選択を確率的に行う遷移を FTS に付与することで，確率システムとして確率的モデル検査を行い，プロパティがどの程度の製品において成立するのか検証した．これにより SPL の検証を汎用的なモデル検査ツールで製品をひとつひとつ検証しなくてもモデル検査を行えるようになった．
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN10112981
• 書誌情報: 研究報告ソフトウェア工学（SE）; 巻 2022-SE-210, 号 6, p. 1-6, 発行日 2022-03-04
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 2188-8825
• Notice: SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc.
• 出版者 / 言語: ja
• 出版者: 情報処理学会