文献

J-GLOBAL ID：200902262606646638   整理番号：09A1037946

モデル検査による設計検証と整合テスト

Study on Model Checking Design Models and Conformance Testing

著者 (2件)： 青木利晃 (北陸先端科学技術大学院大) ,  NGUYEN Tam Thi Minh (北陸先端科学技術大学院大)
資料名： 情報処理学会研究報告(CD-ROM)
巻： 2009  号： 2  ページ： ROMBUNNO.EMB-NO.14(4)  発行年： 2009年08月15日 
JST資料番号： Z0031C  ISSN： 2186-2583  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： モデル検査は,扱える状態数の限界などから,実装よりは状態数が少い設計モデルの検証に適していると言われている。一方で,検証した設計モデルに基づいて実装する際,設計検証で保証した性質は,実装後も成立しているべきである。そこで,我々は,設計モデルと実装が整合していることを保証する手法について研究を行っている。ここでの整合性とは,設計モデルにおいてモデル検査により保証した性質が,実装においても成立することである。この整合性が成立することを,従来から研究されている整合テスト,特に,Automata-Theoretic Conformance Test の枠組を拡張してテストすることを試みる。(著者抄録)

シソーラス用語： *モデル検査 ,  *プログラム検査 ,  実装設計 ,  モデル ,  コンシステンシー【計算機】 ,  *オートマトン ,  オートマトン理論 ,  ソフトウェア設計 ,  ソフトウェア工学
準シソーラス用語： 設計検証 ,  設計モデル ,  整合性

分類 (3件)： 計算理論  (JB02000A) ,  計算機システム開発  (JD02010R) ,  オートマトン理論  (JB04000O)

タイトルに関連する用語 (4件)： モデル検査 ,  設計検証 ,  整合 ,  テスト