通信システムの要求充足問題のペトリネットによるモデル化について
スポンサーリンク
概要
- 論文の詳細を見る
本稿は通信システムソフトウェアのテストの方法について記述する. テストの中でも要求仕様の意味検証に着目し, 実際に作成されたシステムの動作実行結果を表すトレースログが要求仕様であるシナリオを充足するか否かの充足検証について考察する. 充足検証問題の応用上の観点からシナリオの記述形式であるMSCの拡張記法を提案する. また充足検証を行うため拡張記法に対するペトリネット変換についても同様に提案を行い充足検証に対する考察を行った.
- 社団法人電子情報通信学会の論文
- 1997-07-11
著者
関連論文
- 並列プログラムの動作評価に関する一検討
- ATM交換機の試験環境
- 通信ソフトのリグレッションテストに関する一考察
- 通信ソフトウェアのテストにおけるMSCで記述された要求仕様のペトリネットを利用した意味検証と充足検証の方法 (コンカレント・コラボレーション技術論文小特集)
- クロス試験環境におけるリグレッションテストの一考察
- 自動リグレッションテストの検証法
- テストプロセスに着目したテスト支援システム
- クロス環境試験におけるメッセージ定義の効率化
- クロス環境における通信システムの回帰試験
- 通信システムのクロス環境におけるテスト支援
- データベースシステムの概要設計のための一考察
- 通信システムのクロステスト環境におけるテスト支援 (ソフトウェア生産)
- 通信SDL仕様シミュレータにおけるメッセージ送受時間について
- 中間言語にペトリネットを用いたSDL仕様設計の一方式
- マルチエージェント協調プロトコルのコンカレントモデル
- マルチエージェント協調機構のペトリネットによるモデル化の一考察
- コンカレントシステムの仕様検証手法
- ソフトウェアメトリックスを導入するソフトウェア開発支援手法
- ソフトウェアメトリックスを利用する統合的開発支援環境の構築法
- ソフトウェアメトリックスを導入する通信ソフトウェア開発支援手法
- コンカレント工学の技術を利用するソフトウェアの計量化についての一考察
- ソフトウェア開発プラットフォ-ム--多様化する通信サ-ビスの実現をめざして (ネットワ-ク特集)
- 通信システムの要求充足問題のペトリネットによるモデル化について
- WWWを利用したソフトウェアの設計情報管理手法
- 通信ソフトウェアの開発支援のための検証
- FDTの並行動作表示における比較
- オブジェクト指向並行設計支援システム
- オブジェクト指向並行設計支援システム
- 模倣関係に基づくSDLダイナミックアナライザ
- OMTに基づくC++用クラス設計支援ツール
- C++言語用HCPチャ-トシステム (ソフトウェア生産)
- オブジェクト指向対応HCPチャートシステム
- 通信ソフトウェア設計支援システムにおけるSDLを用いたプロセス設計に関する一考察