面向组件的接口变异测试方法 被引量：8

1

作者 杨建军 陈卫东 +1 位作者 叶澄清 潘云鹤 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2003年第2期129-133,共5页

组件和基于组件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑组件,却忽略了组件的测试工作.组件化程序设计方法对软件测试技术提出了新的问题和挑战.本文中,笔者首先介绍传统的接口变异测试方法,在此基础上,... 组件和基于组件的软件工程已成为软件工程领域的热点,其中有很多工作致力于研究如何构筑组件,却忽略了组件的测试工作.组件化程序设计方法对软件测试技术提出了新的问题和挑战.本文中,笔者首先介绍传统的接口变异测试方法,在此基础上,通过引入作用于接口描述语言的变异算子,提出了面向组件的接口变异测试方法以及基于这种方法的测试充分性度量准则MC和IM.该方法很好地解决了在组件测试中,源代码不可知的问题.然后以MC和IM为依据,给出了一种使用MC和IM进行测试的测试方法论. 展开更多

关键词 组件 软件测试 程序变异 接口变异 测试充分性准则 变异算子 测试方法论

下载PDF 职称材料

利用软件故障注入提高软件测试覆盖率 被引量：7

2

作者 温东新 刘宏伟 +1 位作者 杨孝宗 董剑 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2002年第10期1253-1256,共4页

软件测试过程是软件生命周期中提高软件质量的重要阶段 ,但无论结构测试还是接收测试 (AT) ,都很难测试程序的所有分枝 .对于容错软件的异常处理和故障恢复代码的测试尤其困难 ,使得这些代码中可能包含软件故障 ,反而成为软件质量的隐... 软件测试过程是软件生命周期中提高软件质量的重要阶段 ,但无论结构测试还是接收测试 (AT) ,都很难测试程序的所有分枝 .对于容错软件的异常处理和故障恢复代码的测试尤其困难 ,使得这些代码中可能包含软件故障 ,反而成为软件质量的隐患 .为此采用程序变异的方法对被测软件进行故障注入 ,用强制的方法执行被测分支 ,从而提高软件的测试覆盖率 . 展开更多

关键词 覆盖率 软件故障注入 程序变异 软件测试 分枝覆盖 错误恢复 软件生命周期

下载PDF 职称材料

软件缺陷及其对软件可靠性的影响分析 被引量：6

3

作者 韦群 王珏 《计算机应用与软件》 CSCD 2011年第1期145-149,共5页

软件缺陷是软件失效的源头,是影响软件可靠性的重要因素。简述了几种典型的软件缺陷分类方法,结合C++语言,提出了面向程序代码的软件缺陷分类法。采用程序变异方法模拟各类软件缺陷,通过实验,归纳并总结了不同类型的软件缺陷对软件可靠... 软件缺陷是软件失效的源头,是影响软件可靠性的重要因素。简述了几种典型的软件缺陷分类方法,结合C++语言,提出了面向程序代码的软件缺陷分类法。采用程序变异方法模拟各类软件缺陷,通过实验,归纳并总结了不同类型的软件缺陷对软件可靠性的影响。 展开更多

关键词 软件缺陷 程序变异 软件可靠性

下载PDF 职称材料

面向JavaScript引擎报错机制的类别导向模糊测试方法

4

作者 卢凌 周志德 +1 位作者 任志磊 江贺 《计算机科学》 CSCD 北大核心 2023年第12期49-57,共9页

报错机制是JavaScript引擎必不可少的一部分。面对错误的程序,JavaScript引擎报错机制应输出合理的错误信息,指出错误的原因和位置,帮助开发人员修复错误。然而,JavaScript引擎报错机制中存在会阻碍开发人员修复错误的缺陷。文中提出了... 报错机制是JavaScript引擎必不可少的一部分。面对错误的程序,JavaScript引擎报错机制应输出合理的错误信息,指出错误的原因和位置,帮助开发人员修复错误。然而,JavaScript引擎报错机制中存在会阻碍开发人员修复错误的缺陷。文中提出了首个面向JavaScript引擎报错机制的类别导向模糊测试方法CAFJER。给定一个种子程序,CAFJER首先为其选择一个目标类别的错误信息,并进行动态分析得到其上下文信息。其次,CAFJER根据种子程序的上下文信息生成能触发目标类别错误信息的测试用例。然后,CAFJER将生成的测试用例输入不同JavaScript引擎中进行差分测试。若输出的错误信息间有所差异,则说明其中可能存在缺陷。最后,CAFJER自动过滤重复的和无效的测试用例,有效减少了人工的参与。为了验证CAFJER的有效性,将CAFJER与目前先进的相似方法JEST和DIPROM进行比较,实验结果表明,CAFJER在JavaScript引擎报错机制中发现的独特缺陷数分别是JEST和DIPROM的2.17倍和26倍。在为期3个月的实验中,CAFJER还向开发者提交了17个缺陷报告,其中7个已被确认。 展开更多

