A verification method, for service script of the intelligent network

An intelligent network (IN) model is examined to study the verification technologies that arise from its characteristics. In this model, the IN architecture abstracts physical resources in the transport network and a service logic program (SLP) controls the virtualized resources (VR) to achieve IN services. The characteristics of SLP control over the virtualized resources are examined, the verifications are classified, and a verification system is developed. Using this verification system, IN services high in quality and reliability can be achieved even by inexperienced programmers in a relatively short time