基于改进Z-路径覆盖提高测试充分性的方法

单元测试是软件质量保证的重要技术方法,也是安全关键软件测试中必不可少的重要环节。介绍了传统单元测试方法中覆盖程度较高的Z-路径覆盖,通过程序实例和理论分析,对Z-路径覆盖在对循环的测试中出现的问题进行分析,证实了传统Z-路径覆盖可能存在的缺陷,并在此基础上提出一种改进的Z-路径覆盖准则,给出了相应的测试用例补充方法,以保证测试用例的充分性。此外还提出了一种检测未覆盖出口的方法,进一步提高和保证单元测试的充分性。最后,对相关工作进行了总结和展望。

基于Z路径覆盖的测试用例自动生成技术研究

路径覆盖是白盒测试中覆盖率最高的一种覆盖方法,但由于其生成的路径过多,很难应用到实际测试中。Z路径覆盖是路径覆盖的一个变体,可有效解决路径覆盖过多的难题。结合指令块测试思想和动态数据自动生成算法,提出基于Z路径覆盖的测试路径和测试用例自动生成技术。

复杂任务区域的区域划分与覆盖路径规划

多无人机对指定区域进行巡飞探测,在地理测绘、抢险救灾等领域起到重要作用。针对多无人机对凸/非凸多边形区域的覆盖问题,开展了复杂目标区域的区域划分以及覆盖路径规划技术研究。首先,建立了无人机飞行运动模型和指定区域的边界描述。然后,针对目标区域为凸多边形与非凸多边形两种情况,同时考虑区域凸分解与集群覆盖效率优化,分别提出了基于线扫描的凸区域划分方法与基于Delaunay三角剖分的非凸区域划分方法。接着,考虑无人机运动学约束与能量消耗最小化,提出了一种最小转弯半径约束下的Z型覆盖路径。最后,通过数值仿真验证了本文所提方法的有效性。结果表明,所提方法可以对凸/非凸多边形区域实现凸划分并减小了各子区域面积差异,提高了集群总覆盖效率,覆盖路径规划方法使路径总长相较于未沿主轴覆盖时减小了26%,转弯路径占比减小了36%。