基于部分覆盖表的错误交互定位方法

在组合测试定位模型的基础上提出了部分覆盖表的错误交互定位方法,该方法在错误交互个数已知的条件下,通过生成部分覆盖表,利用测试用例运行结果提供的信息来对软件错误交互定位.从理论上证明了部分覆盖表等价于一类特殊的错误定位表,进而研究了部分覆盖表行数的上界,提出生成部分覆盖表的贪心算法,从而给出了定位引发软件故障的错误交互的...     

可定位单个错误的错误定位表的生成方法

研究了组合测试错误定位表的结构。针对t维组合测试情形,在假设待测系统中只有一个强度小于等于t维 的错误交互时,提出了一种新的构造这种特殊情形的错误定位表的方法。这种方法构造的错误定位表覆盖了所有的t 维交互并且对任意两个t维交互,表中包含这两个t维交互的行的集合互不相同。最后提出了生成这种错误定位表的 AE"I'Glikc算法。实验表明,用该方法构造出的错误定位表比用t}l维覆盖表构造的错误定位表其行数要少得多。     

一种面向服务流程异常处理的策略描述语言

研究了组合测试错误定位表的结构。针对t维组合测试情形,在假设待测系统中只有一个强度小于等于t维的错误交互时,提出了一种新的构造这种特殊情形的错误定位表的方法。这种方法构造的错误定位表覆盖了所有的t维交互并且对任意两个t维交互,表中包含这两个t维交互的行的集合互不相同。最后提出了生成这种错误定位表的AETG-like算法。实验表明,用该方法构造出的错误定位表比用t+1维覆盖表构造的错误定位表其行数要少得多。     

自适应表压缩方法优化STR算法

表约束,也称为外延式约束,是约束编程领域最常见的约束形式,表压缩方法通过紧凑的表示元组集可以极大地缩减空间消耗,同时加速 GAC 算法。笛卡尔乘积表示和短支持是表约束中最常见的两种表压缩方法,两种表压缩方法在同一问题上的压缩率是影响它们优化效果的主要原因。基于 STR 算法提出一种自适应表压缩方法,在求解问题时自适应选择压缩率大的表压缩方法,将自适应表压缩方法应用到 STR2 上提出了 STR2 Adaptive 算法,可以同时覆盖两种表压缩方法的优势。实验结果表明,STR2 Adaptive 算法在绝大部分实例上都能自适应选择最佳的表压缩方法,有效地减少了STR2算法空间消耗和CPU运行时间。然后将自适应表压缩方法扩展到采用了高效的比特向量表示的 STRbit 算法上提出了 STRbit Adaptive 算法。实验结果表明,STRbit Adaptive 算法效率同样普遍优于 STRbit 算法。     

采用人工鱼群的改进广义Hough变换目标定位

目的：传统广义Hough变换可以在平移、旋转、缩放、局部遮挡等情况下,对任意目标进行定位,但是存在定位速度较慢、存储空间较大、累加器空间离散化等缺点。方法：因此提出了基于全局自适应人工鱼群的广义Hough变换算法,对目标进行更快地定位。根据目标形状的极坐标信息建立精简R表,去除梯度信息,降低计算复杂度,同时提高目标模型的鲁棒性。然后,根据精简R表计算待测目标模型函数值,作为人工鱼的适应度值,人工鱼群采用自适应的感知范围和步长,通过不断交互并协调行为,在连续的多维累加器空间中启发式地搜索最优目标模型参数,从而标定出目标的准确位置。结果：实验结果表明,该算法只需要常量级的存储空间开销,并且与广义Hough变换算法相比速度提高了90%以上,较大地减少了空间和时间开销,也提高了目标的定位精度。结论：本文提出了一种新的累加器空间搜索策略,能够更快速准确地定位目标,特别是在复杂背景下对复杂目标定位更为明显。     

覆盖表生成的粒子群算法:参数优化和自适应算法

组合测试是一种能有效检测由参数间相互作用所引发错误的软件测试方法,覆盖表的生成是该研究领域的一个重要问题.目前,很多方法已被应用于覆盖表生成,基于演化搜索的粒子群算法尽管能得到较优的解,但其性能容易受到配置参数的影响.本文首先使用试验设计的方法,对不同覆盖表生成的算法参数进行优化,系统分析了参数对算法性能的影响.同时,考虑到对不同的覆盖表,最优的算法参数往往不同,因此进一步提出了一种适用于覆盖表生成的自适应粒子群算法.实验结果表明,在一定的参数取值范围内粒子群算法都能获得较好的结果,且不存在一组对任意覆盖表都能有最优性能的算法参数.通过参数调优,能使粒子群算法获得比已有结果规模更小的覆盖表,同时,与经过参数调优后的算法相比,自适应粒子群算法在大部分情况下有更好的性能.     

自适应混合表结构及其算法思想

本文介绍了一种新型的动态数据结构－自适应混合表。该结构是由顺序与链表交叉构造而形成的一种动态循环链表。文中对该结构进行了详细的构造描述,并给出了其插入、删除、查找等算法思想,自适应混合表结构为内存管理和应用程序的数据结构提供了一种新的模式,具有一定的实用价值。     

对等系统的数据定位

数据定位是对等系统的核心问题，在诸多对等系统数据定位方法中，应用分布式哈希表接口进行数据定位的方法优点突出。论文讨论了对等数据定位的常用方法以及用分布式哈希表接口进行对等数据定位的优点，对4种实现了分布式哈希表的接口算法，即CAN、Chord、Pastry、Tapestry算法作了分析，并对这4种算法的性能进行了比较。     

改进区域求和表算法

分析了一般的纹理映射反走样算法,提出了对纹理映射几何变换过程简化的改进区域求和表算法。算法通过对几何变换的局部线性化使得映射后象素多边形为平行四边形,然后在区域求和表法的基础上对矩形包围盒进行矩形自适应分割来完成反走样处理,实验表明改进算法在计算量增加了不大的基础上提出了图形质量。     

基于禁忌表的定位算法求解TSP问题

本文提出了一种基于禁忌表的定位算法求解TSP问题的快速、高效近似算法。这种算法结合了禁忌搜索算法中禁忌表及大规模构造算法和定位改进算法求解规模较大的TSP问题。计算机实例仿真证明,算法在求解质量和求解速度两方面高于著名的启发式算法的解。该算法针对TSP问题提出,是非常有效的。