摘要
考虑到伪距定位程序中算法数值计算复杂性及其在用户定位过程中的重要性,提出将蜕变测试方法应用于伪距定位程序的软件测试中。基于伪距定位程序的蜕变测试流程,通过分析算法几何属性、数值计算特性及具体实现,提出3种不同的蜕变关系。结合变异分析技术对蜕变关系设计的有效性进行验证,实验结果表明,该方法能够有效检测伪距定位程序中的软件缺陷、提高测试效率,进一步拓宽了蜕变测试方法的应用范围。
Considering the complexity of numerical calculation and its importance of the navigation and location for the system users in calculation of pseudo-range,metamorphic testing was applied to the software testing in such programs.A test following of metamorphic testing of pseudo-range calculating programs and three metamorphic relations were designed by analyzing the geometric properties,numerical calculation characteristics and the implementation of the algorithm.The metamorphic testing method of the pseudo-range calculating programs was formed by analyzing the applicable range of these metamorphic relations.With the instance research,the results illuminate that the metamorphic testing method is effective in detecting such program faults.
作者
张侹
廖斌
李奎
吴娟
王德龙
ZHANG Ting;LIAO Bin;LI Kui;WU Juan;WANG De-long(State Key Laboratory of Geo-Information Engineering,Xi’an 710054,China;Xi’an Research Institute of Surveying and Mapping,Xi’an 710054,China)
出处
《计算机工程与设计》
北大核心
2023年第10期3063-3069,共7页
Computer Engineering and Design
关键词
软件测试
伪距定位
测试判定
蜕变测试
蜕变关系
原始测试用例
衍生测试用例
变异分析
software testing
pseudo-range calculating
testing oracle
metamorphic testing
relation of metamorphic
original test case
derivatives test case
mutation analysis