有限オ-トマトンに基づくシステムの試験系列自動生成手法の提案--単一遷移検査系列法
スポンサーリンク
概要
著者
関連論文
- 通信システムの段階的な試験のための試験系列自動生成手法とその実現
- SDLプログラマの提案
- 試験仕様記述へのSDLの適用性について
- 状態遷移モデルから通信ソフトウェアへの写像方法についての一考察
- 形式手法による通信ソフトウェア試験データの生成とその試験法
- SDLに基づく通信ソフトウェア開発環境
- リソース指向分散環境 RODS の提案と実現
- リソース指向分散処理環境の実装及び評価
- 分散処理環境におけるオブジェクト実現方式
- 適用形態を考慮した分散処理システムのモデル化
- 自律協調分散システム開発環境 : 協調作業支援への適用
- 自律協調分散システム開発環境Noahの通信機構
- 自律協調分散システムNoahにおける協調機構
- 自律協調分散システムNoahの通信機構の実現
- 自律協調分散システムNoahにおけるエージェントの制御機構
- 小規模システムにおけるメッセージ通信
- 同一機種分散システムにおける負荷分散方式
- 試験仕様記述用言語TTCNの特質と処理系の現状と動向 (通信システムの形式記述技法の標準化)
- 有限オ-トマトンに基づくシステムの試験系列自動生成手法の提案--単一遷移検査系列法
- SDLプログラマの改良項目の検討
- 通信プロトコル試験系列生成手法に関する一考察
- マルチパーティテスタの設計
- 図式言語定義法の一検討
- 国際標準形式記述技法に基づく体系的試験支援環境FORESTの提案と実現
- 仕様記述言語LOTOSの図式表現
- 通信システム試験系列生成手法と仕様の特性に関する一考察
- 通信プロトコルに対する段階的な試験系列の生成方法
- 通信ソフトウェア向けオブジェクト指向言語superC