| Presentation | 1994/7/22 A Service Software Verification Method in a Service Creation Environment of an Advanced IN Mitsuhiro Okamoto, Yoshihiro Niitsu, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | 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. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | IN / Service Creation Environment / Specification Verification / CASE |
| Paper # | SSE94-85 |
| Date of Issue |
| Conference Information | |
| Committee | SSE |
|---|---|
| Conference Date | 1994/7/22(1days) |
| Place (in Japanese) | (See Japanese page) |
| Place (in English) | |
| Topics (in Japanese) | (See Japanese page) |
| Topics (in English) | |
| Chair | |
| Vice Chair | |
| Secretary | |
| Assistant | |
| Paper Information | |
| Registration To | Switching Systems Engineering (SSE) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A Service Software Verification Method in a Service Creation Environment of an Advanced IN |
| Sub Title (in English) | |
| Keyword(1) | IN |
| Keyword(2) | Service Creation Environment |
| Keyword(3) | Specification Verification |
| Keyword(4) | CASE |
| 1st Author's Name | Mitsuhiro Okamoto |
| 1st Author's Affiliation | NTT() |
| 2nd Author's Name | Yoshihiro Niitsu |
| 2nd Author's Affiliation | NTT |
| Date | 1994/7/22 |
| Paper # | SSE94-85 |
| Volume (vol) | vol.94 |
| Number (no) | 168 |
| Page | pp.pp.- |
| #Pages | 6 |
| Date of Issue | |