搜索筛选:
搜索耗时0.8049秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[学位论文] 作者：向文韬,
来源：北京邮电大学 年份：2013
DTS是基于软件缺陷模式的静态测试工具,采用了函数摘要的相关方法进行过程间分析,但目前由于函数摘要中缺少路径信息,缺陷检测往往存在一定的误报和漏报。本文针对这种问题提...
[期刊论文] 作者：向文韬,
来源：中国国际财经 年份：2018
摘 要：我国的P2P平台在2013年经历了爆发式增长后，先后在2016年、2017年和2018年出现地域性“倒闭潮”，为互联网金融市场带来极大的风险性和不稳定性，而银监会等机构也从2016年开始对P2P行业密集出台了一系列的政策文件，旨在规范P2P平台的运营和监管P2P平台的业务风......
[期刊论文] 作者：向文韬,陈绪兵,戴耀南,
来源：机床与液压 年份：2020
为研究机器人操作臂动态特性的变化规律,提出一种新的机器人控制模型仿真方案。运用三维建模软件建立机器人虚拟样机模型;利用虚拟样机仿真软件ADAMS进行机器人动力学建模和...
[会议论文] 作者：Xiang Wentao,Jin Dahai,Gong Yunzhan,向文韬,金大海,宫云战,
来源：第七届中国测试学术会议 年份：2012
本文针对内存泄漏提出了路径敏感的过程间静态测试方法，旨在减少函数调用中条件分配或释放内存引起的误报。本文首先分析了一个产生该类误报的例子；然后定义了路径敏感函数......
[会议论文] 作者：Xiang Wentao,向文韬,Jin Dahai,金大海,Gong Yunzhan,宫云战,
来源：第七届中国测试学术会议 年份：2012
本文针对内存泄漏提出了路径敏感的过程间静态测试方法，旨在减少函数调用中条件分配或释放内存引起的误报。本文首先分析了一个产生该类误报的例子；然后定义了路径敏感函数特征(PSF)的四元组模型，并定义且描述了辅助生成路径信息的过程间定义使用向量；在模型和向量......
相关搜索：
