没有合适的资源?快使用搜索试试~
我知道了~
文库首页
安全技术
网络攻防
电信设备-一种基于谓词执行信息分析的自适应软件缺陷定位方法.zip
电信设备-一种基于谓词执行信息分析的自适应软件缺陷定位方法.zip
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
0 下载量
105 浏览量
2021-09-19
11:17:44
上传
评论
收藏
990KB
ZIP
举报
温馨提示
限时特惠:¥20.00
40.00
电信设备-一种基于谓词执行信息分析的自适应软件缺陷定位方法.zip
资源推荐
资源评论
电信设备-频谱信息去冗优化的软件缺陷定位方法.zip
浏览:182
电信设备-频谱信息去冗优化的软件缺陷定位方法.zip
电信设备-一种基于移动即时通讯软件的软件缺陷智能跟踪管理方法.zip
浏览:121
电信设备-一种基于移动即时通讯软件的软件缺陷智能跟踪管理方法.zip
电信设备-一种基于开源软件缺陷代码修改模式的缺陷信息提取方法.zip
浏览:63
电信设备-一种基于开源软件缺陷代码修改模式的缺陷信息提取方法.zip
论文研究-一种基于谓词分层覆盖矩阵的缺陷定位方法.pdf
浏览:177
基于程序频谱的动态缺陷定位(spectrum based dynamic fault localization,SFL)可分为基于可执行语句覆盖的方法和基于谓词覆盖的方法。通过分析以上两类方法可以发现:a)基于可执行语句覆盖的方法未考虑谓词错误...
电信设备-基于互补谓词的代码移动方法.zip
浏览:48
电信设备-基于互补谓词的代码移动方法.zip
论文研究-一种基于路径差异分析的缺陷定位方法.pdf
浏览:130
基于路径差异分析的缺陷定位所使用的方法通常分为两类,即基于路径距离度量的方法和基于元素信息统计的方法。现有的研究方法各有所长但也存在以下缺陷:a)冗余路径的存在干扰可疑度分析结果或者导致早熟收敛,以致...
SQL-SELECT语句中谓词分析与应用.pdf
浏览:164
SQL-SELECT语句中谓词分析与应用.pdf
论文研究-基于复合谓词的软件测试用例生成的方法研究 .pdf
浏览:5
基于复合谓词的软件测试用例生成的方法研究,李煜,,随着程序复杂性的不断提高,简单的一维谓词很难满足程序的需求,路径谓词的复杂多样使得相应的搜索算法需要不断改进。本文给出一
论文研究-一种基于模型结合的错误定位方法 .pdf
浏览:103
一种基于模型结合的错误定位方法,唐启锋,许蕾,目前大多数错误定位技术的研究均基于单一类型的程序节点(如语句、谓词等),其效果往往只在定位相应类型的错误时表现较好,而定
论文研究-并发系统中谓词行为图的行为时序逻辑表达.pdf
浏览:187
用一个简单的实例说明使用谓词行为图去描述并发转移系统的有效性, 并用系统规约的TLA公式对谓词行为图表达能力进行证明, 表明两者具有等价性, 为描述和分析并发转换系统提供了一种可行的方法。
论文研究-分簇结构高效谓词机制及编译优化方法.pdf
浏览:83
针对分簇结构展开谓词体系结构的研究,提出了分簇结构部分谓词的高效实现方法,以及基于循环展开的分簇结构部分谓词支持框架。实验表明,提出的分簇结构部分谓词及编译框架可以很好地提高条件执行程序的执行效率,...
论文研究-新型的基于信道状况的自适应HARQ方案.pdf
浏览:25
结合基于角色访问控制机制(RBAC)的优势及现有的跨域认证技术构建了一种适用于大规模分布式网络环境的跨信任域授权管理CTDPM(Crossing the Trusted-domain Privilege Management)模型。模型中提出角色推荐和单向...
一种基于Kolmogorov-Smirnov检验的缺陷定位方法
浏览:195
现有的基于中心极限定理和参数假设检验的方法被认为是一种高效的缺陷定位技术.然而,实验结果表明,在某些实验数据集上,测试用例的总数过小而不宜运用中心极限定理.实验结果同时表明,谓词的实际分布背离了基于参数假设...
基于谓词逻辑的归结原理实验
浏览:66
加深对归结原理进行定理证明过程的理解,掌握基于谓词逻辑的归结过程中子句变换过程、替换与合一算法即归结策略等重要环节,进一步了解实 现机器自动定理证明的步骤。 采用C++
论文研究-一阶谓词公式关联矩阵的构造方法.pdf
浏览:16
为了提高关联矩阵的构造效率,从而提高一阶谓词逻辑推理的效率,提出一种由一阶谓词公式构造对应关联矩阵的递归方法。该方法利用二叉树的递归性质,对任意一个一阶谓词公式,在化去量词后直接构造关联矩阵。该方法为...
所有分类基于谓词逻辑的机器推理PPT学习教案.pptx
浏览:54
所有分类基于谓词逻辑的机器推理PPT学习教案.pptx
xUtils-master.zip
浏览:15
xUtils 包含了很多实用的android工具。...xUtils 支持大文件上传,更全面的http请求协议支持(10种谓词),拥有更加灵活的ORM,更多的事件注解支持且不受混淆影响... xUitls 最低兼容android 2.2 (api level 8)
论文研究-一种基于上下文的语义映射方法.pdf
浏览:26
提出了一种基于上下文的语义映射方法SM-Context(semantic mapping based on context)。SM-Context首先为本体模型中的概念找出表示其语义信息的上下文,然后采用谓词逻辑的形式表示概念的上下文,最后将本体映射...
汉语父母称谓词的类型….zip
浏览:16
汉语父母称谓词的类型….zip
论文研究-基于逻辑一致性判定的广义不透明谓词检测方法.pdf
浏览:50
不透明谓词是一类轻量级的代码混淆方法,能以单向的执行复杂度对抗程序的逆向分析。广义不透明谓词扩展狭义不透明谓词的值恒定属性至逻辑恒定属性,已经应用于部分恶意代码中以提升抗查杀能力。为消除不透明谓词对...
论文研究-一种基于逆向程序流的程序切片算法.pdf
浏览:49
提出了一种基于程序逆向流的切片算法,它事先建立逆向程序流,再从切片点开始沿逆向程序流扫描程序以获得程序切片,只计算与切片相关的数据依赖,从而提高了切片计算的时空效率。通过实验发现该算法具有一定的可行性...
华为全套设计规范PDF文档
浏览:132
5星 · 资源好评率100%
01.华为的世界.pdf 02.华为内部C贵言培训资料.pdf 03.华为EMC资料.PDF 04.华为PCB的EMC设计指南.pdf 05.华为模电教程1.PDF 06.华为模电教程2.PDF 07.华为模拟电路设计全册.pdf 08.华为Hi3515(ARM9)之高速电路硬件(原理图与PCB)设计指南.pdf 09.华为高速数字电路设计.pdf 10.华为静电防护(ESD)培训教材.pdf 1
信息系统项目管理师考试32小时通关
浏览:35
5星 · 资源好评率100%
信息系统项目管理师考试32小时通关 项目经理软考资料,2022最新整理,32小时快速通关,自己手动整理,2022年上半年项目经理考试资料 项目经理软考资料,2022最新整理,32小时快速通关,自己手动整理,2022年上半年项目经理考试资料 项目经理软考资料,2022最新整理,32小时快速通关,自己手动整理,2022年上半年项目经理考试资料 项目经理软考资料,2022最新整理,32小时快速通关,自
2019年上半年信息系统项目管理师考试(小马老师内部资料+历年考题+).rar
浏览:152
5星 · 资源好评率100%
2019年上半年信息系统项目管理师考试(小马老师内部资料+历年考题+)
泛微ecology E9培训课件与资料
浏览:179
泛微ecology E9培训课件与资料
STK资料——中文手册,覆盖模块学习.zip
浏览:102
5星 · 资源好评率100%
自己一开始入门学习的资料,资料超级详细,包括stk覆盖模块教材,STK培训手册,STK中文用户手册,基于STK_Matlab的GPS卫星可见性仿真分析,基于STK的轨道设计与仿真指导书_修订版_2007-11-19,基于STK软件VO模块的航天器三维造型设计,以及自己搭建的铱星星座的主要参数说明,非常的详细
(大疆开发板C型资料)RoboMaster 开发板C型STM32F407IGH6.rar
浏览:148
RoboMaster 开发板C型STM32F407IGH6 包含: RoboMaster 开发板 C 型使用说明 RoboMaster 开发板 C 型用户手册 RoboMaster 开发板 C 型陀螺仪FPC小板位号图 RoboMaster 开发板 C 型陀螺仪FPC小板原理图 RoboMaster 开发板 C 型位号图 RoBoMaster 开发板 C 型原理图 开发板C型 SOILDWOR
Python教程2020版 完全入门 达到Python工程师水平 笔记+代码+课件+资料
浏览:190
4星 · 用户满意度95%
Python教程2020版 完全入门 达到Python工程师水平 笔记+代码+课件+资料
php+mysql学生成绩查询系统(源代码+论文).zip
浏览:117
5星 · 资源好评率100%
php+mysql学生成绩查询系统(源代码+论文).zip
评论
收藏
内容反馈
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
限时特惠:¥20.00
40.00
资源评论
资源反馈
评论星级较低,若资源使用遇到问题可联系上传者,3个工作日内问题未解决可申请退款~
联系上传者
评论
programyg
粉丝: 161
资源:
21万+
私信
上传资源 快速赚钱
我的内容管理
展开
我的资源
快来上传第一个资源
我的收益
登录查看自己的收益
我的积分
登录查看自己的积分
我的C币
登录后查看C币余额
我的收藏
我的下载
下载帮助
前往需求广场,查看用户热搜
最新资源
dhcp(接口和全局地址池模式)
modbus slave 8 软件
py作业.zip
C#修改文件夹中的文件部分名称
Keil的V5编译器安装包
有手就行的闯关游戏,好玩
模块12.cpp
有关C语言的训练习题的分享
射击蝙蝠的游戏,比较粗糙,只要1积分
lvs资源包,rpm资源
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功