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

doi:10.3724/SP.J.1087.2013.01657

计算机应用 ›› 2013, Vol. 33 ›› Issue (06): 1657-1745.DOI: 10.3724/SP.J.1087.2013.01657

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

黄松¹,²,丁瑞浩¹,李辉¹,²,姚奕¹,²

1. 解放军理工大学指挥信息系统学院, 南京 210007
2. 全军军事训练软件测评中心, 南京 210007

收稿日期:2012-12-20 修回日期:2013-02-26 出版日期:2013-06-01 发布日期:2013-06-05
通讯作者: 黄松
作者简介:黄松（1970- ），男，江苏淮安人，教授，博士生导师，CCF高级会员，主要研究方向：系统软件测试、程序仿真；丁瑞浩（1988-），男，河南郑州人，硕士研究生，CCF会员，主要研究方向：软件测试；李辉(1974-)，男，山东济南人，硕士，主要研究方向：软件工程、软件测试；姚奕（1981-）,男，江苏南通人，讲师，博士，CCF会员，主要研究方向：软件测试。
基金资助:
国家863计划项目（2009AA01Z402）;江苏省自然科学基金资助项目（BK2012059, BK2012060）;解放军理工大学预研基金资助项目(20110202，20110210)

Research on metamorphic testing of slope and aspect calculating programs

HUANG SONG¹,²,DING Ruihao¹,LI Hui¹,²,YAO Yi¹,²

1. Collage of Command Information System, PLA University of Science and Technology, Nanjing Jiangsu 210007, China
2. PLA Military Software Testing and Evaluation Center, Nanjing Jiangsu 210007, China

Received:2012-12-20 Revised:2013-02-26 Online:2013-06-05 Published:2013-06-01
Contact: HUANG SONG
Supported by:
;The Natural Science Foundation of Jiangsu Province under Grant

摘要/Abstract

摘要： 坡度、坡向量算是地理信息系统的主要功能之一。然而，由于截断误差、舍入误差以及误差传播的影响，导致测试判定难以获取。基于此，提出将蜕变测试应用于坡度、坡向量算程序的测试中，通过分析坡度、坡向量算程序功能的几何属性、数值计算特性以及具体实现算法等提出蜕变关系，并通过分析蜕变关系的适用范围，形成坡度坡向量算程序蜕变测试方法。最后，通过实例研究，验证了提出的蜕变关系在消除不同类型变异方面的有效性。实验结果表明，该方法可有效解决坡度、坡向量算程序的测试判定问题，同时也为解决地理信息系统中其他空间度量程序的测试判定问题提供了借鉴，进一步拓展了蜕变测试技术的应用范围。

关键词: 坡度, 坡向, 蜕变测试, 蜕变关系

Abstract: 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.

Key words: slope, aspect, metamorphic testing, metamorphic relation

中图分类号:

TP311

黄松丁瑞浩李辉姚奕. 坡度坡向量算程序蜕变测试方法[J]. 计算机应用, 2013, 33(06): 1657-1745.

HUANG SONG DING Ruihao LI Hui YAO Yi. Research on metamorphic testing of slope and aspect calculating programs[J]. Journal of Computer Applications, 2013, 33(06): 1657-1745.

参考文献

[1] 吴立新, 史文中.地理信息系统原理与算法［M］.北京:科学出版社,2003: 323-325.

[2] WEYUKER E J. On testing non-testable programs［J］. The Computer Journal, 1982, 25(4): 465-470.

[3] 吴信才. 地理信息系统设计与实现［M］. 2版.北京:电子工业出版社, 2009: 156-160.

[4] WANG H Y, TANG X M. Exploratory research on GIS software testing［C］// International Symposium on Spatial Analysis, Spatial-Temporal Data Modeling and Data Mining. Boston:SPIE, 2009:74923G1-74923G9.

[5] 邓红艳，武芳，赵敬东，等. GIS软件测试方法［J］.计算机工程与设计, 2005,26(7):1827-1829.

[6] CHEN T Y, CHEUNG S C, YIU S M. Metamorphic testing: a new approach for generating next test cases［R］. Hong Kong: Hong Kong University of Science and Technology, 1998.

[7] CHEN T Y, FENG J, TSE T H. Metamorphic testing of programs on partial differential equations: a case study［C］// Proceedings of the 26th Annual International Computer Software and Applications Conference. Washington, DC: IEEE Computer Society, 2002: 327-333.

[8] ZHOU Z Q, TSE T H, KUO F C, et al. Automated functional testing of Web search engines in the absence of an oracle［R］. Hong Kong: The University of Hong Kong, 2007.
[9] KUO F C, ZHOU Z Q, MA J, et al. Metamorphic testing of decision support systems: a case study［J］. IET Software, 2010,4(4): 294-301.

[10] 李志林,朱庆.数字高程模型［M］.武汉:武汉测绘科技大学出版社,2000: 5-7.

[11] 郝振纯,安贵阳,王加虎,等.不同地形下DEM的坡度坡向算法比较［J］.水电能源科学,2011,29(6):68-70.

[12] 孙家广.计算机图形学［M］.北京:清华大学出版社,1998: 362-372.

[13] 刘学军,龚健雅,周启明,等.基于DEM的坡度坡向算法精度的分析研究［J］. 测绘学报,2004,33(3):258-263.

[14] OFFUTT A J, LEE A, ROTHERMEL G, et al. An experimental determination of sufficient mutant operators［J］. ACM Transactions on Software Engineering and Methodology, 1996, 5(2): 99-118.

[15] OFFUTT A J, ROTHERMEL G, ZAPF C. An experimental evaluation of selective mutation［C］// Proceedings of the Fifteenth International Conference on Software Engineering. Washington, DC: IEEE Computer Society, 2003:100-107.

[16] DONG G W, NIE C H, XU B W, et al. An effective iterative metamorphic testing algorithm based on program path analysis［C］// Proceedings of the 7th Annual International Conference on Quality Software. Washington, DC: IEEE Computer Society, 2007: 292-297.

[17] CHEN T Y, KUO F C, LIU Y, et al. Metamorphic testing and testing with special values［C］// Proceedings of the 5th International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. ［s.l.］: International Association for Computer and Information Science, 2004: 128-134.

[18] CHEN T Y, HUANG D H, TSE T H, et al. Case studies on the selection of useful relations in metamorphic testing［C］// Proceedings of the 4th Ibero-American Symposium on Software Engineering and Knowledge Engineering. Madrid, Spain: Polytechnic University of Madrid Press, 2004: 569-583.

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

Research on metamorphic testing of slope and aspect calculating programs

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 4

编辑推荐

Metrics

[1]	侯雪梅, 于磊, 张兴隆, 李志博. 面向对象软件测试的蜕变关系构造方法[J]. 计算机应用, 2015, 35(10): 2990-2994.
[2]	周静付绪昌. 基于新的粒子群算法的虚拟角色路径规划仿真系统[J]. 计算机应用, 2014, 34(9): 2562-2565.
[3]	吴天羿许继恒刘建永. 基于改进蚁群算法的越野路径规划[J]. 计算机应用, 2013, 33(04): 1157-1160.
[4]	路晓丽董云卫. 面向服务软件的蜕变测试方法[J]. 计算机应用, 2011, 31(07): 1756-1758.