WEKO3
アイテム
状態遷移図と抽象的仕様記述のマッチングによる仕様の誤り検出
https://ipsj.ixsq.nii.ac.jp/records/180629
https://ipsj.ixsq.nii.ac.jp/records/1806294fac3054-999b-4bde-b5e5-201f58ea7143
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z79-5H-09.pdf (152.3 kB)
|
Copyright (c) 2017 by the Information Processing Society of Japan
|
| Item type | National Convention(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 2017-03-16 | |||||||
| タイトル | ||||||||
| タイトル | 状態遷移図と抽象的仕様記述のマッチングによる仕様の誤り検出 | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | ソフトウェア科学・工学 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 電通大 | ||||||||
| 著者名 |
岡野, 純平
× 岡野, 純平
|
|||||||
| 論文抄録 | ||||||||
| 内容記述タイプ | Other | |||||||
| 内容記述 | 近年ソフトウェア開発では信頼性が求められる。B-methodは仕様を集合論に基づいた記述を行うことで仕様の無矛盾性を証明によって検証することができ、開発されたソフトウェアの信頼性を確保できる。しかしB-methodには制約条件の欠落を原因とした誤りが存在する場合がある。この場合、記述された仕様は、検証によって仕様内に矛盾が存在しないと評価されるにも関わらず、この仕様を基に開発されたソフトウェアの振る舞いが利用者の要求と異なる可能性がある。そこで、本研究ではB-methodと状態遷移図の2つの記法で仕様を記述し、その2つを比較することで仕様の誤りを検証する手法を提案する | |||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00349328 | |||||||
| 書誌情報 |
第79回全国大会講演論文集 巻 2017, 号 1, p. 269-270, 発行日 2017-03-16 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
