https://blog.qife122.com/tags/%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%AD%A6%E4%B9%A0/ Recent content in 自动机学习 on 办公AI智能小助手 Hugo zh-cn qife Mon, 29 Sep 2025 20:43:25 +0800 https://blog.qife122.com/p/%E5%9F%BA%E4%BA%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%AD%A6%E4%B9%A0%E4%B8%8E%E6%A8%A1%E5%9E%8B%E6%A3%80%E9%AA%8C%E7%9A%84%E5%AE%89%E5%85%A8%E6%B5%8B%E8%AF%95%E6%96%B9%E6%B3%95/ Mon, 29 Sep 2025 20:43:25 +0800 https://blog.qife122.com/p/%E5%9F%BA%E4%BA%8E%E8%87%AA%E5%8A%A8%E6%9C%BA%E5%AD%A6%E4%B9%A0%E4%B8%8E%E6%A8%A1%E5%9E%8B%E6%A3%80%E9%AA%8C%E7%9A%84%E5%AE%89%E5%85%A8%E6%B5%8B%E8%AF%95%E6%96%B9%E6%B3%95/ <h1 id="learn-check-test--使用自动机学习与模型检验进行安全测试">Learn, Check, Test —— 使用自动机学习与模型检验进行安全测试</h1> <h2 id="摘要">摘要</h2> <p>信息物理系统是工业系统和关键基础设施的重要组成部分。因此，需要以全面方式检查其正确性和安全性。同时，此类系统的复杂性要求检查过程系统化，并尽可能实现自动化以提高效率和准确性。模型检验是在此背景下有用的方法，但需要能忠实表示被检系统行为的模型。由于长供应链或保密性等原因，许多系统只能在黑盒设置下进行检查，因此获取此类模型并非易事。</p>