文献
J-GLOBAL ID:200902262606646638   整理番号:09A1037946

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

Study on Model Checking Design Models and Conformance Testing
著者 (2件):
資料名:
巻: 2009  号:ページ: ROMBUNNO.EMB-NO.14(4)  発行年: 2009年08月15日 
JST資料番号: Z0031C  ISSN: 2186-2583  資料種別: 逐次刊行物 (A)
記事区分: 原著論文  発行国: 日本 (JPN)  言語: 日本語 (JA)
抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
モデル検査は,扱える状態数の限界などから,実装よりは状態数が少い設計モデルの検証に適していると言われている。一方で,検証した設計モデルに基づいて実装する際,設計検証で保証した性質は,実装後も成立しているべきである。そこで,我々は,設計モデルと実装が整合していることを保証する手法について研究を行っている。ここでの整合性とは,設計モデルにおいてモデル検査により保証した性質が,実装においても成立することである。この整合性が成立することを,従来から研究されている整合テスト,特に,Automata-Theoretic Conformance Test の枠組を拡張してテストすることを試みる。(著者抄録)
シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

準シソーラス用語:
シソーラス用語/準シソーラス用語
文献のテーマを表すキーワードです。
部分表示の続きはJDreamⅢ(有料)でご覧いただけます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。

分類 (3件):
分類
JSTが定めた文献の分類名称とコードです
計算理論  ,  計算機システム開発  ,  オートマトン理論 
タイトルに関連する用語 (4件):
タイトルに関連する用語
J-GLOBALで独自に切り出した文献タイトルの用語をもとにしたキーワードです

前のページに戻る