基于改进势场的有向传感器网络路径覆盖增强算法

路径覆盖是无线传感器网络目标监控领域的一个热点研究问题,在分析节点主感知方向可调模型的基础上,提出了一种基于改进势场的有向传感器网络路径覆盖增强算法(improved potential field based path coverage-enhancing algorithm,IPFPCA).该算法针对传统虚拟势场可能出现的局部极小导致覆盖增强失败问题设计了一种改进的势场函数,通过将相邻传感器节点对路径轨迹点的共同覆盖率引入到斥力计算中,有效引导节点的主感知方向调整,从而达到路径的高效覆盖.实验结果表明:对比已有的路径覆盖增强算法,IPFPCA可以消除节点的感知重叠区和盲区,最终实现网络路径的高效覆盖.  

嵌入式软件路径覆盖测试数据采集

分析嵌入式软件动态测试的特点及路径覆盖测试策略，设计动态测试数据采集处理框架，其中包含程序分析与插桩、测试数据采集传输、测试结果分析与处理3大子系统。以静态分析结果指导插桩，采用消息队列机制采集传输数据，并利用测试结果制作初步测试报告。通过测试实例分析模拟采集、处理一条路径数据的过程，证明该框架的可行性。  

基于程序路径分析的有效蜕变测试

蜕变测试对于预期输出难以构造的程序是实用和高效的.作者在系统研究已有蜕变测试方法和路径分析技术的基础上,首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则,以在多个不同的层次上定义蜕变测试用例集的充分性;然后给出了3种能够生成相应测试用例集的算法;最后通过变异分析的方法证实这些算法的有效性.实验结果表明,蜕变关系和测试准则的选取直接影响到测试的效果,另外,使用蜕变关系全路径覆盖可满足性算法(APCEMsT)可以快速准确地发现待测程序中的错误,而生成的测试用例的数量却比传统技术要少.  

基于DDGRAPH图的路径覆盖研究

软件测试分为静态分析、路径选择、测试数据生成和动态分析四个阶段,而路径选择的自动生成是软件测试的关键技术之一。路径覆盖是软件测试中一种十分重要的方法,它使程序的每个分支至少执行一次。文中通过对DDGRAPH图的分析,提出了DDGRAPH图中弧的支配树和蕴含树的表示方法,然后给出由支配树和蕴含树确定非限制弧的方法,通过近似最少谓词覆盖策略以确定覆盖所有非限制弧的路径测试子集。  

使用贝叶斯网络的高效模拟矢量生成方法

以提高验证效率、缩短验证周期为目标,使用贝叶斯网络优化模拟矢量,有效地缩小了用于回归测试的模拟矢量规模.采用信息论中的互信息作为评测准则,在输入变量和分支语句之间建立贝叶斯网络,并使用该网络进行推理和产生新的模拟矢量.实验结果表明:使用不同推理算法生成的模拟矢量长度大大缩短,平均为原有模拟矢量的1*/10左右,其中最高路径覆盖率达到甚至超过了原有样本.  

基于控制流程图的路径覆盖测试的改进方法研究

软件测试是当前软件生成重要的研究课题。文中从源程序开始,引入基本块的方法将源程序转换为相应的控制流程图。并采用图形的方法将路径构造相应的自动机,通过对自动机中回边的处理,生成简化的并与之等价的自动机。经过若干变换后,可在自动机上直观地求出路径覆盖的条数和相应的信息。此方法实现路径覆盖的目标,简化路径覆盖生成过程,步骤直观,且减少路径生成数。  

产生多条路径上测试用例的改进遗传算法

测试用例的产生是软件测试过程中的重要环节，也是瓶颈之一。遗传算法作为一种高效的搜索寻优算法，近年来较多地用于自动化测试中产生测试用例。该文结合数据库管理系统源代码的特点，在基本遗传算法的基础上，结合“位权重”和“邻居影响”的思想，提出了用于产生多条路径上测试用例的改进遗传算法，并通过实验验证了该算法的有效性。  

基于关键信号的路径覆盖率模型

针对使用路径覆盖率作为验证目标时出现的路径数量庞大、覆盖率难以快速提高等问题，使用控制流图表示代码逻辑结构，采用数据流分析技术对待验证路径进行合理的化简．所产生的路径集合规模小、针对性强，有利于尽早发现设计错误．最后使用遗传算法生成模拟矢量，并基于北京大学“众志．863系统”芯片中的功能模块给出实验结果，说明该覆盖率模型的有效性．  

基于BIST软件测试思想的单元测试框架

BIST是一种成熟的硬件可测性设计的方法，BIST软件测试思想则借用了该技术，它主要包括模板和自治测试部分两大基本结构。在该思想的指导下，整合测试用例、测试点、插装函数、测试报告等测试要素，提出了各个要素的存储或使用方式，以路径覆盖为测试目标，提出了一种BIST软件自测试的测试框架。实践证明，该测试框架有利于BIST软件测试思想的进一步研究和实现。