EFSM適合性試験系列生成手法の誤実装検出能力の実験的評価
スポンサーリンク
概要
- 論文の詳細を見る
本稿では拡張有限状態機械(EFSM)モデルの通信プロトコルに対する適合性試験系列の現実的な誤り検出能力の実験的評価について述べる.評価実験に際して,プロトコル仕様を正しく実装したCプログラムからC言語上のフォールトを1個または2個含む実装を生成し,その実装が試験系列を正しく実行するかを観察するシステムを開発した.2つの例プロトコルを対象に,これまでに提案された各種試験系列生成手法による試験系列の誤り検出能力を評価した結果,文献4)の手法は他の手法より誤り検出能力が高いことが確認できた.
- 一般社団法人情報処理学会の論文
- 1999-07-15
著者
-
樋口 昌宏
大阪大学大学院基礎工学研究科
-
小原 勝
大阪大学大学院工学研究科
-
藤井 護
大阪大学大型計算機センター
-
森 亮憲
大阪大学大学院基礎工学研究科
-
小原 勝
大阪大学大学院基礎工学研究科:(現)松下電器産業株式会社
-
藤井 護
大阪大学大学院基礎工学研究科
関連論文
- 並行周期EFSMに対するパラメトリックモデル検査手法(LAシンポジウム(計算機科学基礎理論ワークショップ)論文小特集)
- 並行周期EFSMに対するパラメトリックモデル検査およびパラメタ条件簡約高速化の一手法
- ミニコンピュータ複合体とそのオペレーティング・システム
- 通信プロトコルのフェーズ連結法とそれに基づく検証法
- 有界到達可能性解析を用いた非有界通信プロトコルの解析法
- 拡張有限状態機械でモデル化したOSIセションプロトコルの検証
- 優先サービスを含む通信プロトコルの安全性の検証
- 多重文脈自由文法のある部分クラスに対する効率の良い構文解析法について
- 自然語仕様から代数的仕様への,文脈を考慮した変換 : OSIセション層プロトコル仕様を例にして
- Head Languageおよび多重文脈自由言語の所属問題
- 一般化文脈自由文法と多重文脈自由文法
- 非階層型名前空間のファイルシステムへの適用に関する実験的評価
- EFSM適合性試験系列自動生成における系列長短縮化について
- 通信プロトコル適合性試験におけるレジスタ操作に対する試験系列の生成手法(新世代データベース技術 : インターネット・マルチメディア・モーバイルを中心として)
- EFSM に対する適合性試験系列生成手法のミューテーションシステムを用いた実験評価
- EFSM に対する適合性試験系列生成手法のミューテーションシステムを用いた実験評価
- ECFSMモデル通信プロトコル検証のための不変式の半自動生成
- EFSMモデル通信プロトコルの時制に関する性質の一検証法
- 通信プロトコルにおけるレジスタ操作の適合性試験系列生成手法の実験評価
- ECFSMモデルの通信プロトコルに故障耐性機能を付加する一手法
- ECFSMモデルの通信プロトコルの検証のための不変式の自動生成システムの開発
- ECFSMモデルの通信プロトコルへの故障耐性機能の半自動生成
- ECFSMモデル通信プロトコルの検証システムにおける不変式の自動生成
- あるクラスの拡張有限状態機械におけるレジスタ操作の試験系列の生成手法
- 拡張有限状態機械の適合性試験の一手法 : レジスタ代入の正しさの試験
- 拡張有限状態機械でモデル化された通信プロトコルの生存性の検証法
- 拡張有限状態機械モデルの通信プロトコルのlivenessの検証法
- 拡張有限状態機械でモデル化された通信プロトコルのlivenessの検証法
- コンピュータ・ネットワークの技法を用いたRJEシステム
- 分散データベースにおける通信量を考慮した動的データ配置法
- 逐次化グラフを用いた複合トランザクションの並行制御
- 待ち時間を考慮したΔ因果順序配送アルゴリズムの提案
- 待ち時間を考慮したΔ因果順序配送アルゴリズムの提案
- 配送時間を考慮した因果関係を保存するメッセージ配送
- 部分トランザクションの独立性を考慮した入れ子トランザクションモデル
- 多重化データベースにおけるsite equorumを用いたデータの一貫性制御
- 多重化データベースにおけるsite quorumを用いたデータの一貫性制御
- 多重化データベースにおける仮想分割と再生成を用いた一貫性制御
- 書き込み保留を用いた逐次化グラフスケジューリング
- 分散システムにおける因果関係を保存するメッセージ 配送プロトコル
- 分散型データベースにおける逐次化グラフ検査を用いたスケジューラの実現と評価
- 分散型データベースにおける逐次化グラフを用いたスケジューリングアルゴリズム
- PDP-11/20デュアルシステムにおけるデバイスシェアリングシステムの製作
- フェライト-マルテンサイト二相組織鋼のき裂発生に及ぼす微視的不均質形態の影響に関する解析的検討
- (分散システム運用・管理)高速ネットワーク向けネットワークモニタ回路の設計と実装(オブジェクト指向技術)
- 微視的不均質をもつフェライト-マルテンサイト二相組織鋼における破壊じん性試験でのき裂の発生および伝ぱ挙動
- 510 微視的不均質をもつフェライト-マルテンサイト二相組織鋼の破壊特性 : 第 2 報き裂発生に及ぼす不均質形態の影響に関する解析的検討
- 509 微視的不均質をもつフェライト-マルテンサイト二相組織鋼の破壊特性 : 第 1 報三点曲げ試験による微小き裂の発生および伝ぱ挙動
- 238 フェライト-マルテンサイト二相鋼の微視的応力・ひずみ分布特性の解析的検討 : 微視的不均質をもつ二相組織鋼のマイクロき裂発生特性(第2報)
- 237 フェライト-マルテンサイト二相鋼におけるき裂発生挙動 : 微視的不均質をもつ二相組織鋼のマイクロき裂発生特性(第1報)
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- 観測不可能な非決定動作を含む並行DFSM群としてモデル化される通信プロトコルの適合性試験法(マルチメディアコミュニケーションシステム)
- タイマシステムコールを用いるDFSMプロトコルに対する試験系列生成手法(マルチメディアコミュニケーションシステム)
- タイマを用いる有限状態機械でモデル化されたシステムの検証手続き
- EFSM適合性試験系列生成手法の誤実装検出能力の実験的評価
- 並行周期EFSMに対するパラメトリックモデル検査およびパラメタ条件簡約高速化の一手法
- 並行周期EFSMに対するパラメトリックモデル検査およびパラメタ条件簡約高速化の一手法
- 通信プロトコルの試験系列生成問題に対するSATアルゴリズム適用法の提案
- メディア同期プロトコルの機能試験の一手法
- タイマシステムコールを用いるFSMプロトコルの適合性試験について
- タイマシステムコールを用いるFSMプロトコルの適合性試験について
- 拡張有限状態機械モデルで書かれた通信プロトコルの適合性試験系列の自動生成の一手法
- マジックセット法を用いた問合せ処理の停止性について
- マジックセット法を用いた演鐸データベース評価時の停止性について