The unique factors of case-based systems (CBS) make verification and validation of CBS different from other types of artificially intelligent systems.
基于事例系统（CBS）本身的特性使得其验证和有效性不同于其它的人工智能系统。
2
Based on the ITU-T Intelligent Network CS Recommendation, the paper studies the formal description techniques (FDT) for in service and the theory and methods in in's service verification.
The formal description techniques for intelligent network (IN) service and the theory and methods in IN's service verification are the key technologies in IN's realization.