-
题名软件崩溃研究进展
被引量:2
- 1
-
-
作者
顾咏丰
马萍
贾向阳
江贺
玄跻峰
-
机构
武汉大学计算机学院
大连理工大学软件学院
-
出处
《中国科学:信息科学》
CSCD
北大核心
2019年第11期1383-1398,共16页
-
基金
国家重点研发计划(批准号:2018YFB1003901)
国家自然科学基金(批准号:61872273,61502345)
湖北省技术创新重大专项(批准号:2017AAA125)资助项目
-
文摘
软件崩溃指程序的意外中断,是软件故障的一种严重表现形式.软件崩溃危害巨大:一方面,崩溃发生的反复性会带来较差的用户体验并影响公司的声誉;另一方面,崩溃发生的突然性会给用户造成巨大的甚至无法挽回的损失.随着现代软件的规模和复杂性不断增大,如何有效地防止和应对软件崩溃成为了热门研究问题.本文从软件崩溃的分析、重现、定位修复这3个方面出发,简要地回顾和总结了近年来软件崩溃的研究进展.
-
关键词
软件崩溃
崩溃分析
崩溃重现
崩溃定位
崩溃修复
程序调试
程序异常处理
-
Keywords
software crashes
crash analysis
crash reproduction
crash localization
crash repair
program de-bugging
program exception handling
-
分类号
TP3
[自动化与计算机技术—计算机科学与技术]
-
-
题名一种结合动态链接库信息的崩溃输入分类方法
被引量:1
- 2
-
-
作者
王文祥
高庆
许可
张世琨
-
机构
高可信软件技术教育部重点实验室(北京大学)
北京大学软件工程国家工程研究中心
北京大学软件与微电子学院
对外经济贸易大学统计学院
-
出处
《软件学报》
EI
CSCD
北大核心
2023年第4期1594-1612,共19页
-
基金
国家自然科学基金(12001102)
中央高校基本科研业务费专项资金(19QD22)。
-
文摘
软件崩溃是一种严重的软件缺陷,可导致软件终止运行.因此,对软件崩溃的测试在软件迭代的过程中极为重要.近年来,模糊测试技术(如AFL)由于可以自动化生成大量的测试输入来触发软件崩溃,被广泛用于软件测试中.然而,通过该技术产生的导致软件崩溃的测试输入中,大部分崩溃的触发原因都是重复的,因此软件开发人员需要对测试输入进行分类,带来了许多冗余工作.目前,测试输入分类已经有很多自动化方法,主要包括基于程序修复的分类算法和基于软件崩溃信息的分类算法.前者通过对程序在语义上进行分析,在运行时通过在程序中替换修复模板后重新运行测试输入,进而对输入分类.因为此方法需要人为地对于软件崩溃编写修复模板,所以其分类的效率与修复模板的质量存在很大联系;且由于需要先修复崩溃、再对崩溃做分类,影响了软件崩溃的修复效率.采用后者的思想,提出了一种轻量而高效的利用软件崩溃信息的测试输入分类算法CICELY.其在软件崩溃点堆栈信息分类的算法基础上,在分析软件崩溃点堆栈时引入了动态链接库信息,通过区分系统动态链接库与用户动态链接库,结合用户代码位置信息,得到用户关注的函数集合,以在分类时以用户函数为基准对崩溃进行界定.最后,分别将CICELY与几种基于程序修复的分类算法和基于软件崩溃信息的流行分类工具进行了比较,实验测试的数据集共计19个项目、42组测试集.在与基于软件崩溃信息的分类工具Honggfuzz, CERT BFF在相同数据集上比较时, CICELY在分类结果的组数上比上述二者减少了2112.89%和135.05%,说明CICELY在同类算法上的实验效果有较大提升,具有更高的精确性.在与基于程序修复的分类算法“语义崩溃分类”用其论文中提供的测试数据集进行比较时, CICELY比“语义崩溃分类”的分组结果差4.42%;在由对应了多个崩溃的测试输入所组成的测试集上实验时,CICELY比“语义崩溃分类”分组的重复度高了3%.但是语义崩溃分类只能对于空指针解引用和缓冲区溢出这两种崩溃输入导致的崩溃进行分类, CICELY不受这样的限制.
-
关键词
软件崩溃
测试输入分类
动态链接库
程序修复
模糊测试
-
Keywords
software crash
test inputs classification
dynamic link library
program repair
fuzzing
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名浅议计算机实验室软件系统崩溃后的快速恢复
- 3
-
-
作者
季志江
-
机构
浙江邮电职业技术学院
-
出处
《计算机光盘软件与应用》
2014年第19期79-79,81,共2页
-
基金
浙江邮电职业技术学院课题(项目编号:YB2012014)
-
文摘
计算机实验室软件系统崩溃后,通过对常用的恢复方法——Ghost、硬盘数据保护系统等的探讨,将影响降至最小,从而提高工作效率。
-
关键词
软件系统崩溃
GHOST
恢复
数据保护
-
分类号
TP316.7
[自动化与计算机技术—计算机软件与理论]
-
-
题名两款常用的系统防崩溃工具软件
- 4
-
-
作者
曾庆平
-
出处
《电脑技术——Hello-IT》
2001年第6期45-47,共3页
-
文摘
无论是多么优秀的操作系统,在复杂的工作过程中,都难免遇到面临崩溃的危险。而Windows操作系统的蓝得死机、非法操作等错误更是屡见不鲜。出现这些问题的时候系统一般会给出一些提示信息并给出一些操作建议,但最终往往还是不得不重新启动系统,然而应用程序中尚未保存的数据就难免丢失,从而对工作带来影响。 下面介绍的两款工具软件,能事先察觉系统中正在运行的应用程序出现崩溃的预兆,从而及时对程序的崩溃加以拦截,进而让用户有机会及时地将应用程序中的数据保存起来,相当实用。
-
关键词
系统防崩溃工具软件
StayAlive2000
计算机系统
FirstAid2000
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-
-
题名运用稳健六西格玛分析软件测试系统
被引量:1
- 5
-
-
作者
马益惠
黄智全
李立锋
-
机构
厦门盈趣科技股份有限公司
-
出处
《电子质量》
2018年第12期21-24,共4页
-
文摘
运用稳健六西格玛的知识,收集软件测试系统的数据,通过对数据的分析和评估,分析软件测试系统的可靠性和稳定性,揭示软件测试系统的改进空间,从而提高软件测试系统的测试效率,及时发现软件缺陷,保证软件产品质量。
-
关键词
六西格玛
软件测试
软件质量
质量管理
软件崩溃率
-
Keywords
Six Sigma
Software test
Software quality
Quality management
Software crash rate
-
分类号
F407.672
[经济管理—产业经济]
-
-
题名运用六西格玛方法来度量和分析移动软件开发
- 6
-
-
作者
黄智全
李立锋
-
机构
厦门盈趣科技股份有限公司
-
出处
《电子质量》
2019年第8期63-68,共6页
-
文摘
通过引入六西格玛的方法和工具来分析软件开发的过程数据,减少一些主观性和盲目性的判断,改进软件质量,优化软件开发过程,提升软件的稳定性和兼容性。
-
关键词
六西格玛
软件崩溃率
软件过程改进
软件度量
SPC控制图
-
Keywords
Six Sigma
software crash rate
software process improvement
software metrics
SPC control chart
-
分类号
TP872
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名基于Windows的未处理异常捕获及处理方法
- 7
-
-
作者
洪承煜
杨尚琴
-
机构
中国石化石油物探技术研究院
-
出处
《现代计算机》
2013年第15期42-45,56,共5页
-
文摘
在应用程序中,异常随时随地都可能会发生,通常在C++中处理方法是使用try/catch块来产生和捕获异常。但在现实的软件开发中,总会忽略掉一些没有使用try/catch块的地方及try/catch块中忽略掉的异常类型,这些异常中,有些会造成程序崩溃。为了解决这种崩溃,提出一种基于Windows系统下的异常捕获及处理方法,这种方法可以对软件运行中的崩溃起到部分自恢复和故障信息记录的作用。
-
关键词
异常处理
软件崩溃
软件自恢复
-
Keywords
Exception Handling
Software Crash
Self-Recovery Software
-
分类号
TP316.7
[自动化与计算机技术—计算机软件与理论]
-
-
题名共享单车App后台管理系统的优化
被引量:25
- 8
-
-
作者
徐鑫垚
-
机构
昆明市第一中学西山学校
-
出处
《电子技术与软件工程》
2017年第4期80-81,共2页
-
文摘
共享单车作为一种新型的出行方式,受到了人们的广泛关注,共享单车App软件也层出不穷。然而随着使用的人越来越多,共享单车App软件的崩溃问题逐渐爆发出来,许多用户反映上下班高峰期时,经常会出现登陆不了等状况。要提高共享单车的使用率,进一步扩大市场范围,在全社会普及低碳出行的理念,就必须优化管理共享单车App的运行系统。本文简单介绍了共享单车的出现及使用过程中存在的几个问题,并在查阅相关资料的基础之上,分析了后台管理系统的几项优化措施,以供参考。
-
关键词
共享单车
后台管理系统
软件崩溃
软件优化管理
-
分类号
TP311.56
[自动化与计算机技术—计算机软件与理论]
-