WEKO3
アイテム
定量的モデル検査手法Model Measuringの実装に関する研究
https://ipsj.ixsq.nii.ac.jp/records/213813
https://ipsj.ixsq.nii.ac.jp/records/2138131dbb2d7b-f894-48b1-9c9b-b5712a525b61
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE21209005.pdf (914.9 kB)
|
Copyright (c) 2021 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2021-11-18 | |||||||||
| タイトル | ||||||||||
| タイトル | 定量的モデル検査手法Model Measuringの実装に関する研究 | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||||
| 資源タイプ | technical report | |||||||||
| 著者所属 | ||||||||||
| 慶應義塾大学大学院理工学研究科 | ||||||||||
| 著者所属 | ||||||||||
| 慶應義塾大学大学院理工学研究科 | ||||||||||
| 著者名 |
小島, 海
× 小島, 海
× 高田, 眞吾
|
|||||||||
| 論文抄録 | ||||||||||
| 内容記述タイプ | Other | |||||||||
| 内容記述 | システムの設計を表現するモデルを検証するための技術として，形式手法の一つであるモデル検査が挙げられる．従来のモデル検査では，モデルが仕様を満たすか否かという Bool 値及び，モデルが仕様を満たさないのであれば，反例に至るパスを出力していた．しかし，実際の開発現場ではこれらの情報だけでは不足が多く，それに伴い定量的な値を出力する定量的モデル検査手法が昨今提案されている．本研究では，これらの定量的モデル検査手法のうち，Henzinger らが提案した Model Measuring に注目する．Model Measuring のアイディアは実装されていないため，本研究ではこのアイディアを実装するための研究を行なった． | |||||||||
| 書誌レコードID | ||||||||||
| 収録物識別子タイプ | NCID | |||||||||
| 収録物識別子 | AN10112981 | |||||||||
| 書誌情報 |
研究報告ソフトウェア工学（SE） 巻 2021-SE-209, 号 5, p. 1-8, 発行日 2021-11-18 |
|||||||||
| ISSN | ||||||||||
| 収録物識別子タイプ | ISSN | |||||||||
| 収録物識別子 | 2188-8825 | |||||||||
| Notice | ||||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
