講演抄録/キーワード |
講演名 |
2023-03-17 12:50
確率的モデル検査器を用いたファミリーベースモデル検査についての考察 ○岸 知二(早大) KBSE2022-64 |
抄録 |
(和) |
ファミリーベースモデル検査は可変性を持つシステム定義を対象にモデル検査を行い、複数の製品バリエーションの性質を一度に検証する技術である。我々は汎用の確率的モデル検査器PRISMを用いたファミリーベースモデル検証手法について検討・評価を行っている。本稿では手法の提案をするとともに,手法の特徴や利点・欠点に関する考察を行う。 |
(英) |
Family-based model checking is a technique to verify the properties of multiple product variations at once by performing model checking on a system definitions with variabilies. We have studied and evaluated a family-based model checking technique using a general-purpose probabilistic model checker, PRISM. In this paper, we propose the method and discuss its advantages and disadvantages. |
キーワード |
(和) |
可変性 / 製品系列開発 / モデル検査 / 確率的モデル検査 / / / / |
(英) |
variability / software product lines / model checking / probabilistic model checking / / / / |
文献情報 |
信学技報, vol. 122, no. 444, KBSE2022-64, pp. 61-66, 2023年3月. |
資料番号 |
KBSE2022-64 |
発行日 |
2023-03-09 (KBSE) |
ISSN |
Online edition: ISSN 2432-6380 |
著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します.(許諾番号:10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) |
PDFダウンロード |
KBSE2022-64 |