程序插桩相关论文
堆栈测试是嵌入式操作系统安全评估的重要环节，堆栈溢出会覆盖邻近堆栈中的数据，造成数据错乱进而引发系统崩溃。然而捕获并定位堆栈......
针对并发程序数据竞争检测时准确率低和开销大的问题,基于Adaboost模型设计并发程序数据竞争语句级检测方法.对多线程并发程序进行......
期刊
通信业务实时性强,对可靠性和稳定性要求高；嵌入式通信软件种类多,更新速度快。程序插桩是软件自动化测试中的一项关键技术,是结构......
作为当前最大的支持智能合约的区块链平台,数以百万计的智能合约被部署在以太坊上.由于即使发现包含bug也无法修改已部署的智能合......
随着电子信息技术的发展,通信业务特别是通信软件业务也有了一个飞速的发展。软件业务已经成为通信产业的主要业务增长点,也是产品......
覆盖率对于软件测试有着非常重要的作用，它是用来度量测试完整性的一个手段。通过覆盖率数据，可以知道测试工作是否充分，测试的弱点在......
随着嵌入式系统的广泛应用,人们对嵌入式系统软件的质量提出了更高的要求,而作为保证软件质量最有效手段的测试技术,也越来越受到......
程序切片技术是一种分析和理解程序的技术,具有可以简化问题,缩小目标范围的特点,在软件维护、程序调试、测试、代码理解等诸多领......
随着“互联网+”概念的提出,计算机相关技术的应用逐渐与传统的行业结合在一起,为其在现代化的发展道路上创造了新的契机。然而在......
随着信息技术的飞速发展和用户需求的不断增加，软件开发技术呈现出多样化的发展趋势，其中比较有代表性的编程语言是Java语言。Java语......
随着智能制造的快速发展,机器视觉在生产制造过程中的作用愈发重要,目前主流的PLC开发平台也开始增加视觉检测功能。机器视觉在PLC......
由于近年来软件被攻击和利用情况越来越多,漏洞挖掘已成为互联网安全中一个重要研究领域.模糊测试作为一种高效的漏洞挖掘技术,逐......
随着时代的发展,安防产业有着巨大的发展前景。高科技电子产品大量涌现,功能日益复杂,但随之而来的是云台类(PTZ)等其他安防产品出......
随着计算机技术的日益发展，计算机软件系统被广泛应用到人们的日常生活中，软件的复杂度日益增加使得软件的风险及其成本的发展趋势呈......
随着高性能芯片及高性能计算的应用,人们对调试器的要求不再仅局限于“正确性调试”,而是更进一步要求进行“性能调试”,即在正确......
针对嵌入式软件重要作用、软件测试及其主要特点,对常用的静态测试、动态测试嵌入式软件测试方法与语义分析、程序插桩嵌入式软件......
程序优化是提高程序运行效率的重要步骤,程序剖析是程序优化的第一步.对于串行语言,程序剖析代码是由编译器通过一个命令行开关自......
为了满足测试覆盖分析和软件调试等程序分析技术对插桩技术的需求,提出了插桩模型,开发了一款实用的插桩工具。基于双缓冲技术,构......
太空网络环境具有开放性、随遇接入等特性,处于这种环境下的星载操作系统将面临来自网络的干扰和攻击等安全威胁。为此,文章提出了......
随着软件系统变得越来越复杂和庞大,如何对它进行快速有效的测试已经成为现在的一大热点。通过将Agent技术引入软件测试过程,设计......
路径覆盖是软件测试中一种十分重要的方法,它使程序的每个分支至少执行一次;针对嵌入式软件测试的特点,提出了嵌入式软件路径覆盖......
在设计大规模的并行应用程序时，如何使多处理器的利用率达到最优，这对程序设计人员来讲是一个很大的挑战，一般说来，由于应用程序在运行......
针对当前船舶电力系统控制软件的规模更加庞大、体系结构更加复杂、细粒度对软件进行监控更为困难的特点,主要介绍基于探针定位和......
为了动态进行白盒、黑盒测试,设计实现了基于源代码插桩的动态测试工具,该工具包含了源代码的预处理方法、插桩库设计、插桩策略以......
提出了一种新的面向对象软件簇级测试方法,在UML顺序图的基础上,首先从*.MDL文档中提取出类间的交互信息;其次利用程序插桩技术从......
为解决传统程序插桩技术存在代码膨胀和运行时间较长的问题,提出对可执行代码进行控制流路径覆盖消除冗余的插桩策略。依据该策略......
针对基于宿主机的嵌入式软件测试,提出一种单元测试中通用的语句覆盖率测试方法,通过插桩技术,采用向源代码插桩实现语句覆盖率测......
程序插桩技术是一种基本的测试手段,在软件测试中被广泛的应用。插装方式是指在程序源码中插入一些语句,通过这些语句可以获得所需......
飞行控制软件是典型的实时嵌入式软件,必须满足时间约束条件。因此,对飞行控制软件的实时性进行测试很有必要。本文中飞行控制软件......
超算系统是当前科学研究中不可或缺的计算工具,为了有效的利用超算资源,预测程序的运行时间成为了一项重要的工作。预测程序的运行......
随着嵌入式技术的发展,如何对它进行快速有效的测试已经成为现在的一大热点。本文提出了一种通用的嵌入式软件测试系统的基本框架......
插桩技术作为一种有效理解程序动态行为的手段,已经被广泛应用于程序分析、测试和验证中。然而,由于缺少通用的插桩工具,各种具体......
符号执行介于程序验证和程序调试之间,是一种静态分析方法。但是符号执行不能全面的对软件可靠性进行检测。因此在符号执行的基础......
分析嵌入式软件动态测试的特点及路径覆盖测试策略，设计动态测试数据采集处理框架，其中包含程序分析与插桩、测试数据采集传输、测试......
针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA......
为解决传统的变更影响分析技术与面向对象程序编程范型不完全兼容，从而导致分析结果不准确的问题，在分析面向对象程序设计中可能发生......
为了解决当前模糊测试技术中变异存在一定的盲目性以及变异生成的样本大多经过相同的高频路径的问题,提出并实现了一种基于轻量级......
缓存区溢出能引起非常严重的安全问题,对网络和分布式系统（如机群,网格,P2P系统等）构成严重威胁。数组越界在缓存区溢出中占据重要位......
针对Java单元测试自动化程度和测试效率较低的问题,对基于Java程序的基本路径测试方法进行研究,提出了基于Java代码的基本路径生成......
