Designing an SCE for the advanced IN applying the service software verification method

The paper presents a method for efficiently verifying service software. This method is used to design a service creation environment (SCE) for NTT's advanced intelligent network (advanced IN). The authors classify types of service software verifications, and then propose a verification method based on these classifications. This verification method consists of three steps: specification verification, simulation, and an actual machine test. The SCE provides a verification environment for each verification step. Use of this SCE shows that manpower required for verification can be reduced. The paper mainly describes verification of service logic programs (SLPs), but verification of management logic programs (MLPs), and operation logic programs (OLPs) is also briefly described.