关键词 JAVASCRIPT 报错机制 错误信息 差分测试 程序变异

下载PDF 职称材料

一种用于白盒测试评估的错误播种方法

5

作者 罗莉琴 宫云战 王海东 《计算机工程与设计》 CSCD 2004年第9期1581-1583,共3页

软件错误播种方法不仅可以用来评价软件的性能和研究软件错误的特性,而且还可通过播种错误为软件测试方法的评估提供必要的条件。考虑到白盒测试所针对的错误类型是程序代码级错误,为了方便错误播种,将程序代码错误分为计算型错误、域... 软件错误播种方法不仅可以用来评价软件的性能和研究软件错误的特性,而且还可通过播种错误为软件测试方法的评估提供必要的条件。考虑到白盒测试所针对的错误类型是程序代码级错误,为了方便错误播种,将程序代码错误分为计算型错误、域错误和程序接口错误,并针对这3类错误提供了一种改进的基于程序变异的软件错误播种方法。 展开更多

关键词 白盒测试 软件错误 程序代码 程序变异 软件测试方法 程序接口 错误类型 播种方法 特性

下载PDF 职称材料

基于程序变异分析的软件错误定位 被引量：3

6

作者 王琦 孙文辉 《计算机工程》 CAS CSCD 北大核心 2017年第12期55-59,共5页

基于覆盖的错误定位(CBFL)方法通过获取成功和失败测试用例的覆盖信息和执行结果对程序中的错误进行定位,但该方法未考虑偶然性成功测试用例的影响,降低了错误定位的准确率。为此,提出一种新的软件错误定位方法,通过分析程序变异减少偶... 基于覆盖的错误定位(CBFL)方法通过获取成功和失败测试用例的覆盖信息和执行结果对程序中的错误进行定位,但该方法未考虑偶然性成功测试用例的影响,降低了错误定位的准确率。为此,提出一种新的软件错误定位方法,通过分析程序变异减少偶然性成功测试用例的影响,改进怀疑度计算公式,并加入对变异影响的计算。实验结果表明,与传统CBFL方法相比,该方法能够有效提高错误定位的准确率。 展开更多

关键词 错误定位 程序变异 成功测试用例 代码覆盖 自动化测试

下载PDF 职称材料

基于程序变异和高斯混合聚类的错误定位技术 被引量：2

7

作者 张慧 《计算机科学》 CSCD 北大核心 2021年第S01期572-574,595,共4页

错误定位的效率依赖回归测试用例的质量,然而相同相似的测试用例影响着错误定位的效率。针对以上问题,文中提出了利用基于改进的人工免疫技术的程序变异产生多个变异体,然后通过高斯混合聚类约简变异体进行错误定位。实验结果表明,相比... 错误定位的效率依赖回归测试用例的质量,然而相同相似的测试用例影响着错误定位的效率。针对以上问题,文中提出了利用基于改进的人工免疫技术的程序变异产生多个变异体,然后通过高斯混合聚类约简变异体进行错误定位。实验结果表明,相比其他方法,所提方法可以提高错误定位的效率。 展开更多

关键词 错误定位 程序变异 人工免疫 高斯混合聚类

下载PDF 职称材料

基于程序变异的Simulink模型测试方法 被引量：2

8

作者 周艺斌 殷永峰 +1 位作者 李骁丹 王明威 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2015年第3期391-397,共7页

为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的... 为解决当前Simulink模型变异测试中测试执行开销大、测试用例生成效率低等问题,首先根据当前的Simulink模型变异算子集,基于程序变异技术提出了Simulink模型的变异测试过程和一组改进变异算子集.实验表明,在不影响测试用例集变异评分的情况下,该组变异算子集能够有效减少变异模型的生成数量,从而降低测试开销.其次,设计了一种基于搜索的Simulink模型变异测试用例生成方法,该方法将变异模型的测试用例生成问题转换为目标函数极小化问题,通过模拟退火算法对目标函数寻优,最终搜索出能够杀死该变异模型的测试用例.最后,将该方法应用于典型案例,验证了方法的正确性和有效性. 展开更多

关键词 软件测试 程序变异 Simulink模型测试 测试用例生成 模拟退火算法

下载PDF 职称材料

一种快速测试Java异常处理机制的方法

9

作者 姜淑娟 闫大顺 《小型微型计算机系统》 CSCD 北大核心 2005年第10期1854-1857,共4页

异常处理机制能增强程序运行的可靠性,提高软件的健壮性,但异常处理代码本身可能存在错误．由于它的特殊性,采 用与测试普通代码同样的方法对其进行测试,通常效率不高而且很难达到预期的效果．在分析了利用断言违背策略进行软件故 障注... 异常处理机制能增强程序运行的可靠性,提高软件的健壮性,但异常处理代码本身可能存在错误．由于它的特殊性,采 用与测试普通代码同样的方法对其进行测试,通常效率不高而且很难达到预期的效果．在分析了利用断言违背策略进行软件故 障注入技术的基础上,提出了将Java异常处理机制的特殊结构同断言违背策略、程序变异技术相结合,可以有效地测试异常处 理代码,并设计工具来支持这种故障注入方法． 展开更多

