-
题名运行时异常对软件静态测试的影响研究
被引量：6
- 1
-
-
作者
金大海
宫云战
杨朝红
肖庆
-
机构
北京邮电大学网络与交换技术国家重点实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
2011年第6期1090-1099,共10页
-
基金
国家"八六三"高技术研究发展计划项目基金(2009AA012404)
国家自然科学基金(91018002)资助
-
文摘
当程序的执行过程中出现运行时异常,控制流动态地变更可能会产生非预期的执行逻辑,由此引入的缺陷将给软件静态测试工作带来巨大的挑战.针对这一问题,提出一种结合运行时异常的静态测试方法,将缺陷检测及控制流扩展交替执行,通过扩展分析路径达到提高测试充分度的目的.以异常模式状态机描述运行时异常行为,在包含运行时异常的控制流上,应用迭代方程得到运行时异常控制流序列,将在传统控制流上的一次缺陷检测过程扩展为在异常控制流序列上的多次检测.实验结果表明,结合运行时异常的静态测试方法虽然增加了时间开销,且引入一定的误报,但却可以发现传统测试方法所遗漏的缺陷,这点在航空、航天等高可信领域尤为重要.
-
关键词
软件测试
静态分析
运行时异常
异常模式
异常控制流
-
Keywords
software testing
static analysis
runtime exception
exception pattern
exception control flow
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于Struts2企业级异常处理研究及扩展
- 2
-
-
作者
赵慧青
周家纪
褚媛
-
机构
成都理工大学信息工程学院
-
出处
《微计算机信息》
北大核心
2008年第33期261-263,共3页
-
文摘
传统的Java异常-捕获机制已不能满足当今大型企业级开发的要求。本文对Struts2提供的异常处理机制进行了研究和扩展,提出将检查型(Checked)异常转化为非检查型(Unchecked)异常进行捕获的思想,通过采用AOP拦截器技术构造一种高效的异常处理机制,提高了代码的可读性,程序的执行速度和可维护性,减少了同类代码的重复使用,避免了由于过量使用检查型(Checked)异常引起的程序结构混乱、代码逻辑复杂等缺陷。
-
关键词
JAVA
STRUTS2
运行时异常
检查
非检查性异常
AOP
-
Keywords
Java
struts2
runtime exception
checked/unchecked exception
AOP
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于类文件的Java程序运行时异常分析技术
- 3
-
-
作者
刘振安
张强
-
机构
中国科学技术大学自动化系
-
出处
《测控技术》
CSCD
2006年第11期61-63,共3页
-
基金
国家自然科学基金资助项目(60272040)
-
文摘
提出一种基于类文件的Java运行时异常分析技术。它可在没有Java源代码文件的情况下,直接对类文件进行处理,分析可能抛出的异常信息,并根据分析结果在类文件中添加适当的异常追踪代码。这种处理后的类文件可无缝替换原类文件运行,并在运行中抛出异常时,能够给出详尽的异常分析报告,从而提高技术人员调试和开发的效率。
-
关键词
Java类文件
运行异常
依赖分析
-
Keywords
Java class document
runtime exception
dependency analysis
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
