摘要
考虑到伪距定位程序中算法数值计算复杂性及其在用户定位过程中的重要性,提出将蜕变测试方法应用于伪距定位程序的软件测试中。基于伪距定位程序的蜕变测试流程,通过分析算法几何属性、数值计算特性及具体实现,提出3种不同的蜕变关系。结合变异分析技术对蜕变关系设计的有效性进行验证,实验结果表明,该方法能够有效检测伪距定位程序中的软件缺陷、提高测试效率,进一步拓宽了蜕变测试方法的应用范围。
-
单位西安测绘研究所; 地理信息工程国家重点实验室