关键词 异常处理 软件故障注入 软件测试 程序变异

下载PDF 职称材料

一种基于程序变异的软件错误定位技术 被引量：14

10

作者 贺韬 王欣明 +3 位作者 周晓聪 李文军 张震宇 张成志 《计算机学报》 EI CSCD 北大核心 2013年第11期2236-2244,共9页

发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶... 发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶然性成功测试用例执行了错误代码,但却没有引发失败的测试结果.研究表明这种测试用例在实际测试中广泛存在,而它们的存在会显著降低错误定位的准确率.针对此问题,文中提出一种称为Muffler的技术.Muffler使用程序变异分析来修正错误代码定位结果,以提高定位的准确率.文中利用8个在错误代码定位研究领域广泛使用的基准程序验证了Muffler的有效性.实验结果表明,与传统错误代码定位技术相比,Muffler能减少程序员50.26%的错误定位代价. 展开更多

关键词 软件调试 错误定位 程序变异分析 软件工程

下载PDF 职称材料

基于并发程序数据竞争故障的变异策略 被引量：4

11

作者 吴俞伯 郭俊霞 +1 位作者 李征 赵瑞莲 《计算机应用》 CSCD 北大核心 2016年第11期3170-3177,3195,共9页

针对并发程序变异测试中并发变异算子触发数据竞争故障能力较低的问题,提出了基于数据竞争故障的变异策略。从并发变异算子设计的角度给出了面向锁对象的变异策略(LMS)和面向共享变量的变异策略(SMS),设计了重置同步锁(SLRO)和移出共享... 针对并发程序变异测试中并发变异算子触发数据竞争故障能力较低的问题,提出了基于数据竞争故障的变异策略。从并发变异算子设计的角度给出了面向锁对象的变异策略(LMS)和面向共享变量的变异策略(SMS),设计了重置同步锁(SLRO)和移出共享变量操作(MSVO)两个并发变异算子。从变异点选取的角度给出了一种同步关系对变异点选取策略(SMPSS)。在12个Java类库并发程序上,应用SLRO和MSVO算子针对SMPSS选取出的变异点植入故障,生成变异体,并使用JPF检测工具,检测生成的变异体引发数据竞争故障的能力。实验结果表明,新设计的SLRO和MSVO变异算子对12个被测程序分别生成了121和122个有效变异体,变异算子的有效性分别为95.28%和99.19%。由此可知,新设计的并发变异算子能有效触发数据竞争故障。 展开更多

关键词 并发程序变异测试 数据竞争故障 锁对象 共享变量 同步关系对

下载PDF 职称材料

美军担心军事机器人程序变异 可能毁灭世界

12

《电子产品可靠性与环境试验》 2013年第2期29-29,共1页

毫无疑问，在未来的战争中．自动机器人士兵将成为作战的绝对主力。但是美国海军研究室最近在关于机器人士兵的研究报告《自动机器人的危险、道德以及设计》中．对军方使用机器人提出警告，建议为军事机器人设定道德规范。研究人员认为... 毫无疑问，在未来的战争中．自动机器人士兵将成为作战的绝对主力。但是美国海军研究室最近在关于机器人士兵的研究报告《自动机器人的危险、道德以及设计》中．对军方使用机器人提出警告，建议为军事机器人设定道德规范。研究人员认为，必须对军事机器人提前设定严格的密码．否则整个世界都有可能毁于他们的钢铁之手。 展开更多

关键词 自动机器人 程序变异 军事 世界 美军 毁灭 道德规范 美国海军

下载PDF 职称材料

一种基于程序变异的软件错误定位技术

13

作者 郑嘉健 《中国科技期刊数据库 工业A》 2016年第12期33-33,共1页

发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶... 发现软件不能正常运行后,如何定位错误代码在程序中的位置是软件开发一个众所周知的难点.最近许多软件自动调试技术通过分析成功和失败测试用例的覆盖信息辅助程序员定位错误代码,但这些技术的准确率会受到偶然性成功测试用例的影响.偶然性成功测试用例执行了错误代码,但却没有引发失败的测试结果.研究表明这种测试用例在实际测试中广泛存在,而它们的存在会显著降低错误定位的准确率.针对此问题,文中提出一种称为Muffler的技术.Muffler使用程序变异分析来修正错误代码定位结果,以提高定位的准确率.文中利用8个在错误代码定位研究领域广泛使用的基准程序验证了Muffler的有效性.实验结果表明,与传统错误代码定位技术相比,Muffler能减少程序员50.26%的错误定位代价。 展开更多

关键词 软件调试 错误定位 程序变异分析 软件工程

下载PDF 职称材料