[发明专利]面向黑盒信息物理系统的自动化安全测试方法及系统

摘要

本发明属于信息物理系统安全测试技术领域，特别涉及一种面向黑盒信息物理系统(Cyber‑Physical System，CPS)的自动化安全测试方法及系统，通过提取待测CPS中的控制应用程序，并在离线环境中构建待测CPS的影子系统，将提取出的待测CPS中的控制应用程序复制到影子系统中，构造系统输入并生成相应输出以模拟待测CPS的物理过程。运行离线的影子系统，执行动态测试定位待测CPS中可能使用的输入输出变量并推断输入和输出变量间的因果关系，计算不同物理过程的控制参数以挖掘输入输出变量控制策略。基于计算的变量控制策略，构建不同类型的攻击测试集，发现能够驱使待测CPS进入不安全状态的潜在风险点。本发明可在无需系统数据日志和网络流量的先验知识下，自动生成对不同CPS造成物理影响的测试用例，以提升CPS自动化安全测试效率和准确性。