A Comprehensive Study of Real-World NumericalBug Characteristics真实世界数值的综合研究 缺陷特征

A Comprehensive Study of Real-World NumericalBug Characteristics真实世界数值的综合研究 缺陷特征

ID:39077535

大小:255.05 KB

页数:11页

时间:2019-06-24

A Comprehensive Study of Real-World NumericalBug Characteristics真实世界数值的综合研究 缺陷特征_第1页
A Comprehensive Study of Real-World NumericalBug Characteristics真实世界数值的综合研究 缺陷特征_第2页
A Comprehensive Study of Real-World NumericalBug Characteristics真实世界数值的综合研究 缺陷特征_第3页
A Comprehensive Study of Real-World NumericalBug Characteristics真实世界数值的综合研究 缺陷特征_第4页
A Comprehensive Study of Real-World NumericalBug Characteristics真实世界数值的综合研究 缺陷特征_第5页
资源描述:

《A Comprehensive Study of Real-World NumericalBug Characteristics真实世界数值的综合研究 缺陷特征》由会员上传分享,免费在线阅读,更多相关内容在学术论文-天天文库

1、AComprehensiveStudyofReal-WorldNumericalBugCharacteristicsAnthonyDiFranco*,HuiGuo*,andCindyRubio-GonzálezDepartmentofComputerScienceUniversityofCalifornia,Davis,USA{acdifranco,higuo,crubio}@ucdavis.eduAbstract—Numericalsoftwareisusedinawidevarietyofap-accuracy[9,12,45]andinstabilityproblems[10,26].

2、However,plicationsincludingsafety-criticalsystems,whichhavestringentthereisagapofknowledgeinunderstandingthecharacteristicscorrectnessrequirements,andwhosefailureshavecatastrophicofnumericalbugsinreal-worldnumericalsoftware.Whatareconsequencesthatendangerhumanlife.Numericalbugsarethemostcommonnumer

3、icalbugs?Howprevalentaretheseknowntobeparticularlydifficulttodiagnoseandfix,largelyduetotheuseofapproximaterepresentationsofnumberssuchbugs?Areexistingtoolscapableofdetectingthem?Howareasfloatingpoint.Understandingthecharacteristicsofnumericalsuchbugsfixed?Areexistingprogramrepairtoolssuitablebugsisthe

4、firststeptocombatthemmoreeffectively.Inthistofixthem?Thispapertakesafirststeptowardsansweringpaper,wepresentthefirstcomprehensivestudyofreal-worldthesequestionsbyconductingthefirstcomprehensivestudyofnumericalbugs.Specifically,weidentifyandcarefullyexaminereal-worldnumericalbugcharacteristics.Thegoalofth

5、ispaper269numericalbugsfromfivewidely-usednumericalsoftwarelibraries:NumPy,SciPy,LAPACK,GNUScientificLibrary,andistostudythecauses,symptoms,andfixesofnumericalbugsElemental.Weproposeacategorizationofnumericalbugs,andinnumericallibraries,andprovideahigh-levelcategorizationdiscusstheirfrequency,symptoms

6、andfixes.Ourstudyopensthatcanserveasaguideforresearcherstodeveloptoolsfornewdirectionsintheareasofprogramanalysis,testing,andfindingandfixingnumericalbugs.automatedprogramrepairofnumericalsoftware,andprovidesEmpiricalstudiesofbugcharacteristicshavebeenconductedacollectionofreal-worldnumericalbugs.inth

7、epasttolearnaboutconcurrencybugs[27,33],perfor-I.INTRODUCTIONmancebugs[23,40],anderrorhandlingbugs[13,16],amongNumericalsoftwareprovidesthefoundationforawidemanyothers.Thesestudieshaverevealedpatternsforbot

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。