工商银行申请软件系统安全验证方法和装置专利，能实现动态模拟软件系统设计模型的运行

金融界2024年2月20日消息，据国家知识产权局公告，中国工商银行股份有限公司申请一项名为“软件系统安全验证方法和装置“，公开号CN117574343A，申请日期为2023年11月软件模拟iic。

专利摘要显示，本发明提供了一种软件系统安全验证方法和装置，涉及软件技术领域，方法包括：获取预先定义的软件模拟系统运行配置文件和模型文件；解析所述配置文件获取软件模拟系统运行所需的相关参数信息；解析所述模型文件获取软件模拟系统的模型信息；基于所述模型信息和所述相关参数信息运行软件模拟系统模拟软件系统运行过程中任务的调度以及故障的处理；输出软件模拟系统的运行日志和故障日志软件模拟iic。本发明可以实现动态模拟软件系统设计模型的运行，发现在运行状态下与模型动态行为相关的错误信息，使得设计人员可以及时进行纠正，避免后续软件运行过程中错误的出现。

来源：金融界