嵌入式软件的云平台覆盖测试

本文介绍的是一种针对嵌入式软件的基于云平台的覆盖率测试方法,以及相关工具的应用。通过工具将插桩编译后的软件装载到目标机上运行,黑盒手工执行测试,白盒显示函数调用图和控制流程图,同时将执行和未执行代码分颜色显示,对未执行的代码进行人工分析,可以通过增加测试用例来提高覆盖率。     

基于路径风险适应度的模糊测试方法

AFL基于遗传算法和多种变异策略来生成程序测试用例,以检测程序的漏洞,但AFL仅依赖控制流信息决定参与进一步模糊的种子,难以发现c、c++程序中存在的内存操作问题,且AFL简单的favorite策略没有充分考虑种子的特性和执行路径的特征,导致能够触发崩溃的种子迟迟不能被执行.因此,通过插桩获取程序的反馈信息,然后计算路...     

面向错误定位的基于分支聚类的测试用例选择方法

已有的面向错误定位的测试用例选择方法大多数仅考虑了测试用例的语句覆盖信息,不能为错误定位选择合适的测试用例,从而导致不能有效提高错误定位的准确性。针对这一问题,提出了一种新的测试用例选择方法。文中方法分析了测试用例的执行路径信息,根据测试用例动态执行时的分支特征,采用分支聚类方法对测试用例进行选择。实验表明,提出的方法可以有效减少测试用例数量,降低错误定位的复杂度,并提高错误定位的准确性。     

基于模型检测的内存泄露静态测试方法

在C等支持动态内存分配的语言中,指针的使用带来的内存泄露是导致系统性能降低的重要问题.针对现有处理方法的不足,文中设计了一种基于模型检测技术的内存泄露静态检测方法.该方法通过建立基于指针属性的内存泄露漏洞模型,将相应约束断言插桩进源代码,然后利用模型检测工具验证断言的可达性来判断内存泄露.实验结果表明,该方法是有效的和精确的.     

面向安全苛刻系统的自动化测试执行调度方法

在安全苛刻系统的自动化测试中,当测试用例数量达到一定程度时,测试时间通常较长。文章通过对测试用例的执行调度问题进行分析,提出了一种面向安全苛刻系统的自动化测试执行控制与调度方法,能有效提高测试用例的总体执行效率,降低总执行时间。     

基于嵌入式开发的白盒测试插桩技术研究

以往的白盒测试插桩方法普遍不能精准定位到目标插桩,语句覆盖率不符合要求。为了解决这个现象,提出一种基于嵌入式开发的白盒测试插桩方法。所提方法先对嵌入式开发的插桩技术原理进行介绍,提出使用在线嵌入式测试软件Code TEST进行自动插桩的理念。设计基于嵌入式开发的白盒测试插桩进程,分程序标准化、插桩顺序划分和覆盖率分析三步进行。并介绍插桩顺序块划分方法、插桩方位提取规则以及插桩信息分析方法。实验结果表明,所提方法拥有很高的语义覆盖率和分支覆盖率。     

基于动态检测与静态分析的自动评分方法研究

为了给C语言编程题进行合理评分,本文提出了一种新型的自动评分方法,在动态检测阶段先利用KMP算法执行关键字匹配,若匹配相似度落入预期值区间,则将学生源程序转换为可执行文件,通过预先设置的测试用例来驱动评分;若关键字匹配未通过、程序无法运行或者运行期间出现异常,则执行静态分析.静态分析阶段选取控制结构作为静态评分的关键因素,采用抽象语法树作为源代码的中间转换形式,并对其标准化以消除代码语义的多样性;根据抽象语法树中的结点类型提取出控制结构子树;最后,利用基于结点权值的树编辑距离算法来匹配标准化后的学生源程序与模板程序的控制结构子树,计算相似度并给出综合评分结果.实验结果表明,该方法能够对程序进行合理有效地评分,并且具有较高的准确率.     

CAN总线驱动软件的测试设计及实现

本文通过对CAN的特点和CAN总线驱动软件测试的特点进行分析,提出了CAN总线驱动软件的测试设计方案,该方案覆盖了测试的全过程,包括测试内容选取、测试环境搭建、测试用例设计、测试驱动编写,以及测试用例执行。此外还介绍了在具有154＂节点的CAN总线网络环境中进行CAN驱动软件测试的实践过程。     

基于可回溯动态污点分析的攻击特征生成方法

现有黑盒或白盒的攻击特征生成方法面临样本采集困难、自动化程度较低、依赖源代码等问题。为此提出了一种基于可回溯动态污点分析的攻击特征生成方法,通过监控进程动态执行流程,提取与攻击输入相关的操作序列和约束条件,重建特征执行环境并添加判定语句,生成图灵机式的攻击特征。构造原型系统并进行测试的结果表明该方法能快速生成简洁高效的攻击特征。     

软件单元测试用例的设计与执行

单元测试是针对单个功能模块的测试，能尽早发现缺陷，降低滞后纠错的高成本，是软件测试的重要环节。本文在对单元测试和测试用例的开发周期做了简要说明之后，重点介绍了如何设计单元测试用例执行简单的单元测试，以及如何利用测试自动化执行测试用例加快单元测试速率。     

