期刊文献+
共找到21篇文章
< 1 2 >
每页显示 20 50 100
基于冗余覆盖信息约简的软件缺陷定位方法
1
作者 王浩仁 崔展齐 +2 位作者 岳雷 陈翔 郑丽伟 《电子学报》 EI CAS CSCD 北大核心 2024年第1期324-337,共14页
软件规模和复杂程度的不断提高,为软件质量保障带来了严峻的挑战.软件缺陷定位是一种重要的软件质量保障技术,其中基于频谱的缺陷定位(Spectrum-based Fault Localization,SFL)是应用最为广泛的软件缺陷定位技术,其通过分析语句覆盖信... 软件规模和复杂程度的不断提高,为软件质量保障带来了严峻的挑战.软件缺陷定位是一种重要的软件质量保障技术,其中基于频谱的缺陷定位(Spectrum-based Fault Localization,SFL)是应用最为广泛的软件缺陷定位技术,其通过分析语句覆盖信息矩阵计算代码语句的可疑度值,并根据可疑度值定位缺陷所在语句.然而,语句覆盖信息矩阵中存在着严重的数据冗余问题,冗余的数据极大地影响了SFL的缺陷定位性能.以Defects4J数据集中395个程序的语句覆盖信息矩阵为例,在超过一半的语句覆盖信息矩阵中有90%的语句存在与其具有相同覆盖信息的语句.特征选择是常用的数据预处理技术,通过去除冗余和不相关特征来获取原始特征集中有价值的特征子集.因此,我们将语句覆盖信息矩阵作为原始特征集,将冗余覆盖信息约简建模为特征选择问题,提出了一种基于冗余覆盖信息约简的软件缺陷定位方法(Fault Localization based on Redundant coverage information Reduction,FLRR).首先,使用特征选择技术对语句覆盖信息和测试用例执行结果组成的语句覆盖信息矩阵进行约简,得到语句覆盖信息矩阵子集;然后,使用SFL计算语句覆盖信息矩阵子集中语句的可疑度值,并根据可疑度值对语句进行降序排列,以定位缺陷语句.本文使用六种常用的特征选择技术对语句覆盖信息矩阵进行特征选择和约简,以得到语句覆盖信息矩阵子集,并使用四种典型的SFL技术对语句覆盖信息矩阵子集中的语句进行缺陷定位.为评估FLRR的缺陷定位性能,本文使用E_(inspect)@n和MRR(Mean Reciprocal Rank)评价指标在基于Defects4J的数据集上与四种典型的SFL技术进行了对比实验.实验结果表明,FLRR能够有效提升SFL的缺陷定位性能.对于E_(inspect)@n指标,当n=1时,FLRR相比DStar、Ochiai、Barinel和OP2分别多定位到23条、26条、14条和13条缺陷语句,分别增加了69.70%、76.47%、45.16%和38.24%;对于MRR指标,FLRR相比DStar、Ochiai、Barinel和OP2分别提升了20.08%、24.94%、17.45%和19.15%. 展开更多
关键词 缺陷定位 特征选择 软件调试 可疑度 语句覆盖信息 测试用例
下载PDF
基于GL_(2)-DNN的面向语句覆盖的程序缺陷定位方法
2
作者 彭玲 刘振宇 彭敏 《计算机应用与软件》 北大核心 2023年第1期46-52,155,共8页
针对现有的基于深度神经网络的缺陷定位方法中参数设定不便,结合遗传算法的全局随机搜索能力、L_(2)正则化防止模型过拟合与深度神经网络学习复杂非线性能力,提出一种基于GL_(2)-DNN模型的程序静态缺陷定位算法。通过遗传算法寻找深度... 针对现有的基于深度神经网络的缺陷定位方法中参数设定不便,结合遗传算法的全局随机搜索能力、L_(2)正则化防止模型过拟合与深度神经网络学习复杂非线性能力,提出一种基于GL_(2)-DNN模型的程序静态缺陷定位算法。通过遗传算法寻找深度神经网络最优超参数;将所得语句覆盖信息与状态值输入深度神经网络计算每条可执行语句的可疑度值;根据可疑度值由高往低排序进行缺陷定位。选用Siemens Suite数据集作为实验样本,将GL_(2)-DNN与五种缺陷定位算法进行实验对比,结果表明,该算法能更精确地定位缺陷,计算效率也有所提升。 展开更多
关键词 遗传算法 L_(2)正则化 深度神经网络 程序静态缺陷定位 语句覆盖信息
下载PDF
嵌入式软件目标码仿真测试平台的研究与设计 被引量:9
3
作者 杨芳 贺红卫 +1 位作者 谢鹏 饶京宏 《计算机工程与设计》 CSCD 北大核心 2009年第19期4364-4367,共4页
为了满足当前提出的对安全关键软件进行目标码测试的要求,改变目标码测试工具缺乏的现状,提出了一种目标码仿真测试平台的设计方案。分析了目标码测试的特点,在此基础上提出了一种基于虚拟软件测试环境的支持嵌入式软件目标码测试的仿... 为了满足当前提出的对安全关键软件进行目标码测试的要求,改变目标码测试工具缺乏的现状,提出了一种目标码仿真测试平台的设计方案。分析了目标码测试的特点,在此基础上提出了一种基于虚拟软件测试环境的支持嵌入式软件目标码测试的仿真测试平台的设计结构,给出了虚拟运行平台构建、目标文件静态分析、测试用例加载、测试信息采集记录和目标码覆盖率统计的解决方法。通过设计TMS320C67x目标码仿真测试平台,验证了该设计的有效性。 展开更多
关键词 目标码 嵌入式软件 软件测试 仿真测试平台 语句覆盖率 分支覆盖率
下载PDF
结合静态分析的软件脆弱性测试方法 被引量:3
4
作者 王丹 刘勇 +1 位作者 吴咏 朱鲁华 《计算机工程与设计》 CSCD 北大核心 2011年第5期1698-1701,1865,共5页
Fuzzing是一种有效的软件脆弱性动态测试方法,为了避免传统Fuzzing技术的盲目性所导致的测试效率低下的问题,提出了静态分析和遗传算法相结合来指导Fuzzing数据生成的方法,并设计实现了一个智能化的Fuzzing系统SFS(smartfuzzing system... Fuzzing是一种有效的软件脆弱性动态测试方法,为了避免传统Fuzzing技术的盲目性所导致的测试效率低下的问题,提出了静态分析和遗传算法相结合来指导Fuzzing数据生成的方法,并设计实现了一个智能化的Fuzzing系统SFS(smartfuzzing system)。触发脆弱点的前提是覆盖脆弱性语句,该方法通过静态分析技术提取脆弱性语句,并用遗传算法指导测试用例对脆弱性语句进行覆盖,从而提高脆弱性语句的覆盖效率,避免Fuzzing的盲目性。 展开更多
关键词 FUZZING 静态分析 遗传算法 脆弱性语句 语句覆盖
下载PDF
汇编程序覆盖测试中虚拟插桩的实现 被引量:8
5
作者 王学东 汪文勇 《计算机工程》 CAS CSCD 北大核心 2007年第7期87-88,98,共3页
在对汇编语言源程序的测试工作中,由于其非结构化的设计思想以及众多的跳转指令,使得插桩非常困难。该文在汇编嵌入式软件程序流程图自动生成的研究基础上,提出了以PC值为基准条件的断点设置、检测机制以及虚拟插桩机制。并结合特定的... 在对汇编语言源程序的测试工作中,由于其非结构化的设计思想以及众多的跳转指令,使得插桩非常困难。该文在汇编嵌入式软件程序流程图自动生成的研究基础上,提出了以PC值为基准条件的断点设置、检测机制以及虚拟插桩机制。并结合特定的测试用例在仿真测试平台上得以实现,最后通过实验检验了其正确性。 展开更多
关键词 汇编程序 LEX YACC 虚拟插桩 语句覆盖 分支覆盖
下载PDF
针对可观测性语句覆盖准则的RTL激励生成 被引量:2
6
作者 鲁巍 吕涛 +1 位作者 杨修涛 李晓维 《计算机研究与发展》 EI CSCD 北大核心 2005年第12期2169-2175,共7页
传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观... 传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高·鉴于此,可观测性覆盖评估准则被提了出来·随着设计规模不断加大,该准则变得越来越重要·首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法·这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成·实验结果显示,提出的方法是高效的· 展开更多
关键词 可观测性语句覆盖准则 激励生成 模拟
下载PDF
测试含有标志变量程序的占优语句(集)选择 被引量:1
7
作者 巩敦卫 钟超群 姚香娟 《软件学报》 EI CSCD 北大核心 2015年第8期1925-1936,共12页
基于占优关系的可测试性转化,是将目标语句覆盖问题转化为位于该语句之前的占优语句(集)覆盖问题,能够对含有标志变量的程序进行测试.但是当占优语句(集)不止一个时,如何从这些语句(集)中选择最容易覆盖的作为新的目标语句(集),至今没... 基于占优关系的可测试性转化,是将目标语句覆盖问题转化为位于该语句之前的占优语句(集)覆盖问题,能够对含有标志变量的程序进行测试.但是当占优语句(集)不止一个时,如何从这些语句(集)中选择最容易覆盖的作为新的目标语句(集),至今没有有效的方法,从而限制了可测试性转化的应用范围.研究了占优语句(集)选择问题,提出了基于覆盖难度的占优语句(集)选择方法.首先,提出评价语句覆盖难度的4个指标,并给出这些指标的计算方法;然后,基于上述指标,利用Topsis方法排序,选择最容易覆盖的占优语句(集);最后,将所提出的方法应用于多个基准与工业程序测试,实验结果表明,覆盖基于该方法选择的占优语句(集)能够显著提高测试数据生成的效率. 展开更多
关键词 软件测试语句覆盖 标志变量 可测试性转化 占优语句
下载PDF
基于碰撞域检测优化的测试用例自动生成方法 被引量:2
8
作者 杨丰玉 方正 +1 位作者 陈英 王宝英 《计算机应用研究》 CSCD 北大核心 2018年第1期135-139,共5页
随着软件行业的快速发展,软件测试的作用也越来越大,自动化测试用例生成方法也越来越多。如何找到一种高效的测试用例生成算法,一直是测试领域关注的热点。提出了一种基于碰撞域检测优化的测试用例生成方法,生成的测试用例能规避大量的... 随着软件行业的快速发展,软件测试的作用也越来越大,自动化测试用例生成方法也越来越多。如何找到一种高效的测试用例生成算法,一直是测试领域关注的热点。提出了一种基于碰撞域检测优化的测试用例生成方法,生成的测试用例能规避大量的冗余测试用例产生,因此该算法在短时间内能将代码的语句覆盖度收敛到一个较为满意的值;同时通过半径的动态调整,保证算法的覆盖度逐级上升,结合遗传算法对高覆盖率的测试用例进行交叉变异,快速找到有效的测试用例数据。实验证明,该算法的性能相比于传统随机法有较大的提升,而且参数的范围越大,效果越好。 展开更多
关键词 语句覆盖 算法演化 遗传算法 高覆盖率测试用例 自动化测试
下载PDF
基于控制流程图的路径覆盖测试的改进方法研究 被引量:2
9
作者 毛红梅 舒远仲 《计算机工程与应用》 CSCD 北大核心 2008年第30期93-95,共3页
软件测试是当前软件生成重要的研究课题。文中从源程序开始,引入基本块的方法将源程序转换为相应的控制流程图。并采用图形的方法将路径构造相应的自动机,通过对自动机中回边的处理,生成简化的并与之等价的自动机。经过若干变换后,可在... 软件测试是当前软件生成重要的研究课题。文中从源程序开始,引入基本块的方法将源程序转换为相应的控制流程图。并采用图形的方法将路径构造相应的自动机,通过对自动机中回边的处理,生成简化的并与之等价的自动机。经过若干变换后,可在自动机上直观地求出路径覆盖的条数和相应的信息。此方法实现路径覆盖的目标,简化路径覆盖生成过程,步骤直观,且减少路径生成数。 展开更多
关键词 控制流程图 覆盖测试 基本块 自动机
下载PDF
基于LDRA Testbed的飞机中央维护系统覆盖测试 被引量:7
10
作者 邹会荣 《航空计算技术》 2010年第5期91-94,共4页
基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试... 基于测试工具LDRA Testbed实现了飞机中央维护系统的覆盖测试工作。以飞机中央维护系统的主界面源程序为例,通过测试过程说明了工具在飞机中央维护系统测试中的成功应用,并达到了一定的语句覆盖分析和分支覆盖测试率。给出了软件的测试流程和测试结果。测试结果表明,使用LDRA Testbed工具,可以大大提高飞机中央维护系统的软件测试效率,同时也能够满足航空业界的软件标准DO-178B,并获得了规定的语句覆盖和分支覆盖测试率。 展开更多
关键词 飞机中央维护系统 LDRA TESTBED 语句覆盖分析 分支覆盖测试
下载PDF
我国实施财务报表保险制度的可行性探讨 被引量:5
11
作者 陈吉凤 《安徽工业大学学报(社会科学版)》 2005年第6期54-56,共3页
审计师的独立性受损是导政审计失败的一个重要根源。财务报表保险制度对消除审计人员和上市公司管理层的利益关联,恢复注册会计师真实的独立地位,遏制上市公司造假具有不可替代的作用。我国目前实施财务报表保险制度具有可行性。
关键词 财务报表保险制度 审计独立性 保险项目
下载PDF
基于信息流的关键软件缺陷定位技术
12
作者 周东红 石柱 +1 位作者 王瑞 李沫 《载人航天》 CSCD 2016年第5期635-640,共6页
针对软件因涉及多程序要素间相互作用而来的复杂缺陷,研究了基于信息流的关键软件缺陷定位技术,对现有的信息流进行了扩展,并对经典方法的可疑度度量公式进行了改进,而且将其融入了相关算法;并进行了与语句覆盖、分支覆盖和定义使用对... 针对软件因涉及多程序要素间相互作用而来的复杂缺陷,研究了基于信息流的关键软件缺陷定位技术,对现有的信息流进行了扩展,并对经典方法的可疑度度量公式进行了改进,而且将其融入了相关算法;并进行了与语句覆盖、分支覆盖和定义使用对覆盖等缺陷定位技术的对比试验,结果表明:此方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法更可靠、更精确,能高效率地定位软件中的缺陷。 展开更多
关键词 软件测试 复杂缺陷 信息流覆盖 语句覆盖 分支覆盖 定义使用对覆盖
下载PDF
基于信息流缺陷定位方法在软件测试中的应用
13
作者 周东红 石柱 王瑞 《计算机与数字工程》 2014年第8期1440-1447,共8页
随着软件产业的飞速发展,人们对软件质量的要求也越来越高。现在,软件已经直接影响到了我们项目的成功和设备的安全。而软件中的复杂缺陷难以排除,因为它们涉及到许多程序要素之间的相互作用。论文扩展了基于信息流覆盖的缺陷定位技术... 随着软件产业的飞速发展,人们对软件质量的要求也越来越高。现在,软件已经直接影响到了我们项目的成功和设备的安全。而软件中的复杂缺陷难以排除,因为它们涉及到许多程序要素之间的相互作用。论文扩展了基于信息流覆盖的缺陷定位技术。扩展后的技术融合了语句覆盖和分支覆盖技术,它还能定位复杂缺陷。试验结果表明,文中方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法要更可靠、更精确。 展开更多
关键词 软件测试 复杂缺陷 信息流覆盖 语句覆盖 分支覆盖 定义使用对覆盖
下载PDF
嵌入式软件语句覆盖率测试插桩技术 被引量:5
14
作者 孙红利 王忠民 王文浪 《计算机应用》 CSCD 北大核心 2010年第10期2738-2740,2744,共4页
针对基于宿主机的嵌入式软件测试,提出一种单元测试中通用的语句覆盖率测试方法,通过插桩技术,采用向源代码插桩实现语句覆盖率测试。设计了测试代码的实现算法,通过测试代码可以自动完成向被测代码插桩。这些方法被成功地应用到笔者所... 针对基于宿主机的嵌入式软件测试,提出一种单元测试中通用的语句覆盖率测试方法,通过插桩技术,采用向源代码插桩实现语句覆盖率测试。设计了测试代码的实现算法,通过测试代码可以自动完成向被测代码插桩。这些方法被成功地应用到笔者所在项目组开发的嵌入式软件仿真测试平台ARMtest上。利用这些方法,在嵌入式硬件系统未完成开发之前,可通过宿主机环境和仿真环境及时发现嵌入式软件开发初期的一些不足并加以完善。 展开更多
关键词 嵌入式软件 宿主机环境 程序插桩 语句覆盖 单元测试 仿真测试
下载PDF
基于UML状态图测试用例生成的策略研究 被引量:7
15
作者 栾家伟 吴陈 《计算机与数字工程》 2020年第2期409-411,432,共4页
测试用例的数量与质量往往决定着测试工作的效率和系统的质量。论文主要研究基于UML模型中的状态图实现测试用例的自动生成。测试方面参考白盒测试技术,研究讨论的策略分为两个方面,分别是采用深度优先算法遍历有向图实现路径覆盖策略,... 测试用例的数量与质量往往决定着测试工作的效率和系统的质量。论文主要研究基于UML模型中的状态图实现测试用例的自动生成。测试方面参考白盒测试技术,研究讨论的策略分为两个方面,分别是采用深度优先算法遍历有向图实现路径覆盖策略,以及利用贪心算法和回溯法实现语句覆盖策略。 展开更多
关键词 状态图 白盒测试 路径覆盖 语句覆盖
下载PDF
基于变量感染分析的软件错误定位技术
16
作者 江联 黄海亮 +2 位作者 周晓聪 王欣明 李文军 《计算机科学与探索》 CSCD 2014年第8期966-977,共12页
在实际调试中,程序员往往通过追溯错误的变量值及其传播来定位软件错误,其中具有错误值的变量称为感染变量,感染变量在失败运行中具有错误值的程序位置即为感染位置。提出了一种结合动态正向程序切片和语句覆盖信息对程序变量感染的初... 在实际调试中,程序员往往通过追溯错误的变量值及其传播来定位软件错误,其中具有错误值的变量称为感染变量,感染变量在失败运行中具有错误值的程序位置即为感染位置。提出了一种结合动态正向程序切片和语句覆盖信息对程序变量感染的初始位置进行定位的技术。该技术通过分析感染变量的起源与传播,可以更加精确地找到与感染变量相关的错误语句集合。与传统的基于程序覆盖信息的错误定位技术进行了对比实验,结果表明,该技术可定位程序中的感染变量及其初始感染位置,并且可以显著提高程序错误定位的精度。 展开更多
关键词 错误定位 变量感染 动态程序切片 语句覆盖信息
下载PDF
基于路径覆盖准则的AOP路径生成方法研究
17
作者 王波 柴玉梅 王黎明 《计算机工程与设计》 CSCD 北大核心 2012年第11期4209-4213,共5页
在检验面向方面程序质量时,常常会依据路径覆盖准则对其进行测试,所以生成符合路径覆盖准则的AOP路径是很重要的。生成AOP路径,对AOP的控制流信息进行分析、表示,构造其单个模块、基本方面等的语句控制流图,确定类与方面之间交互的表示... 在检验面向方面程序质量时,常常会依据路径覆盖准则对其进行测试,所以生成符合路径覆盖准则的AOP路径是很重要的。生成AOP路径,对AOP的控制流信息进行分析、表示,构造其单个模块、基本方面等的语句控制流图,确定类与方面之间交互的表示方法,构造出完整AOP语句控制流图;遍历完整AOP语句控制流图,得到从源节点到终节点的所有路径,这些路径中的可执行路径即是满足路径覆盖准则的测试路径。 展开更多
关键词 面向方面程序 控制流信息 路径覆盖 语句控制流图 交互
下载PDF
中国产品伤害事件的危机声明发布有效性分析(英文)
18
作者 丁齐英 王飞 汪峰 《中国科学技术大学学报》 CAS CSCD 北大核心 2017年第3期221-230,共10页
研究了2005~2012年发生在中国的新产品伤害危机事件中92篇危机声明数据,以危机声明扩散范围和危机声明可接受性为主要参数,分析危机沟通中声明发布的有效性.结果显示:(1)在危机声明扩散范围测试中,危机声明发布方法(发布战略)比危机发... 研究了2005~2012年发生在中国的新产品伤害危机事件中92篇危机声明数据,以危机声明扩散范围和危机声明可接受性为主要参数,分析危机沟通中声明发布的有效性.结果显示:(1)在危机声明扩散范围测试中,危机声明发布方法(发布战略)比危机发布内容(指导信息和调试信息)的影响更显著;(2)尽管关于危机声明可接受性的假设均被拒绝,但是这里总结了危机声明9个更易受到负面新闻报道的原因,以此引导参与者提供更易被接受的危机声明;(3)企业国籍、特征及是否上市对两个参数的影响不显著,而危机类型对声明扩散范围有显著影响. 展开更多
关键词 产品伤害危机事件 危机沟通 危机声明 框架效应 媒体报道
下载PDF
浅谈白盒测试技术 被引量:4
19
作者 洪新峰 《电脑知识与技术(过刊)》 2010年第13期2633-2634,共2页
伴随着软件和硬件的发展而逐步发展起来的软件测试。软件测试是一种检验手段,目的是为了寻找软件系统的中缺陷,在业界已经有越来越多的公司意识到了软件测试的重要性,并且在软件测试方面加大了投入。其中,白盒测试是软件测试技术中最基... 伴随着软件和硬件的发展而逐步发展起来的软件测试。软件测试是一种检验手段,目的是为了寻找软件系统的中缺陷,在业界已经有越来越多的公司意识到了软件测试的重要性,并且在软件测试方面加大了投入。其中,白盒测试是软件测试技术中最基本的方法之一,是针对被测单元内部是如何进行工作的测试,是以覆盖测试与路径测试为基本策略。该文将重点介绍白盒测试中的常用测试方法,并通过实例介绍实际运用白盒测试的技术。 展开更多
关键词 白盒测试 语句覆盖 判定覆盖 条件覆盖 组合覆盖 路径覆盖
下载PDF
基于分支路径与变量状态差异的软件缺陷定位方法
20
作者 张大全 赵逢禹 刘亚 《智能计算机与应用》 2020年第7期75-81,共7页
传统的基于测试的分支路径差异分析的软件缺陷定位方法不能有效利用程序源代码中变量状态等可用信息。针对此问题,本文提出了一种基于分支路径与变量状态差异分析的缺陷定位方法。首先对需要输出的分支和变量信息进行插桩,再使用GCC编... 传统的基于测试的分支路径差异分析的软件缺陷定位方法不能有效利用程序源代码中变量状态等可用信息。针对此问题,本文提出了一种基于分支路径与变量状态差异分析的缺陷定位方法。首先对需要输出的分支和变量信息进行插桩,再使用GCC编译器对插桩后的程序进行编译输出,得到分支覆盖矩阵和变量值信息。使用余弦相似度公式获取相似分支路径对,并对相似分支路径对中的变量进行差异分析,通过变量差异分析来提高缺陷语句的可疑度。通过在Siemens套件上进行实验分析并与DStar等经典实验进行对比,基于分支路径与变量状态差异分析的方法能够有效提高软件缺陷语句怀疑度。 展开更多
关键词 分支路径差异 变量状态差异 分支覆盖矩阵 相似分支路径对 软件缺陷定位
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部