用于覆盖测试的代码插桩程序设计与实现

设计了一种用于覆盖测试的代码插桩器,重点介绍了一种高效的词法语法分析方法：通过所读入的左右大括号是否匹配把整个代码分为函数内部和外部,根据这两部分感兴趣的关键字不同建立不同的DFA状态转换表,使每个词素能够用最少的状态转换次数判断出是否为所关注的关键字,减少状态转移的时间复杂度;使用已生成的状态转换表,消除了建立DFA的时间开销。描述了状态转换表的生成过程,插桩器的实现过程以及运行结果。     

基于插桩技术的并行程序的重演方法

提出了一种新的跟踪、重演方法,采用插桩技术在源程序中插入控制程序执行的同步操作,使特定的同步事件序列再现．此方法将同步控制逻辑分散在源程序中,很好地适应了基于消息传递并行系统的运行特征,提高了重演执行的性能,并且不存在缓冲区溢出问题．     

基于条件概率的错误定位方法

有效的软件调试是保证软件可靠性的关键。调试旨在发现程序中存在的错误并进行修复,其中错误定位最为烦琐,针对目前性能优异的基于程序频谱的定位方法展开研究。为了能直观地表现程序频谱与执行结果之间的联系,结合条件概率的思想对这种联系进行量化分析,并基于条件概率模型的特征提出了一种新的可疑度计算公式CPStar,该方法采用了不确定性系数Star,通过调节系数的大小提高公式的可用性,可以有效修正成功测试用例的数量对定位效果的不利影响。实验结果表明,提出的CPStar方法可以在一定程度上提高错误定位的准确性与效率,其定位效果优于其他方法。     

基于宿主嵌入式软件白盒覆盖测试系统的设计

随着软件系统变得越来越复杂和庞大,软件中的安全缺陷也急剧增加,系统中的错误也在逐渐增多。本文实现了基于宿主的嵌入式软件覆盖测试系统,该系统通过对源程序进行词法语法分析、自动插装、测试用例的生成和加入、动态仿真运行及覆盖率报告分析等得到测试结果,有效的解决了传统的基于目标带来的软件测试依赖硬件等问题,基本满足了用户对嵌入式软件测试的需求。     

基于色度矢量的图像错误隐藏内插算法

MPEG- 2等图像编码算法对信道干扰是非常敏感的 ,由于错误传播现象 ,1bit的错误将可能使图像质量有明显的下降 .因此 ,接收端常常提供错误隐藏技术 ,来改善图像效果 .该文以 MPEG- 2的视频信号为例 ,根据图像像素间的强相关性 ,对以条为单位出现的图像错误 ,提出了一种空间色差内插算法 ,并推导出了内插像素色差的显示表达式 ,从而可以实现快速实时处理 .另外 ,还对传统的像素内插算法进行了修改 .最后 ,对时间内插算法中的运动矢量进行了推导 .仿真结果表明 ,应用该算法进行丢失像素的内插 ,效果是满意的 .     

基于语义抽象的内存访问错误检测

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误.通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性.原型实现表明了方法的有效性.     

一种基于数字水印的错误检测和定位技术

为了增强视频通信系统在有误码信道的适应能力 ,提出了一种基于数字水印技术的错误检测方法 ,使得解码器可以对误码块进行有效的补偿。其原理为编码器在量化后离散余弦变换 (DCT)系数中嵌入易碎的数字水印 ,解码器可以通过提取水印从而确认错误以及错误发生的首宏块位置。仿真结果证明 :在信道误码率为 5× 10 - 4时 ,与常用的基于语法的方法相比 ,本方法的错误检测率是其的 1.32～ 1.82倍 ,错误正确定位率是其的 2 .95～ 5 .32倍 ,而且 PSNR只有微弱降低 ,同时算法复杂度很低     

浅谈水泥土搅拌桩的试验测试技术

随着我国高速公路的发展,各种软基处理技术也开始广泛应用到高速公路工程中。特别是水泥搅拌桩软基处理技术已经广泛应用于高速公路的软土地基路段加固和桥头、通道等结构物衔接段的地基处理工程。检测水泥搅拌桩质量,目前工程中普遍采用的方法有：目测法、轻便动力触探法、静力触探法、钻探取芯法、应力波反射法等。本文主要参考线管文献资料,对水泥土搅拌桩的试验测试技术做了分析和阐述。     

基于TwinCAT Vision的自动插磁视觉定位系统设计

为解决传统的视觉系统与组装流水线的流程控制分属于两套不同系统的问题，在通过串口或TCP/IP进行通信时易导致停机、停线、减慢生产节拍等问题，利用TwinCAT Vision机器视觉模块设计了一套流水线上的转子视觉定位系统，系统的图像处理部分被添加到整合PLC(programmable logic controller)运动控制的通用控制平台TwinCAT上，实现与整个转子装配流水线中PLC运动控制模块的无缝连接。视觉定位系统通过TwinCAT Vision采集流水线操作台上的转子图像，传递到实时内核模式下的PLC机器视觉与工艺流程控制系统中。研究表明，与传统机器视觉方案相比，该视觉定位系统减少了通信环节，提高了系统稳定性，节省时间约26.2 ms,效率提高96.3%左右，有效缩短了检测环节的用时。     

