坡度坡向量算程序蜕变测试方法  

Research on metamorphic testing of slope and aspect calculating programs

作　　者：黄松[1,2] 丁瑞浩[1] 李辉[1,2] 姚奕[1,2] 

机构地区：[1]解放军理工大学指挥信息系统学院,南京210007 [2]全军军事训练软件测评中心,南京210007

出　　处：《计算机应用》2013年第6期1657-1661,1745,共6页journal of Computer Applications

基　　金：国家863计划项目(2009AA01Z402);江苏省自然科学基金资助项目(BK2012059;BK2012060);解放军理工大学预研基金资助项目(20110202;20110210)

摘　　要：坡度、坡向量算是地理信息系统的主要功能之一。然而,由于截断误差、舍入误差以及误差传播的影响,导致测试判定难以获取。基于此,提出将蜕变测试应用于坡度、坡向量算程序的测试中,通过分析坡度、坡向量算程序功能的几何属性、数值计算特性以及具体实现算法等提出蜕变关系,并通过分析蜕变关系的适用范围,形成坡度坡向量算程序蜕变测试方法。最后,通过实例研究,验证了提出的蜕变关系在消除不同类型变异方面的有效性。实验结果表明,该方法可有效解决坡度、坡向量算程序的测试判定问题,同时也为解决地理信息系统中其他空间度量程序的测试判定问题提供了借鉴,进一步拓展了蜕变测试技术的应用范围。Slope and aspect calculating is a basic function of Geographic Information System （GIS）. However, due to the existence of rounding and truncation errors, it is difficult to obtain the oracles of the implementation. In order to provide test oracles, this paper applied metamorphic testing technique into the testing of slope and aspected calculating programs, and designed several metamorphic relations by analyzing the geometric and numerical features, algorithm of slope and aspect calculating programs. It also analyzed the applicable range of these metamorphic relations, and formed the metamorphic testing method of slope and aspect calculating programs that was proved useful based on mutant testing. Our researches can not only be used as references for alleviating the oracle problem of other kinds of programs in GIS, but also help to promote the development of metamorphic testing technique.

关 键 词：坡度 坡向 蜕变测试 蜕变关系 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]