交換処理プログラム検証支援システムのPBXソフトウェア開発への適用結果
スポンサーリンク
概要
- 論文の詳細を見る
交換処理プログラムの検証は主としてターゲットマシン上での実機試験により行われており,多くの工数を要している。試験工程を効率化するために,我々は実機を用いずにシミュレータによりエラーを自動的に発見する,交換処理プログラム検証支援システムSVEX(Switching Program Verification Expert System)を開発した。本稿では,SVEXをPBX(構内交換機)のソフトウェア開発に適用した結果について述べる。
- 一般社団法人情報処理学会の論文
- 1990-09-04
著者
関連論文
- B-7-52 ネットワーク省電力化に向けた経路制御方式 : 数理計画問題への帰着(B-7.情報ネットワーク,一般セッション)
- B-7-49 ネットワーク省電力化に向けたパケット転送スケジューリング : バッファレスネットワークへの適用(B-7.情報ネットワーク,一般セッション)
- ネットワークの省電力化を実現するパケット転送スケジューリング(低消費電力化)
- IPサービス制御アーキテクチャ(EaseNet)を用いたセキュアシームレスローミングシステムの開発
- IPサービス制御アーキテクチャ(EaseNet)を用いたセキュアシームレスローミングシステムの開発(セッション3)
- ネットワークの省電力化を実現する最適経路選択アルゴリズム(ルーティング・低消費電力化)
- ネットワークの省電力化を実現するパスベーストラヒック制御方式(ルーティング・低消費電力化)
- B-7-108 グリーンネットワークに向けた一検討(3) : ECOルーティング(B-7.情報ネットワーク,一般セッション)
- B-7-106 グリーンネットワークに向けた一検討(1) : 技術課題(B-7.情報ネットワーク,一般セッション)
- B-7-107 グリーンネットワークに向けた一検討(2) : ECOスイッチング(B-7.情報ネットワーク,一般セッション)
- ユーザ情報を活用したサービス制御基盤の検討 : ユーザ情報の追跡防止機能とその実装評価(ユビキタスサービス管理,ユビキタスネットワーク,モバイルネットワーク及び一般)
- 状況依存型サービス提供のための情報流通方式(有線/無線シームレスネットワーク,ネットワーク制御,無線通信,モバイルネットワーキング,Mobile IP,一般)
- 状況依存型サービス提供のための情報流通方式(有線/無線シームレスネットワーク,ネットワーク制御,無線通信,モバイルネットワーキング,Mobile IP,一般)
- B-6-81 大規模化を想定したユビキタス位置管理機構の一検討(B-6. ネットワークシステム)
- 状況依存型サービス起動及びリソース検索方式((フォトニック)IPネットワーク技術,(光)ノード技術,WDM技術,一般)
- 状況依存型サービス起動及びリソース検索方式((フォトニック)IPネットワーク技術,(光)ノード技術,WDM技術,一般)
- ユビキタスサービスの基盤となる位置情報管理アーキテクチャ(有線無線シームレス, モバイルネットワーキング, Mobile IP, 無線通信, ネットワーク制御, 一般)
- ユビキタスサービスの基盤となる位置情報管理アーキテクチヤ(有線無線シームレス,モバイルネットワーキング,Mobile lP,無線通信,ネットワーク制御,一般)
- 端末間暗号化通信のためのネットワークによる鍵交換代行方式
- 統合IPサービス制御アーキテクチャ(EaseNet)の高位レイヤサービスへの適用方式
- 統合IPサービス制御アーキテクチャ(EaseNet)のIPv6への適用方式
- 統合IPサービス制御アーキテクチャ(EaseNet)のIPv6への適用方式
- 統合IPサービス制御アーキテクチャ(EaseNet)のIPv6への適用方式
- 統合IPサービス制御アーキテクチャ(EaseNet)におけるサービスカスタマイズ機能
- 統合IPサービス制御アーキテクチャ(EaseNet)におけるサービスカスタマイズ機能
- 統合IPサービス制御アーキテクチャ(EaseNet)のMobile IPをベースとしたプロトタイプの試作
- SSE2000-83 / RCS2000-72 統合IPサービス制御アーキテクチャ(EaseNet)のMobile-IPv6への適用方式
- SSE2000-83 / RCS2000-72 統合IPサービス制御アーキテクテャ(EaseNet)のMobile-IPv6への適用方式
- 統合IPサービス制御アーキテクチャ(EaseNet)におけるサービスカスタマイズ機能
- 共同作業支援のための設計情報データベースシステムの試作
- ハイパーテキストを用いたソフトウェア設計ドキュメント及び知識のモデル化に関する検討
- 移動通信をベースとする統合IPサービス制御アーキテクチャ
- 移動通信をベースとする統合IPサービス制御アーキテクチャ
- 広域LAN間通信における機能配置の検討
- サービス制御とオペレーションの統合アーキテクチャの実現方式に関する一検討
- 知識ベース利用のSDL支援システム
- 移動通信をベースとする統合IPサービス制御アーキテクチャ
- BISUP網を経由したグローバルPNNIインターネットワークにおけるPG階層間ショトカットVC設定方式
- BISUP網におけるグローバルPNNIインターネットワークの実現に向けた一検討
- BISUP網におけるグローバルPNNIインターネットワークの実現に向けた一検討
- マルチメディアネットワークのためのサービス制御方式 : 第三者呼制御を可能とする呼管理方式
- 広帯域ISDN交換システムの通話路制御ソフトウェアに関する検討
- 交換処理プログラム検証支援システムのPBXソフトウェア開発への適用結果
- 可視化ツールVickey V3-(2)
- 可視化ツールVickey V3-(1)
- ソフトウェア資産管理と設計情報の共有化
- データ構成図に着目したドキュメント自動作成及び設計支援方式
- 境界領域技術としてのコーデザイン適用に関する一考察
- BI-3-4 ネットワーク省電力化を実現する運用管理技術(BI-3.グリーンICT:通信機器からデータセンタの低消費電力技術,依頼シンポジウム,ソサイエティ企画)
- 省電力設計に基づくネットワーク構成の最適化(Green IT(1))
- B-7-7 QoS保証型データセンタネットワークの一検討(B-7. 情報ネットワーク,一般セッション)
- B-7-1 データセンタネットワークにおけるトラフィックデマンドを満たす経路制御方式(B-7.情報ネットワーク,一般セッション)