新投产系统不可见接口的可信验证方法研究
打开文本图片集
作者简介：于萌（1982—），男，硕士，工程师，主要从事民航值机控制系统、配载控制系统的自动化研究工作。
任嘉勉（1982—），女，硕士，工程师，主要从事民航配载控制系统的自动化研究工作。
周海旭（1984—），男，硕士，工程师，主要从事测试基础理论研究工作。
摘 要：在新系统持续投产的情况下，如何验证与保障系统功能正常、数据准确成为重要课题，尤其是对一些可能阻断核心业务，影响生产安全的关键接口，需要设计出足够有说服力的可信验证方法对其进行保障。（剩余9685字）