基于代码植入的协议测试研究

以往对协议功能,性能的研究都是采用网络仿真的方式进行的.需要将协议实现到仿真器所要求的框架中去,在实现过程中代码的改动是大量的,对于测试问题来说,直接的仿真结果并不能客观的代表具体协议实现的好坏.要想解决这个问题必须通过自动的方式对代码进行更改,即通过代码植入技术来解决.文中通过改动主流的网络仿真器NS框架,并结合代码植入技术实现了一个原型协议测试工具PTB.     

嵌入式软件覆盖测试的研究和应用

基于软件覆盖率测试的基本理论,针对嵌入式软件测试的特点和难点,介绍了如何利用测试工具LDRA testbed获取嵌入式软件的结构覆盖率,给出了测试环境建立、源代码插装等具体实践过程,并进一步总结了嵌入式软件覆盖测试的经验和方法。     

一种工业自动化测试流程的建立方法

软件质量保证活动与软件生命周期各阶段的检验和有效性活动紧密相联。为了极大程度地减少人为干预,提高软件的测试效率,这里从实际出发,采用建立一整套的自动化测试的工业化流程的方法。该过程分三个阶段重点讨论从代码编译、单元测试、产品打包到最终的自动化测试的全过程。做了基于开放源码开发平台ISMP和RFT框架的测试实验。结果表明,建立的自动化测试的流程可以有效地实现自动化测试,在很大程度上提高了测试效率,缩短了整个产品研发周期。     

代码移交测试模型及其应用

传统软件测试模型存在许多缺陷,为了消除这些缺陷,提高软件测试效率,根据Marick基于代码移交的测试思想,重点从代码移交、迭代开发等方面对测试模型进行研究,提出代码移交测试模型.通过在一个综合信息处理与监控测试软件的应用中对该模型进行验证得知,代码移交测试模型可以有效提高测试效率,降低测试成本.     

PyFuzzer：自动化高效内存模糊测试方法

针对传统模糊测试（fuzz testing）耗时、无法绕过有效性验证等缺陷,提出了基于快速内存模糊测试,综合运用静态分析和动态跟踪技术的测试工具—PyFuzzer。整个过程高度自动化,通过WarFTPD、Serv-U等程序进行测试,并和4n FTP Fuzzer进行对比,结果表明PyFuzzer能有效地发掘二进制程序中的各种漏洞,极大地提高了模糊测试的效率。     

红外焦平面列级ADC数字读出电路测试技术研究

数字化红外焦平面器件是焦平面发展的重要方向,其核心是读出电路集成高性能模数转换器(ADC)。分析了读出电路数字化输出后焦平面性能参数的评价方法,阐述了红外焦平面列级ADC的静态测试和动态测试方法,提出了基于斜坡电压输入的过采样原理测试ADC静态性能,提升无误码分辨率测试正确性。针对ADC静态测试和动态测试要求,结合Labview软件和数字采集卡搭建了软硬件测试平台,并通过一款数字焦平面芯片的测试,验证了测试方法和平台适用于行列级ADC数字化读出电路的测试评价。     

软件结构测试自动化关键技术研究

基于自主开发的自动化白盒测试工具WBoxTool，本文对开发软件结构性测试自动化工具的一些关键技术进行了研究，重点研究了静态测试、插装技术和自动测试用例选择技术。并介绍了WBoxTbol的系统体系结构。分析和探讨了当前基于结构的软件测试中存在的问题和进一步的研究方向。     

嵌入式软件覆盖率测试的研究与应用

覆盖率测试是检验软件测试完整性、充分性的重要方式,这里介绍了覆盖率测试基础理论、覆盖率的测试类型、覆盖率测试工作流程、比较了覆盖率测试工具Bullseye Coverage、LDRA TestBed。并通过LDRA Testbed测试工具对被测软件程序插装,分析插装程序输出的结果得到语句覆盖率、分支覆盖率等数据,以达到对软件问题的查找和对测试充分性、全面性的验证。同时给出了Turbo C开发环境下DOS操作系统的嵌入式软件,利用LDRA Testbed进行覆盖率分析和通过查看未覆盖的代码定位软件问题、测试用例覆盖情况的详细步骤。     

关于软件测试课程的初步探究

软件测试是使用人工和自动手段来运行或测试某个系统的过程,其目的在于检验它是否满足规定的需求或是弄清预期结果与实际结果之间的差别。简单地说,如果有一段代码,查看这段代码并且从中找出错误,就是软件测试。软件测试课程主要是讲解软件测试的理论知识和自动化测试工具。从招聘网站上的数据可以看出,软件测试人员在IT公司的需求量是很大的,这些公司遍布了外资企业、合资企业、国企、大型民营企业和一些中小型公司。面对当前严峻的就业形势,软件测试显得更为重要。本文分析了软件测试的概念和作用以及软件测试职位的要求,从而得出计算机专业设置软件测试课程是很重要的结论。并且对软件测试课程的教学提出了合理的建议。