通信ソフトウェアの開発支援のための検証
スポンサーリンク
概要
- 論文の詳細を見る
本研究報告では通信ソフトウェア開発において開発言語にC_<++>を, そして仕様の記述にSDLを用いた場合の検証方式について検討を行った. 最初にオブジェクト指向を使った通信ソフトウェアの開発における, 仕様記述の方法を提案した. 検証方式については, 検証を狭義の検証(verification)と確認(validation)に分け, さらに静的な解析で検出できるものと動的な検証で検出できるものやユーザの確認が必要となるものに分類し, 仕様検証をサポートするツールとその課題について述べた.
- 社団法人電子情報通信学会の論文
- 1996-03-15
著者
-
浜田 信
日本電信電話株式会社NTTネットワークサービスシステム研究所
-
浜田 信
NTTネットワークサービスシステム研究所
-
安藤 津芳
沖電気工業(株)
-
安藤 津芳
沖電気工業株式会社
-
三宅 和裕
沖電気工業株式会社
関連論文
- ユビキタスサービス合成機構を用いたユーザコンテクストアウェア型情報提供アプリケーションシステム(セッション8-B : サービス指向アーキテクチャ)
- ユビキタス情報配信システムにおけるユーザコンテキストおよびソーシャル・キャピタルの評価(モバイルコンピューティング,モバイルアプリケーション,ユビキタス通信,モバイルマルチメディア通信)
- ユビキタス実証実験(ソーシャル・キャピタル・サービスin青森)におけるユビキタス情報配信システム(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- ユーザ履歴を用いたユビキタス環境向け情報配信システム(ユビキタス)
- R&Dホットコーナー ユビキタス情報配信システムの実用化に向けた実証実験
- 買物支援サービス実証実験を通したユビキタスサービス合成技術の検証(ネットワーク・インターネット応用,産学連携論文)
- B-6-108 ファイル更新におけるパッチ適用管理の検討(B-6.ネットワークシステム,一般セッション)
- B-6-50 リアルタイムOS用並行処理型汎用デバッガ
- 5ZC-1 プログラム変更を考慮したテストカバレッジ率に関する一考察
- 並列プログラムの動作評価に関する一検討
- 5ZC-9 C++ソフトウェアにおけるバグとメトリクスデータとの相関
- 中間言語にペトリネットを用いたSDL仕様設計の一方式
- ユビキタス実証実験(ソーシャル・キャピタル・サービスin青森)におけるユビキタス情報配信システム(アプリケーション品質,モバイルP2P,ユビキタスネットワーク,アドホックネットワーク,センサネットワーク,一般)
- ユビキタスサービス合成機構を用いたユーザコンテクストアウェア型情報提供アプリケーションシステム(セッション8-B : サービス指向アーキテクチャ)
- マルチエージェント協調プロトコルのコンカレントモデル
- マルチエージェント協調機構のペトリネットによるモデル化の一考察
- コンカレントシステムの仕様検証手法
- ソフトウェアメトリックスを導入するソフトウェア開発支援手法
- ソフトウェアメトリックスを利用する統合的開発支援環境の構築法
- ソフトウェアメトリックスを導入する通信ソフトウェア開発支援手法
- コンカレント工学の技術を利用するソフトウェアの計量化についての一考察
- ユビキタス情報配信システムにおけるユーザコンテキストおよびソーシャル・キャピタルの評価(モバイルコンピューティング,モバイルアプリケーション,ユビキタス通信,モバイルマルチメディア通信)
- ロードモジュールへの命令挿入による実行時特性計測
- ロードモジュールへの命令挿入による実行時特性計測
- B-6-70 バグの影響範囲とプログラムの複雑度との相関
- 関数トレース情報収集方式に関する一考察
- 品質管理指標バグ密度のバラツキ分布と警告手順
- ユビキタス環境向けサービス合成システムによるアクセス端末を考慮した遠隔情報獲得システム(ユビキタス時代のNWシステム・サービス, シームレス通信サービス, 一般)
- B-6-102 マルチプロセッサ対応デバッグシステムの検討
- 端末状態を考慮したユビキタスサービス合成システムの検討
- HAクラスタにおけるメモリ系間転送方式 (ネットワークシステム)
- B-6-39 自律分散P2Pネットワークにおけるトレース機構の検討
- ソフトウェア開発プラットフォ-ム--多様化する通信サ-ビスの実現をめざして (ネットワ-ク特集)
- 通信システムの要求充足問題のペトリネットによるモデル化について
- WWWを利用したソフトウェアの設計情報管理手法
- 通信ソフトウェアの開発支援のための検証
- FDTの並行動作表示における比較
- オブジェクト指向並行設計支援システム
- オブジェクト指向並行設計支援システム
- 模倣関係に基づくSDLダイナミックアナライザ
- OMTに基づくC++用クラス設計支援ツール
- C++言語用HCPチャ-トシステム (ソフトウェア生産)
- オブジェクト指向対応HCPチャートシステム
- 通信ソフトウェア設計支援システムにおけるSDLを用いたプロセス設計に関する一考察
- 設計青報の階層化に基づいた試験手順情報の生成
- HAクラスタにおけるメモリ系間転送方式(NWシステム(信頼性))
- B-6-41 共有ディスクを持つシステムにおける排他制御方式の提案(B-6.ネットワークシステム)