【技术实现步骤摘要】
本专利技术涉及符号执行模糊测试，具体涉及一种基于符号执行的模糊测试方法及系统。
技术介绍
1、随着现代软件系统架构日趋复杂，配置驱动程序作为实现系统灵活性和可扩展性的关键技术手段，其重要性日益凸显。这类程序通过大量配置参数控制其运行逻辑和功能模块的启用状态，使得同一程序在不同配置组合下呈现出显著差异的执行行为。这种特性虽然提升了软件的适应性，但也给测试工作带来了巨大挑战：程序路径的触发不仅依赖于输入数据，还受到配置项之间复杂组合关系的制约。
2、传统的模糊测试技术在面对配置驱动程序时表现出明显的局限性。首先，由于配置项形成的路径门槛效应，常规输入变异策略往往无法突破配置条件限制，导致大量潜在路径被过早剪枝。其次，配置项之间存在的互斥关系和依赖逻辑使得随机或固定配置策略难以实现均衡的路径覆盖，造成测试资源浪费和覆盖盲区。此外，现有技术对配置组合与路径触发之间的关联关系缺乏有效建模，导致测试过程中存在大量冗余执行。
3、当前改进方案中，多配置模糊测试虽然尝试通过组合测试策略提升覆盖能力，但仍面临组合爆炸问题。配置组合...
【技术保护点】
1.一种基于符号执行的模糊测试方法,其特征在于，包括：
2.根据权利要求1所述的模糊测试方法，其特征在于，所述获取配置驱动程序中的配置项集合包括：
3.根据权利要求2所述的模糊测试方法，其特征在于，所述识别所述配置项之间的互斥关系包括：
4.根据权利要求1所述的模糊测试方法，其特征在于，所述对各所述配置组合执行模糊测试包括：
5.根据权利要求1所述的模糊测试方法，其特征在于，所述根据所述关联关系识别仅在单一的配置组合中出现的互斥路径包括：
6.根据权利要求5所述的模糊测试方法，其特征在于，还包括：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。