期刊文献+

蜕变关系判定中计算误差分析

Computing Error Analysis in Judgment of Metamorphic Relationship
下载PDF
导出
摘要 蜕变测试应用于数值计算时,通常因截断和舍入误差以及误差传播导致蜕变关系成立判定产生偏差。以地形量算程序中不规则区域面积量算的蜕变测试为例,提出了蜕变测试的计算误差问题,给出了误差影响下蜕变关系成立与否的判断准则,并对比例蜕变关系和线性组合蜕变关系两种情况进行试验验证。结果表明,计算误差中蜕变关系判定影响显著且判断准则有效。 Metamorphic testing used in the practical numerical computing can exist errors caused by the transmission of truncation and round-off errors and the judgment of metamorphic rela- tions. The area measurements of the irregular field are used examples in the geographical mea- surement software to illuminate the existence of computing errors. The judgment criteria of meta- morphic relations are given based on the computing errors in the metamorphic testing. Experi- ments are conducted for the metamorphic relations of ratio and linear combination. Experimental results show that the judgment of metamorphic relations can affect the computing errors and the judgment criteria are effective.
出处 《指挥信息系统与技术》 2013年第2期80-84,共5页 Command Information System and Technology
基金 国家"863"计划(2009AA01Z402) 江苏省自然科学基金(BK2012059 BK2012060)资助项目
关键词 蜕变测试 不规则区域 面积量算 计算误差 metamorphic testing irregular field area measurement computing error
  • 相关文献

参考文献10

  • 1Weyuker E J. On testing non-testable programs[J]. The Computer Journal, 1982,25 (4) : 465-470.
  • 2Chen Tsongyueh, Cheung Chi Shing. Metamorphie testing:a new approach for generating next test eases, HKUST-CS98-01 [R]. Hong Kong: Department of Computer Seienee, Hong Kong University of Seienee and Technology, 1998.
  • 3Chen Tsongyueh, Feng Jianqiang, Tse T H. Meta- morphic testing of programs on partial differential e- quations: a case study[C]//Proceedings of the 26th Annual International Computer Software and Applica- tions Conference (COMPSAC 2002). Los Alamitos: IEEE Computer Society Press, 2002 : 327-333.
  • 4Huang Song, Duanmu Yiting, Hui Zhanwei, et al. Metamorphic testing of spatial distance measuring function of GIS [C] //International Conference on Computer Application and System Modeling (IC- CASM). Xiamen: IEEE Computer Society Press, 2011 :671-674.
  • 5Feng Jianqiang. On the effectiveness of metamorphic testing for numerical programs[D]. Hong Kong:De- partment of Computer Science and Information Sys- tem ,University of Hong Kong, 2004.
  • 6郭建锋,归庆明,朱建青.求不规则区域面积的一个数值算法[J].测绘通报,2001(1):12-13. 被引量:5
  • 7端木怡婷.地形量算程序的蜕变测试方法研究[D].南京:解放军理工大学指挥信息系统学院,2012.
  • 8刘证,丁桂艳.关于定积分几种近似计算的误差估计[J].鞍山科技大学学报,2003,26(4):313-317. 被引量:12
  • 9Andrews J H,Briand L C,Labiche Y. Is mutation an appropriate tool for testing experiments? [C]//Pro- ceedings of the 27th International Conference on Soft- ware Engineering (ICSE05). St. Louis:ACM Press, 2005:402-411.
  • 10Mayer J,Guderlei R. An empirical study on the selec- tion of good metamorphic relations [C]//Proceedings of the 30th Annual International Computer Software and Applications Conference ( COMPSAC'06 ). Chicago: IEEE Computer Society Press, 2006: 475- 484.

二级参考文献10

  • 1邓建中 葛仁杰 等.计算方法[M].西安:西安交通大学出版社,1992.119-129.
  • 2清华大学 北京大学《计算方法》编写组.计算方法[M].北京:科学出版社,1981.45.
  • 3菲赫金哥尔茨Г M.微积分学教程(第二卷,第一分册)[M].上海:商务印书馆,1955.144-159.
  • 4菲赫金哥尔茨ГM.微积分学教程(第二卷,第一分册)[M].上海:商务印书馆,1955.144-159.
  • 5刘玉琏 傅沛仁.数学分析讲义(上册)、第三版[M].北京:高等教育出版社,1996.391-399.
  • 6林成森.数值计算方法[M].北京:科学出版社,2001.173-181.
  • 7林成森.数值计算方法[M].北京:科学出版社,2001.173-181.
  • 8刘玉琏 傅沛仁.数学分析讲义(上册)[M]:第三版[M].北京:高等教育出版社,1996.325-331.
  • 9徐树坤,魏茂森,张艳芝,申立群.土方工程土方量与矿产储量计算方法探讨——空间体积问题转化为平面面积问题[J].测绘通报,1998(6):20-21. 被引量:7
  • 10徐万鹏,郑风华.光滑分段三次多项式面积公式及应用[J].北京测绘,1998,12(4):14-16. 被引量:1

共引文献15

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部