講演名 1994/7/22
高度INサービス生成環境におけるサービスソフトウェア検証法
岡本 光浩, 新津 善弘,
PDFダウンロードページ PDFダウンロードページへ
抄録(和) 本報告では、NTTの高度インテリジェントネットワーク(Advanced IN)におけるサービスソフトウェアの効率的な検証方法とそれを実現するためのサービス生成環境(SCE)構造法について述べる。まずサービスソフトウェアに必要な検証を分類する。分類された検証を網羅すること、誤りはなるべく上流工程で検出するなどを考慮し、仕様検証、シミュレーション、および実機試験からなる検証方法を提案する。SCEでは、これらの各検証に対応した検証環境を設ける。シミュレーションを利用し、実機試験をできるだけ避けること、修正はすべてサービス仕様レベルでおこなうことにより、従来、検証に要していた工数を削減できる見通しが得られた。
抄録(英) This paper describes the efficient verification method of service software and the design of a service creation environment(SCE)for NTT′s Advanced Intelligent Network(Advanced IN )applying this verification method. First,we classify the verification of service softwares,and then propose a verification method based on these classification.This verification method consists of three steps:specification verification,simulation,and an actual machine test.SCE prepares for verification environments corresponding to these verification steps.It became clear that the verification method described in this paper can reduce the manpower required for service software verifications before.
キーワード(和) インテリジェントネットワーク / サービス生成環境 / サービス仕様検証 / ソフトウェア自動生成
キーワード(英) IN / Service Creation Environment / Specification Verification / CASE
資料番号 SSE94-85
発行日

研究会情報
研究会 SSE
開催期間 1994/7/22(から1日開催)
開催地(和)
開催地(英)
テーマ(和)
テーマ(英)
委員長氏名(和)
委員長氏名(英)
副委員長氏名(和)
副委員長氏名(英)
幹事氏名(和)
幹事氏名(英)
幹事補佐氏名(和)
幹事補佐氏名(英)

講演論文情報詳細
申込み研究会 Switching Systems Engineering (SSE)
本文の言語 JPN
タイトル(和) 高度INサービス生成環境におけるサービスソフトウェア検証法
サブタイトル(和)
タイトル(英) A Service Software Verification Method in a Service Creation Environment of an Advanced IN
サブタイトル(和)
キーワード(1)(和/英) インテリジェントネットワーク / IN
キーワード(2)(和/英) サービス生成環境 / Service Creation Environment
キーワード(3)(和/英) サービス仕様検証 / Specification Verification
キーワード(4)(和/英) ソフトウェア自動生成 / CASE
第 1 著者 氏名(和/英) 岡本 光浩 / Mitsuhiro Okamoto
第 1 著者 所属(和/英) NTT
NTT
第 2 著者 氏名(和/英) 新津 善弘 / Yoshihiro Niitsu
第 2 著者 所属(和/英) NTT
NTT
発表年月日 1994/7/22
資料番号 SSE94-85
巻番号(vol) vol.94
号番号(no) 168
ページ範囲 pp.-
ページ数 6
発行日