通信プロトコル試験系列生成手法に関する一考察
スポンサーリンク
概要
- 論文の詳細を見る
通信システムの試験では,通常は仕様から抽出された試験系列が用いられる。試験系列は,従来人手によって抽出されてきたが,試験の信頼性やコストの点から自動的に生成する方法が研究されてきた。SW法もその一つであるが,試験系列の生成アルゴリズムの特徴として,試験系列が多くの部分系列に分割され,同じ性質の系列が多く存在する特性を持つ,そして,その系列長は,SW法が採用している状態判定のための系列である特性集合Wの要素系列数に依存していることが明かとなっている。本稿では,この特性集合の生成方式を要素系列数をなるべく少なく生成することにより,SW法の試験系列をよりコンパクトにするための生成アルゴリズムについて報告する。
- 1992-02-24
著者
関連論文
- モバイルインターネットサービスの体系化に関する一考察 : アプリケーションの体系化とシステムアーキテクチャの提案
- 通信システムの段階的な試験のための試験系列自動生成手法とその実現
- 国際標準仕様記述言語SDLを用いたオフィス情報システム記述支援環境の実現
- SDLプログラマの提案
- 試験仕様記述へのSDLの適用性について
- 通信システムにおけるペトリネットに基づいたSDLの実行可能仕様への拡張についての一考察
- 状態遷移モデルから通信ソフトウェアへの写像方法についての一考察
- SDLグラフィックエディタの設計と製作
- SDLグラフィックエディタ : 高速入力方法
- SDLグラフィックエディタ : 機能の特徴
- SDLグラフィックエディタ : 概要
- オフィスシステムの形式的記述へのアプローチ
- プロトコルの形式的記述によるプログラム自動生成システムの設計と作成
- 平衡点解析によるトークンバスプロトコルの解析
- Mini-MAPオブジェクトディクショナリの性能評価
- OSI-TPにおけるプロトコル記述方法に関する一考察
- 放送機能を利用した2相コミットメント制御プロトコル
- ミニMAPオブジェクトディクショナリシステムの性能評価
- オブジェクト指向言語superCの改良
- CTRON拡張OS適合性試験の検討
- 差分更新を実現する分散オブジェクト再構成ミドルウェアの実装と検証(ミドルウェア, マルチメディア, 分散, 協調とモバイル(DICOMO2004))
- 分散ハッシュによる名前管理とモバイルチャットシステムへの応用(協調作業・ヒューマンインタフェース)
- 分散ハッシュによる名前管理とモバイルチャットシステムへの応用(セッション5 : 協調作業・ヒューマンインタフェース))
- 分散ハッシュによる名前管理とモバイルチャットシステムへの応用
- 無線網における高信頼マルチキャストのハイブリッド誤り回復方式の性能解析
- アドホックネットワークにおけるコアを複数持つ多対多マルチキャスト木の構築方法(セッション1 : 移動体通信とマルチキャスト)
- リンクの負荷と木の深さを考慮したアプリケーションレベルマルチキャストツリーの動的構築方法(セッション1 : 移動体通信とマルチキャスト)
- 試験ポリシを用いたリアルタイム分散オブジェクトシステム試験方式(交換)
- 通信可能時間を考慮したアドホックネットワークにおけるマルチパスルーティング方式の提案(セッション3:アドホックネットワーク)
- 携帯電話での擬似双方向通信に基づくユビキタスアプリケーションの提案(セッション3 : モバイルアプリケーション)
- 通信品質を考慮したアドホックネットワークのためのマルチパスルーティング方式の提案(セッション2:ネットワーク応用)
- アドホックネットワークにおける多対多マルチキャスト木の構築方法(セッション1:無線LAN,アドホックネットワーク)
- アドホックネットワークにおけるマルチキャストルーティングの高信頼化(セッション1:無線LAN,アドホックネットワーク)
- 通信品質を考慮したアドホックネットワークのためのマルチパスルーティング方式の提案
- アドホックネットワークにおける多対多マルチキャスト木の構築方法
- 分散仮想環境システムの相互運用におけるイベント配送方式のモデル化と評価
- リンクの負荷を考慮したアプリケーションレベルマルチキャストツリーの動的構築方法(セッション7 : ネットワークセキュリティ&ネットワーク管理)
- 自己防犯システムの開発
- 形式手法による通信ソフトウェア試験データの生成とその試験法
- OSIディレクトリ規格に基づくアドレス検索システム(1) : システム概要とプロトコル
- OSIディレクトリサービス仕様の実現上の課題
- SDLに基づく通信ソフトウェア開発環境
- LOTOS Serverとモジュール仕様記述
- イーサネットLAN上におけるTCCS実現のための帯域、ディレーの予測・制御について
- STOC対応ネットワーク帯域、性能見積りとその管理の検討
- ソフトTCCSオブジェクトクラス・STOCについて
- ソフトTCCSとその開発検証システムの構築について
- PL/Iの形式的定義について(4)
- PL/Iの形式的定義について(2)
- PL/Iの形式的定義について(1)
- リソース指向分散環境 RODS の提案と実現
- リソース指向分散処理環境の実装及び評価
- 分散処理環境におけるオブジェクト実現方式
- 適用形態を考慮した分散処理システムのモデル化
- タプルスペース通信の複製管理方法 (マルチメディア分散・協調コンピューティング)
- 複製付きタプルスペース通信の管理方法と実装
- 分散共有メモリシステムの複製管理方式
- 分散共有メモリシステムの複製管理方式
- 分散システムにおけるデータアクセスの待ち行列モデルによる性能解析方法の検討
- 役割に基づくアプリケーションの振舞い制御
- 高位プロトコルを含めたLANシステムの試作
- マイクロコンピュータ用言語 PL/Iμの設計と作成
- 技術文書管理システムにおける複合ブラウジング方式の実現
- 自律協調分散システム開発環境 : 協調作業支援への適用
- 自律協調分散システム開発環境Noahの通信機構
- 自律協調分散システムNoahにおける協調機構
- 自律協調分散システムNoahの通信機構の実現
- 自律協調分散システムNoahにおけるエージェントの制御機構
- 小規模システムにおけるメッセージ通信
- unixのリアルタイム性向上へのアプローチ[2]
- unixのリアルタイム性向上へのアプローチ[1]
- 同一機種分散システムにおける負荷分散方式
- 日本語文章推敲支援ツール「推敲」と文書処理システムとの結合方式に対する検討
- 標準仕様記述言語の概観 (通信システムの形式記述技法の標準化)
- 特集「通信システムの形式記述技法の標準化」の編集にあたって
- 通信プロトコルの仕様記述言語は何に役立つか
- ネットワークアーキテクチャの標準化動向 6. プロトコルの形式記述とコンフォーマンス試験
- PL/I の形式的定義について(3)
- 試験仕様記述用言語TTCNの特質と処理系の現状と動向 (通信システムの形式記述技法の標準化)
- 通信ソフトウェア開発支援環境 (ソフトウェア生産技術特集)
- 光スタ-ネットワ-クによる電子メ-ルシステム (ディジタル通信特集)
- 有限オ-トマトンに基づくシステムの試験系列自動生成手法の提案--単一遷移検査系列法
- フロー単位に順序制御を行うSelective-Repeat ARQの遅延時間解析(EthernetのOAM・QoS, ブロードバンドアクセス,電灯線通信,ホームネットワーク,一般)
- SDLプログラマの改良項目の検討
- 通信プロトコル試験系列生成手法に関する一考察
- マルチパーティテスタの設計
- 図式言語定義法の一検討
- 国際標準形式記述技法に基づく体系的試験支援環境FORESTの提案と実現
- 仕様記述言語LOTOSの図式表現
- 通信システム試験系列生成手法と仕様の特性に関する一考察
- 通信プロトコルに対する段階的な試験系列の生成方法
- 通信ソフトウェア向けオブジェクト指向言語superC
- OSIディレクトリシステムにおけるDIB(ディレクトリ情報ベース)のオブジェクト指向アプローチによる実現
- 分散処理環境へのネットワーク管理の適用に関する一検討
- OSIネットワーク管理ソフトウェアの設計
- OSI-TPにおけるコミット制御手順の最適化に関するー考察
- OSI通信ソフトウェアにおける性能測定方法の検討
- 統合ネットワーク管理システムにおける管理情報/プロトコルの変換方式
- ディレクトリプロトコルの拡張提案と運用上の検討課題について
- OSI管理情報支援ツールMINTの設計