摘要：为了避免因软件缺陷造成不必要的损失,提出嵌入式软件路径覆盖测试用例生成仿真。分析污点数据传播规律,定义传播模式,完成污点数据检测,探究其流向,筛选出不可行的覆盖路径;结合相似度计算公式将相似度较高的路径划分在同一组中;设计目标函数,缩小路径搜索范围,将路径覆盖问题转换为多个具有少量目标的子优化问题,建立路径覆盖数据模型;利用遗传算法,制定编码方式,确定合理的适应值,明确算法终止条件,输出最终测试用例。仿真结果证明,所提方法用例生成数量稳定,充分性强,不用占用太多的系统内存。

摘要：路径覆盖是软件测试领域重要的测试方法之一.为了提高路径覆盖测试效率,在采用遗传算法进化生成路径覆盖的测试数据过程中,利用被测程序条件语句的相关性判定不可达路径,除路径中必经节点外,其他节点在不可达路径中出现的概率越大,穿越该节点的个体就具有越高的穿越度,在进化过程中应得到保护.提出了根据个体的穿越度设计适应度函数方法,从而提高测试数据的生成效率.将所提方法应用于基准程序和工业用例,并与同类方法比较可知,该方法生成路径覆盖的测试数据具有较高的效率.

摘要：针对路径覆盖节点控制策略问题,利用路径覆盖的特点,提出了一种基于层级结构的节点覆盖控制方法。通过对节点感知监测目标的先后顺序,在保障不丢失监测目标的前提下,建立了节点层级模型和关联模型,设计了以开启节点数目和均衡能耗为优化目标的覆盖控制策略。仿真结果表明,该方法较基于冗余节点的覆盖控制方法,可以有效地改善节点的能耗效率,从而起到提高网络服务质量,延长网络寿命的目的。

摘要：采用遗传算法自动生成路径覆盖的测试数据是软件测试自动化研究的热点.现有方法设计适应值函数时,对穿越难以覆盖节点的稀有数据保护不够理想,因而影响测试数据生成效率的提高.文中在测试数据进化生成时动态扑捉稀有数据,通过统计每代种群中目标路径各节点被穿越的个体数量,得到个体对生成穿越目标路径测试数据的贡献,以此作为权重调整个体的适应值,使得稀有数据的适应值增加,以便在后续进化中得到保留,从而提高测试数据生成的效率.基准程序和工业用例的测试结果表明,与传统方法及随机法比较,文中方法生成覆盖路径的测试数据效率较高.

摘要：提出一种新的用于多路径覆盖的测试数据生成方法.首先,将被测程序表示成一棵二叉树,对目标路径采用赫夫曼编码方法表示成二进制串;然后,采用遗传算法生成多个测试数据,设计的适应度函数综合考虑个体穿越的路径与每个目标路径的匹配程度.将提出的方法用于4个基准程序的路径覆盖测试数据生成,并与已有方法比较,结果表明本文方法计算量小,生成测试数据效率高.

摘要：为了快速生成覆盖目标路径的测试数据,提出在测试数据进化生成中,利用种群中个体穿越程序各分支的均衡程度调整进化过程.首先,在个体运行被测程序后,统计个体穿越各分支节点真假分支的情况;然后,设计并计算个体穿越程序的均衡度;最后,计算个体对程序均衡度的影响,使对程序均衡度影响大的个体具有较高的适应值,有更多机会参与到后续进化中,有效地提高了测试数据的生成效率.基准程序和工业用例的实验结果表明,与同类方法比较,所提出的方法在生成测试数据的运行时间与成功率方面具有优越性.

摘要：给定边权重为1或2的完全图,研究如何用2条顶点不相交的路径覆盖图中所有顶点,为了达到最大路径权重尽可能小的目标,在{1,2}-赋权图上旅行售货商问题的已有算法的基础上,设计了该问题的近似算法,并证明了算法的近似比不超过11/7。

摘要：提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法 .该方法在约束生成时只考虑控制语句的条件表达式 ,可有效避免生成冗余约束 ;利用扩展的决策图模型解决了中间信号到初始输入的传播问题和信号依赖关系问题 ,以及处理各种HDL描述风格的问题 ;采用约束逻辑编程方法解决了由位、位向量和整型变量组成的约束系统的统一处理问题 .实验结果表明该方法能加快模拟矢量生成速度 ,提高路径覆盖率 .生成的模拟矢量也能用于低层次设计验证和故障模拟 ,加快了设计进度 .将该方法的原型系统用于一个 32位微处理器核RTL级验证 ,发现了RTL级设计描述中的错误 .

摘要：目标检测是无线传感器网络的一个重要应用。在目标检测过程中,用户在获取目标丰富的图像信息的基础上,对目标的路径覆盖情况更为关注。针对单目标在整个运动路径中均能被K级覆盖且传感器分布密度达到最小这一问题,首先结合有向感知模型和单目标位置数学预测模型,给出了传感器在理论上的最小分布密度,然后设计了单目标路径覆盖分区动态优化算法。该算法依据传感器自身与目标的距离,将整个监控区域中的传感器分为外部传感器、中部传感器和内部传感器,对每类传感器分别实施不同的旋转决策。仿真结果表明,提出的算法与现有的算法相比,有效地降低了监控区域中传感器的分布成本。

摘要：路径覆盖是软件测试中一种十分重要的方法,它使程序的每个分支至少执行一次;针对嵌入式软件测试的特点,提出了嵌入式软件路径覆盖测试的策略,通过模拟测试通用型智能水量计量仪C430主控程序的各个步骤,运用基本路径插桩策略分析计算插桩探针的位置、个数,统计计算整个探针的覆盖面,构造基本路径和实际程序执行路径;测试覆盖率达到71.1%,取得了一定的效果,对增强软件测试方案设计的系统性,提高软件测试质量和效率,起到了较好的作用。