电子发烧友App
创作
发文章
发帖 
提问 
发资料
发视频资料介绍
针对程序中因存在路径条数过多或复杂循环路径而导致路径验证时的路径搜索空间过大，直接影响验证的效率和准确率的问题，提出一种基于可满足性模理论（SMT）求解器的程序路径验证方法。首先利用决策树的方法对复杂循环路径提取不变式，构造无循环控制流图（ NLCFG）；然后通过基本路径法对控制流图（CFG）进行遍历，提取基本路径信息；最后利用SMT求解器作为约束求解器，将路径验证问题转化为约束求解问题来进行处理。与同样基于SMT求解器的路径验证工具CBMC和FSoft-SMT相比，该方法在对测试集程序的验证时间上比CBMC降低了25%以上，比FSoft-SMT降低了15%以上；在验证精度上，该方法有明显的提升。实验结果表明，方法可以有效解决路径搜索空间过大的问题，同时提高路径验证的效率和准确率。
下载该资料的人也在下载
下载该资料的人还在阅读
更多 >
- 可求解Slater选举结果的ASP方法 3次下载
- 基于光华逼近函数的求解凸二次规划方法 3次下载
- 声子BTE方程迭代求解在GPU上的并行加速方案 24次下载
- 检测验证Java Web程序的SQLIA漏洞解决方法 19次下载
- 结合混合符号执行的导向式灰盒模糊测试方法 14次下载
- 基于概率属性网络攻击图的攻击路径预测方法 14次下载
- 数列极限的求解方法及案例分析 0次下载
- 一种混合的云数据完整性验证方案 9次下载
- 版图验证方法说明 0次下载
- 自主泊车路径规划方法 16次下载
- 一种分布式限界模型检测方法 0次下载
- 基于逻辑程序的调机路径规划研究 0次下载
- GPS RTK转换参数求解方法
- 一种求解关键路径的新算法
- 基于Agent的动态路网行车最短路径求解
- ALTAIR HYPERLIFE焊接疲劳方法及案例 533次阅读
- 机器学习中的交叉验证方法 3.6k次阅读
- SMT表面组装件的安装与焊接方法 1.8k次阅读
- 基于matlab免疫算法求解生产调度零等待问题 1.1k次阅读
- 利用先进形式验证工具来高效完成RISC-V处理器验证 1.1k次阅读
- smt贴片中锡珠的改善方法及对策分析？ 1.9k次阅读
- SMT贴片加工中预防短路的方法有哪些 3.1k次阅读
- SMT修补程序制造商对SMT锡膏有哪些要求 3.9k次阅读
- SMT贴片机在线编程调试的方法与流程介绍 1w次阅读
- SMT焊剂检测和其他来料检测的方法介绍 4.2k次阅读
- SMT贴片的三种手工焊接方法介绍 2.4w次阅读
- Xpeedic Heracles工具集成了一种全新的混合求解器技术 4.7k次阅读
- IE和FEBI求解器详解及对比 7k次阅读
- XDC路径的鉴别、分析和约束方法 7k次阅读
- 基于VMM验证方法学的MCU验证环境 3.8k次阅读
上传资料赚积分下载排行
本周
- 1MDD品牌三极管MMBT3906数据手册
- 2.33 MB | 次下载 | 免费
- 2MDD品牌三极管S9012数据手册
- 2.62 MB | 次下载 | 免费
- 3联想flex2-14D/15D说明书
- 4.92 MB | 次下载 | 免费
- 4收音环绕扩音机 AVR-1507手册
- 2.50 MB | 次下载 | 免费
- 524Pin Type-C连接器设计报告
- 1.06 MB | 次下载 | 免费
- 6新一代网络可视化（NPB 2.0）
- 3.40 MB | 次下载 | 免费
- 7MS1000TA 超声波测量模拟前端芯片技术手册
- 0.60 MB | 次下载 | 免费
- 8MS1022高精度时间测量(TDC)电路数据手册
- 1.81 MB | 次下载 | 免费
本月
- 1爱华AIWA HS-J202维修手册
- 3.34 MB | 37次下载 | 免费
- 2PC5502负载均流控制电路数据手册
- 1.63 MB | 23次下载 | 免费
- 3NB-IoT芯片厂商的资料说明
- 0.31 MB | 22次下载 | 1 积分
- 4H110主板CPU PWM芯片ISL95858HRZ-T核心供电电路图资料
- 0.63 MB | 6次下载 | 1 积分
- 5UWB653Pro USB口测距通信定位模块规格书
- 838.47 KB | 5次下载 | 免费
- 6技嘉H110主板IT8628E_BX IO电路图资料
- 2.61 MB | 4次下载 | 1 积分
- 7苏泊尔DCL6907(即CHK-S007)单芯片电磁炉原理图资料
- 0.04 MB | 4次下载 | 1 积分
- 8100W准谐振反激式恒流电源电路图资料
- 0.09 MB | 2次下载 | 1 积分
总榜
- 1matlab软件下载入口
- 未知 | 935137次下载 | 10 积分
- 2开源硬件-PMP21529.1-4 开关降压/升压双向直流/直流转换器 PCB layout 设计
- 1.48MB | 420064次下载 | 10 积分
- 3Altium DXP2002下载入口
- 未知 | 233089次下载 | 10 积分
- 4电路仿真软件multisim 10.0免费下载
- 340992 | 191439次下载 | 10 积分
- 5十天学会AVR单片机与C语言视频教程 下载
- 158M | 183353次下载 | 10 积分
- 6labview8.5下载
- 未知 | 81602次下载 | 10 积分
- 7Keil工具MDK-Arm免费下载
- 0.02 MB | 73822次下载 | 10 积分
- 8LabVIEW 8.6下载
- 未知 | 65991次下载 | 10 积分
工商网监
评论