WEKO3
アイテム
モデル検査自動化ツールの開発～入力支援機能と状態遷移表縮約機能～
https://ipsj.ixsq.nii.ac.jp/records/109466
https://ipsj.ixsq.nii.ac.jp/records/109466a7a10bc0-e689-40c3-8163-0549cab40917
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-Z74-5A-3.pdf (488.3 kB)
|
Copyright (c) 2012 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | National Convention(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 2012-03-06 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | モデル検査自動化ツールの開発～入力支援機能と状態遷移表縮約機能～ | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| キーワード | ||||||||||||||
| 主題Scheme | Other | |||||||||||||
| 主題 | ソフトウェア科学・工学 | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 東芝 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 東芝 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 東芝 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 東芝 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 東芝 | ||||||||||||||
| 著者名 |
森奈実子
× 森奈実子
× 高田沙都子
× 長谷川保
× 村田由香里
× 進博正 |
|||||||||||||
| 論文抄録 | ||||||||||||||
| 内容記述タイプ | Other | |||||||||||||
| 内容記述 | モデル検査はシステムの仕様を有限の状態遷移空間として表現し， 状態遷移系を網羅的に探索することで，上流工程において不具合の 有無を検証することができる．また，筆者らが開発しているモデル 検査自動化ツールでは，状態遷移表からの検査用モデル生成などに より導入障壁を低くするよう努めている．しかし，製品開発への適 用において，状態遷移表が存在しない，あるいは大規模かつ複雑な システムのため状態爆発が懸念されるなど問題が浮上している． そこで本稿では，状態遷移図やフローチャートから状態遷移表を生成する入力支援機能や状態遷移表縮約機能について紹介する． | |||||||||||||
| 書誌レコードID | ||||||||||||||
| 収録物識別子タイプ | NCID | |||||||||||||
| 収録物識別子 | AN00349328 | |||||||||||||
| 書誌情報 |
第74回全国大会講演論文集 巻 2012, 号 1, p. 235-236, 発行日 2012-03-06 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
