【摘 要】
：
传统的基于测试的分支路径差异分析的软件缺陷定位方法不能有效利用程序源代码中变量状态等可用信息。针对此问题,本文提出了一种基于分支路径与变量状态差异分析的缺陷定位
【机 构】
：
上海理工大学光电信息与计算机工程学院
【基金项目】
：
国家自然科学基金(61803264)
论文部分内容阅读
传统的基于测试的分支路径差异分析的软件缺陷定位方法不能有效利用程序源代码中变量状态等可用信息。针对此问题,本文提出了一种基于分支路径与变量状态差异分析的缺陷定位方法。首先对需要输出的分支和变量信息进行插桩,再使用GCC编译器对插桩后的程序进行编译输出,得到分支覆盖矩阵和变量值信息。使用余弦相似度公式获取相似分支路径对,并对相似分支路径对中的变量进行差异分析,通过变量差异分析来提高缺陷语句的可疑度。通过在Siemens套件上进行实验分析并与DStar等经典实验进行对比,基于分支路径与变量状态差异分析的方法能
其他文献
在全国教育大会上,习近平总书记在如何培养人这个问题上提出了“六个下功夫”的重要方法论。方法论之一就是“要在培养奋斗精神上下功夫。”大学生作为国之未来、新时代的挑
集成电路是二十世纪人类最伟大的科技发明之一,而其中运算放大器作为集成电路中品种、数量最多的一类成为了电子系统中必不可少的一部分,随着市场对于运算放大器的精度需求日
由于系统的数据资产估值定价体系尚未形成,数据资产市场完整的循环链条难以打通。文章提出,应当设计和构建一套科学高效的数据资产估值定价管理体制和运行机制:其核心主体是
谷苞先生作为费孝通先生“中华民族多元一体格局”理论作者群的核心人物之一,从历史向度对中华民族共同体的深层结构与形成原因作了诸多探讨。他的中华民族观有着经验性、实
目的:利用高效液相色谱-串联质谱联用分析和鉴定苦木中苦参碱及氧化苦参碱。方法:采用高效液相色谱-电喷雾/四极杆-飞行时间串联质谱,通过与对照品保留时间、准确分子量及其
如今大众对于形象的关注程度显著提高,如何正确塑造整体的形象,同时达到追求个性化、符合大众审美的形象设计效果,已成为当下热门问题。针对这个问题设计此款形象定制仪,应用移动互联技术与手机APP连接,实现用户在手机端可以操作处理。仪器采用深度摄像头拍摄用户图像,应用三维重建技术形成人体三维模型并设置肤质检测、脂肪含量检测、智能语音等功能,运用大数据分析高效的处理技术和模式,将检测到的多种数据传输至大数据
随着电力企业的快速发展,生产经营范围不断扩大,项目也越来越多,为了规范企业的经营行为,制定相应的合同,因此在企业项目管理过程中,合同管理处于十分重要的地位。但是企业合
在火灾图像的研究过程中,光照强弱常常会影响火灾图像的判别结果。当光照强烈时,图像受到强光干扰,甚至过曝光,会对后续的图像处理产生较大的影响。本文提出一种火灾图像自适应强光抑制算法,对HSV色彩空间中的V进行处理,通过中值滤波提取入射光分量,而后对其进行伽马自适应亮度校正,调整图像的亮度和对比度; MSRCR算法可对图像中受干扰区域进行颜色恢复,减少因过度曝光造成的图像颜色失真,使图像有更好的视觉效
激光超声凭借其具有非接触、信号的信噪比高、灵敏度高、频带宽等特点,在材料的检测方面有着独特优势。本文利用有限元软件针对激光激励声表面波过程进行了数值模拟,得到了声
文章通过扩展新型库兹涅茨模型,运用空间计量模型,以中国270个地级市2003—2016年面板数据为研究对象,研究了城市环境库兹涅茨曲线(EKC)是否存在以及集聚外部性对环境EKC曲线