Infusion_Manager_测试预言机自动调整框架数据

本数据集围绕Infusion Manager测试预言机自动调整框架展开，该框架旨在解决实时嵌入式系统等领域测试预言机与被测系统（SUT）行为不匹配导致的假阳性问题。框架通过约束条件和搜索过程调整模型行为，最小化行为差异，在限制范围内引导预言机匹配SUT执行，降低假阳性率并减少开发成本。