摘要
在新系统持续投产的情况下,如何验证与保障系统功能正常、数据准确成为重要课题,尤其是对一些可能阻断核心业务,影响生产安全的关键接口,需要设计出足够有说服力的可信验证方法对其进行保障。基于此,该文首先对接口的分类进行研究,根据接口的不同特性与需求提出了三层递进的测试验证模型,用于对接口验证保障级别进行评定,其次提出了基于跟踪带的离线回放验证方法与基于可视数据的外挂式复核验证方法,对如何针对目标接口的保障级别实现可信验证的问题进行了研究。这两种可信验证方法被成功应用在中国航信新离港系统的试投产实践中,验证了有效性,并为其他系统开展可信验证提供了理论依据与实践样例。