电子发烧友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的动态路网行车最短路径求解
- 机器学习中的交叉验证方法 304次阅读
- SMT表面组装件的安装与焊接方法 739次阅读
- 基于matlab免疫算法求解生产调度零等待问题 454次阅读
- 利用先进形式验证工具来高效完成RISC-V处理器验证 448次阅读
- smt贴片中锡珠的改善方法及对策分析？ 1053次阅读
- SMT贴片加工中预防短路的方法有哪些 2494次阅读
- SMT修补程序制造商对SMT锡膏有哪些要求 3520次阅读
- SMT贴片机在线编程调试的方法与流程介绍 8930次阅读
- SMT焊剂检测和其他来料检测的方法介绍 3445次阅读
- SMT贴片的三种手工焊接方法介绍 2.2w次阅读
- Xpeedic Heracles工具集成了一种全新的混合求解器技术 3939次阅读
- 工业电源路径保护有哪些？ 3368次阅读
- IE和FEBI求解器详解及对比 5931次阅读
- XDC路径的鉴别、分析和约束方法 6133次阅读
- 基于VMM验证方法学的MCU验证环境 3189次阅读
上传资料赚积分下载排行
本周
- 1电子威廉希尔官方网站 原理第七版PDF电子教材免费下载
- 0.00 MB | 1490次下载 | 免费
- 2单片机典型实例介绍
- 18.19 MB | 93次下载 | 1 积分
- 3S7-200PLC编程实例详细资料
- 1.17 MB | 27次下载 | 1 积分
- 4笔记本电脑主板的元件识别和讲解说明
- 4.28 MB | 18次下载 | 4 积分
- 5开关电源原理及各功能威廉希尔官方网站 详解
- 0.38 MB | 10次下载 | 免费
- 6基于AT89C2051/4051单片机编程器的实验
- 0.11 MB | 4次下载 | 免费
- 7基于单片机和 SG3525的程控开关电源设计
- 0.23 MB | 3次下载 | 免费
- 8基于单片机的红外风扇遥控
- 0.23 MB | 3次下载 | 免费
本月
- 1OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 2PADS 9.0 2009最新版 -下载
- 0.00 MB | 66304次下载 | 免费
- 3protel99下载protel99软件下载(中文版)
- 0.00 MB | 51209次下载 | 免费
- 4LabView 8.0 专业版下载 (3CD完整版)
- 0.00 MB | 51043次下载 | 免费
- 5555集成威廉希尔官方网站 应用800例(新编版)
- 0.00 MB | 33562次下载 | 免费
- 6接口威廉希尔官方网站 图大全
- 未知 | 30320次下载 | 免费
- 7Multisim 10下载Multisim 10 中文版
- 0.00 MB | 28588次下载 | 免费
- 8开关电源设计实例指南
- 未知 | 21539次下载 | 免费
总榜
- 1matlab软件下载入口
- 未知 | 935053次下载 | 免费
- 2protel99se软件下载(可英文版转中文版)
- 78.1 MB | 537791次下载 | 免费
- 3MATLAB 7.1 下载 (含软件介绍)
- 未知 | 420026次下载 | 免费
- 4OrCAD10.5下载OrCAD10.5中文版软件
- 0.00 MB | 234313次下载 | 免费
- 5Altium DXP2002下载入口
- 未知 | 233046次下载 | 免费
- 6威廉希尔官方网站 仿真软件multisim 10.0免费下载
- 340992 | 191183次下载 | 免费
- 7十天学会AVR单片机与C语言视频教程 下载
- 158M | 183277次下载 | 免费
- 8proe5.0野火版下载(中文版免费下载)
- 未知 | 138039次下载 | 免费
工商网监
评论