码头工程施打斜桩的直角交会定位方法

在高桩梁板式码头工程施打斜桩时,往往利用测量基线进行直角交会定位的方法。本文结合工程实例,介绍该方法的操作及计算要点、优点与精度分析。     

嵌入式软件回归测试错误定位方法的研究

由于嵌入式软件的复杂性,决定着嵌入式软件的修改是一项困难的任务,在修改的过程中容易引入新的错误.由此可知嵌入式软件的回归测试在整个软件开发的生命周期中占有重要地位.通过研究几种回归测试错误定位方法,提出一种适用于嵌入式软件的基于程序频谱和原子依赖的回归测试错误定位方法,并且通过实例对该方法进行了说明.     

程序设计缺陷分析

程序设计是软件生命周期中一个重要阶段,程序设计缺陷将引发各种软件问题.根据软件测试中出现的与程序设计有关的缺陷,归纳整理了程序设计方面存在的编码风格、变量初始化、内存管理等缺陷,并通过实例对部分缺陷进行了分析,给出了修改方法.     

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

软件测试是软件开发生命周期的重要组成部分,也是目前和今后相当长一段时间内保证软件质量和可靠性的关键手段。为了提高软件测试的效率,开发软件测试自动化工具是十分必要的。本文在已经实现了的面向对象语言的软件测试自动化工具-Panorama的基础上,介绍了开发软件测试自动化工具中的一些关键技术的实现原理。     

利用软件故障注入提高软件测试覆盖率

软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这些代码中可能包含软件故障，反而成为软件质量的隐患，为此采用程序变异的方法对被测软件进行故障注入，用强制的方法执行被测分支，从而提高软件的测试覆盖率。     

大模数齿轮数控加工程序与仿真软件设计

为了减少大模数齿轮在大型专用滚齿机加工中费用,采用大型普通的数控铣床加工。通过对大模数齿轮加工工艺分析,程序的数学模型建立,插补坐标计算,设计出大模数齿轮数控加工参数化自动编程软件。该软件具有虚拟制造的齿形设计、加工仿真,生成并保存G代码,与数控机床远程通信等功能。用户使用该软件在大型普通的数控铣床加工大模数齿轮可减少编程时间,提高生产率、优良品率和加工精度。     

由分类算法学习软件错误定位的关联测度

基于谱的错误定位(SBFL)技术能找出导致程序出错的可执行代码.测试用例数目和覆盖语句次数可构造SBFL的二分型矩阵.利用该矩阵,人们提出许多的SBFL关联测度计算公式.然而,这些关联测度往往只适应部分程序集.因此,提出基于分类算法的技术,能学习到程序集特有的关联测度.训练集样本建立在成对的错误语句和正确语句上,其特征由语句对的条件概率相减而成.为证实技术的有效性,在Siemens套件、space和gzip三个基准数据集上完成实验.使用Weka的Logistic、SGD、SMO和LibLinear训练出的关联测度,性能都明显优于固定形式的SBFL测度.     

基于分组的并行程序多路径覆盖测试数据进化生成

尽管并行软件测试已经得到软件工程界的广泛关注,但是,如何高效生成覆盖并行软件多条路径的测试数据,相关的研究还比较少。本文研究消息传递并行程序多路径覆盖测试数据生成问题,并提出基于分组的测试数据进化生成方法。首先根据并行程序包含的进程数、可用的计算资源以及路径相似度,将目标路径分成若干组,并基于每组目标路径,建立多路径覆盖测试数据生成问题的数学模型;然后采用多种群并行遗传算法求解上述模型,使得一次运行遗传算法,生成覆盖所有目标路径的测试数据。性能分析表明,所提出的目标路径分组方法不但能够保证不同组包含的目标路径相差很少,而且同一组的目标路径之间具有很大的相似度。将所提方法应用于4个基准程序的测试中,并与已有方法比较,结果表明,所提方法在保证路径覆盖率的前提下,可大大缩减个体评价次数和耗时。     

无用代码的检测

程序中的无用代码意味着算法设计、代码实现中存在着问题。无用代码的存在增加了软件开发、测试、使用中的开销，对正确进行程序测试评估产生影响。在对无用代码的表现形式进行分析的基础上，对影响无用代码检测所要进行的数据流分析的各种因素进行了讨论。文中关于到达定值数据流分析过程中的常数传播、谓词表达式的变换、程序插装等的关于谓词表达式的求解方法为无效分支的检测提供了依据。