该论文提出了BSFuzzer，一种针对蓝牙低功耗（BLE）协议逻辑缺陷的上下文感知语义模糊测试方法。研究背景在于BLE设备广泛使用，但其逻辑漏洞（如身份验证绕过、状态机异常）难以被传统模糊测试发现。核心方法包括：1）提取BLE协议规范中的上下文约束（如连接状态、加密密钥状态）构建语义模型；2）基于该模型生成符合协议流程但包含逻辑异常的数据包序列；3）采用自适应变异策略，优先触发边界状态转换。实验在主流BLE协议栈（如BlueZ、Zephyr）上进行，测试了10种常见逻辑缺陷类型，结果显示BSFuzzer在代码覆盖率上比现有工具提高35%，并成功发现6个未知逻辑漏洞。主要贡献在于将上下文感知与语义模糊结合，提高了BLE逻辑缺陷的检测效率。适合安全研究员、蓝牙协议开发者阅读。