智能网业务验证技术

以国际电信联合委员会（ＩＴＵ－Ｔ）的能力集ＣＳ－２标准为基础，研究了智能网中业务验证技术，随着智能网的发展，用户越来越迫切的要求电信部门能够快速、经济，准确地提供所需的各项新业务。

Study of the service verification technology in intelligent networks

The service verification of intelligent networks (IN) is described on the basis of ITU T CS 2 (Capacity Set 2) Recommendation. With the development of the IN, the telecommunication department was asked to offer the IN service fleetly, economically and accurately. The service verification is just performed to ensure the validity of the new service, which is of great importance for offering the IN service with high quality. This paper first discusses the qualifier needed in service verification; then analyzes the verification of the holistic qualifier, and finally, a scheme of using Hoare logic to verify consistency, completeness and validity of service logic is presented.