期刊文献+
共找到32篇文章
< 1 2 >
每页显示 20 50 100
基于风险分析的回归测试用例优先级排序 被引量:12
1
作者 于海 杨月 +2 位作者 王莹 张伟 朱志良 《计算机学报》 EI CSCD 北大核心 2019年第10期2127-2144,共18页
该文利用软件组件间信息流的传递过程,提出了基于风险分析的回归测试用例优先级排序算法(Risk Analysis-based Test Case Prioritization,RA-TCP).该算法针对现有的优先级排序技术未能有效利用测试用例所覆盖信息的问题,在类粒度下将软... 该文利用软件组件间信息流的传递过程,提出了基于风险分析的回归测试用例优先级排序算法(Risk Analysis-based Test Case Prioritization,RA-TCP).该算法针对现有的优先级排序技术未能有效利用测试用例所覆盖信息的问题,在类粒度下将软件抽象为基于信息流的类级有向网络模型,然后将每个测试用例所覆盖的类间信息传递关系用一组杠铃模型表示,结合概率风险评估方法和故障树理论计算杠铃模型的风险值,最后以测试用例所覆盖的杠铃风险总和作为其排序依据.实验结果表明,风险越高的测试用例覆盖错误的可能性越大,RA-TCP算法提高了具有严重风险的错误发现速率,与7种排序算法对比,RA-TCP算法具有较高的错误检出率及较好的稳定性. 展开更多
关键词 回归测试 测试用例优先级 复杂网络 风险分析 信息流 软件测试 软件工程
在线阅读 下载PDF
基于关键点路径的快速测试用例自动生成方法 被引量:22
2
作者 丁蕊 董红斌 +1 位作者 张岩 冯宪彬 《软件学报》 EI CSCD 北大核心 2016年第4期814-827,共14页
测试数据的自动生成,是提高软件测试效率的重要手段.从软件测试工程实践的角度提出快速生成测试数据的完整模型,更有利于提高测试数据生成效率.为此:(1)提出关键点路径表示法,以得出待测程序的理论路径数,并快速确定已覆盖路径的邻近路... 测试数据的自动生成,是提高软件测试效率的重要手段.从软件测试工程实践的角度提出快速生成测试数据的完整模型,更有利于提高测试数据生成效率.为此:(1)提出关键点路径表示法,以得出待测程序的理论路径数,并快速确定已覆盖路径的邻近路径;(2)用随机生成的数据运行简化后的插装程序,得到部分测试数据;(3)将理论路径分成易覆盖路径、难覆盖路径和不可行路径;(4)根据已覆盖路径及其测试数据提供的信息,使用遗传算法生成难覆盖路径的测试数据.仿真实验结果表明了所提方法的有效性. 展开更多
关键词 关键点路径 软件测试数据生成模型 覆盖测试 启发式信息 遗传算法
在线阅读 下载PDF
通过增大边际权重提高基于频谱的错误定位效率 被引量:10
3
作者 谭德贵 陈林 +3 位作者 王子元 丁晖 周毓明 徐宝文 《计算机学报》 EI CSCD 北大核心 2010年第12期2335-2342,共8页
基于频谱的错误定位技术通常利用覆盖信息来求出程序中每条语句的可疑度,并将语句按照可疑度降序排序以寻找错误语句.文中对已有的基于频谱的错误定位算法进行改进,将失败测试用例的边际权重引入到可疑度计算的过程中,即针对某一特定语... 基于频谱的错误定位技术通常利用覆盖信息来求出程序中每条语句的可疑度,并将语句按照可疑度降序排序以寻找错误语句.文中对已有的基于频谱的错误定位算法进行改进,将失败测试用例的边际权重引入到可疑度计算的过程中,即针对某一特定语句,令失败测试用例的权重随着其对该语句覆盖次数的增加而增大.实验结果表明,相对于其它方法,文中提出的方法对错误定位效率有一定的促进作用,即只需检查更少的语句即可找到出错位置. 展开更多
关键词 软件测试 程序分析 错误定位 覆盖信息
在线阅读 下载PDF
基于国产CPU/OS的信息系统性能测试方案研究 被引量:10
4
作者 熊婧 夏仲平 +1 位作者 林军 杨春晖 《计算机工程》 CAS CSCD 北大核心 2015年第12期82-85,90,共5页
为更准确地评价基于国产CPU/OS的信息系统性能,通过介绍国产基础软/硬件的背景,阐述信息系统性能测试原理及方法,针对商用性能测试工具LoadRunner不能真实反映用户体验时间,无法直接用于基于国产CPU/OS的信息系统的问题,考虑用户体验,... 为更准确地评价基于国产CPU/OS的信息系统性能,通过介绍国产基础软/硬件的背景,阐述信息系统性能测试原理及方法,针对商用性能测试工具LoadRunner不能真实反映用户体验时间,无法直接用于基于国产CPU/OS的信息系统的问题,考虑用户体验,分别提出基于LoadRunner和JMeter的国产信息系统性能测试方案。对2种改进方案进行实验,结果显示,JMeter测试方案的方差比LoadRunner测试方案小70.49%,表明JMeter方案的测试结果比LoadRunner方案更接近用户体验时间。 展开更多
关键词 国产基础软件 国产CPU 国产操作系统 信息系统 性能测试 LoadRunner测试工具 JMeter测试工具
在线阅读 下载PDF
基于谓词执行信息分析的自适应缺陷定位算法 被引量:7
5
作者 郝鹏 郑征 +3 位作者 张震宇 高乙超 宫成 薛云志 《计算机学报》 EI CSCD 北大核心 2014年第3期500-511,共12页
查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通... 查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通过比较程序运行成功与失败时谓词的执行信息差异来获得谓词与缺陷的关联程度.然而实验研究发现,固定算法中信息利用的强度会造成信息利用不足或过分利用现象的发生,导致现有PBSFL方法对某些缺陷定位不够准确.针对这一问题,文中设计了一种基于谓词执行信息分析的自适应缺陷定位算法,该算法通过分析测试用例运行时谓词的执行情况来动态地为每个谓词选择合适的信息利用强度.实验结果表明,该方法在Siemens和space两个程序包上表现出很好的定位效果以及定位稳定性. 展开更多
关键词 统计学缺陷定位 谓词执行信息 自适应 软件测试 程序分析中图法
在线阅读 下载PDF
基于软件全生命周期的电力行业信息系统测评服务体系研究 被引量:5
6
作者 徐晖 魏理豪 +1 位作者 王甜 艾解清 《计算机应用与软件》 CSCD 北大核心 2012年第11期239-242,共4页
电力信息系统安全检测逐步受到重视。针对电力行业信息系统安全检测的现状和特点,结合软件全生命周期理论,提出一种面向电力行业信息系统全生命周期的测评服务体系。立足电力行业信息系统安全需求,系统化地研究信息系统从设计、建设到... 电力信息系统安全检测逐步受到重视。针对电力行业信息系统安全检测的现状和特点,结合软件全生命周期理论,提出一种面向电力行业信息系统全生命周期的测评服务体系。立足电力行业信息系统安全需求,系统化地研究信息系统从设计、建设到正式运行等各个阶段的安全问题及测评重点,建立一套贯穿信息系统全生命周期的安全测评服务体系,最终提供多种类型的测评服务,全方位地保障重要系统安全。 展开更多
关键词 电力信息安全 全生命周期 软件测评
在线阅读 下载PDF
空间监视雷达测试数据的自动生成方法研究 被引量:5
7
作者 王浩宇 路强 《合肥工业大学学报(自然科学版)》 CAS 北大核心 2020年第5期620-623,共4页
目前空间监视雷达嵌入式软件测试主要采用人工手动测试的方法,该方法受环境的约束大,且软件产品质量难以获得有效确认。因此,文章结合雷达嵌入式软件测试工作,基于测试自动化理论,提出了一种空间监视雷达测试过程中的测试数据自动化生... 目前空间监视雷达嵌入式软件测试主要采用人工手动测试的方法,该方法受环境的约束大,且软件产品质量难以获得有效确认。因此,文章结合雷达嵌入式软件测试工作,基于测试自动化理论,提出了一种空间监视雷达测试过程中的测试数据自动化生成方法。该方法主要是通过对空间目标运动轨迹的仿真建模,进而依据模型自动化生成测试数据。此外,该方法也可推广至软件自动化测试的其他领域。 展开更多
关键词 空间监视雷达 嵌入式软件测试 测试数据 运动轨迹仿真建模 测试自动化
在线阅读 下载PDF
构件软件回归测试用例选择策略 被引量:4
8
作者 毛澄映 卢炎生 《计算机研究与发展》 EI CSCD 北大核心 2006年第10期1767-1774,共8页
软构件技术虽被广泛应用于软件系统的开发中,但其测试问题并未得到很好地解决.系统构建者对外部提供的构件内部结构及其变更信息缺乏了解,很难选择出与构件变更相关的用例用于下一轮的测试.分析已有回归测试技术的不足,提出了两种改进... 软构件技术虽被广泛应用于软件系统的开发中,但其测试问题并未得到很好地解决.系统构建者对外部提供的构件内部结构及其变更信息缺乏了解,很难选择出与构件变更相关的用例用于下一轮的测试.分析已有回归测试技术的不足,提出了两种改进的回归测试策略一种是基于增强的构件版本变更信息的方法;另一种则是基于内建式测试设计的方法.通过对几个实例程序的实验分析,初步证实了所提出的方法在实际应用中的可行性与有效性. 展开更多
关键词 构件软件 回归测试 变更信息 内建式测试设计 测试用例选择
在线阅读 下载PDF
一种基于AADL的IMA系统配置信息的正确性检测方法 被引量:2
9
作者 胡军 马金晶 +1 位作者 袁翔 刘雪 《南京航空航天大学学报》 EI CAS CSCD 北大核心 2014年第6期920-930,共11页
综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC65... 综合模块化航空电子系统(Integrated modular avionics,IMA)中的系统配置信息的正确性是保证IMA系统可靠运行的重要保障。配置信息的重配置给系统的更新和移植提供了方便,同时也给重配置后的系统带来了不安全因素。本文针对满足ARINC653规范的IMA系统重配置信息的正确性检测方法,展开了基于架构分析和设计语言(AADL)模型转换与分析的研究。给出了一系列从ARINC653系统配置信息到AADL模型元素的映射规则,包括模块、分区、进程、健康监控、通信等核心概念,并设计了一个模型转换的方法,然后采用一个第三方的工具对所得到的AADL模型展开配置信息正确性的语义验证。最后本文还给出了一个实例分析。 展开更多
关键词 软件可靠性测试 综合模块化航电系统 ARINC653配置信息 AADL REAL OSATE
在线阅读 下载PDF
信息系统模拟数据生成研究综述 被引量:1
10
作者 曹建军 刁兴春 +2 位作者 张慧 谭明超 邓波 《计算机科学》 CSCD 北大核心 2012年第B06期322-324,338,共3页
信息系统模拟数据生成是提供信息系统试验、试用和演练中所需数据的重要途径。通过与软件测试数据生成、样本数据扩充、虚拟现实相关研究领域比较,讨论了信息系统模拟数据生成的研究定位;归纳了信息系统模拟数据生成的研究内容;提出了... 信息系统模拟数据生成是提供信息系统试验、试用和演练中所需数据的重要途径。通过与软件测试数据生成、样本数据扩充、虚拟现实相关研究领域比较,讨论了信息系统模拟数据生成的研究定位;归纳了信息系统模拟数据生成的研究内容;提出了具有数据层、中间层和生成层三层结构的典型信息系统模拟数据生成系统结构框架;最后对信息系统模拟数据生成的研究方向进行了展望。 展开更多
关键词 信息系统 模拟数据生成 软件测试数据 样本数据 虚拟现实
在线阅读 下载PDF
过程约束信息在软件静态测试中的应用 被引量:1
11
作者 金大海 宫云战 +1 位作者 杨朝红 肖庆 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第3期534-542,共9页
为了在软件静态测试中检测上下文相关的过程间故障,提出一种应用过程约束信息的方法.首先通过约束模式状态机描述过程间故障模式,并在此基础上定义过程外部向量及约束向量;然后在相关数据流方程的基础上给出过程外部向量和约束向量的生... 为了在软件静态测试中检测上下文相关的过程间故障,提出一种应用过程约束信息的方法.首先通过约束模式状态机描述过程间故障模式,并在此基础上定义过程外部向量及约束向量;然后在相关数据流方程的基础上给出过程外部向量和约束向量的生成算法,以及约束向量的传播和使用算法;最后在现有实验环境软件缺陷检测系统(DTS)的基础上,对比应用过程约束信息前后对测试结果的影响.实验结果表明,过程约束信息可以在一定程度上提高软件静态测试的准确性. 展开更多
关键词 软件测试 静态分析 过程约束信息 约束状态机
在线阅读 下载PDF
支持协同测试的软件测试信息管理系统 被引量:1
12
作者 丁毓峰 蒋胜 《计算机工程》 EI CAS CSCD 北大核心 2005年第6期81-83,共3页
提出支持协同测试的通信设备系统软件测试信息管理系统结构,研究了测试需求、测试用例和故障之间映射关系的测试信息关联模型,分析归纳了通信设备系统软件测试流程,提出的测试用例编号方法和协同测试信息模型可以有支持系统软件多版本... 提出支持协同测试的通信设备系统软件测试信息管理系统结构,研究了测试需求、测试用例和故障之间映射关系的测试信息关联模型,分析归纳了通信设备系统软件测试流程,提出的测试用例编号方法和协同测试信息模型可以有支持系统软件多版本的协同测试。 以testDirector为基础,实现了支持协同测试的软件测试信息管理系统。 展开更多
关键词 协同测试 测试信息管理 通信设备 系统软件 TestDirector
在线阅读 下载PDF
大型通信台站信息系统软件测试问题的探讨 被引量:3
13
作者 乐鑫喜 《舰船科学技术》 北大核心 2008年第B11期47-49,共3页
大型通信台站信息系统软件的组成复杂,各部分软件规模较大,类型又不尽相同。本文根据该信息系统的软件构成和各部分软件的不同特点,对大型通信台站信息系统的软件测试问题进行了探讨,提高该系统软件测试效率,从而更好地保证软件质量和... 大型通信台站信息系统软件的组成复杂,各部分软件规模较大,类型又不尽相同。本文根据该信息系统的软件构成和各部分软件的不同特点,对大型通信台站信息系统的软件测试问题进行了探讨,提高该系统软件测试效率,从而更好地保证软件质量和性能。 展开更多
关键词 软件测试 信息系统
在线阅读 下载PDF
基于用户体验的网页界面视觉传达系统设计 被引量:5
14
作者 钱江 《现代电子技术》 2021年第20期142-146,共5页
网页界面受到网络攻击的影响,会导致网页界面视觉传达的用户体验效果变差。为了增强网页界面视觉传达系统的用户体验效果,文中提出了基于用户体验的网页界面视觉传达系统设计。通过网页界面搜索模块设计和网页界面导航模块设计,完成了... 网页界面受到网络攻击的影响,会导致网页界面视觉传达的用户体验效果变差。为了增强网页界面视觉传达系统的用户体验效果,文中提出了基于用户体验的网页界面视觉传达系统设计。通过网页界面搜索模块设计和网页界面导航模块设计,完成了系统的硬件设计;通过采集网页界面的视觉传达信息、检测网页界面的轮廓特征以及网页界面的视觉传达设计,完成了系统的软件设计,从而实现了网页界面的视觉传达设计。通过测试得出结论用户体验的网页界面视觉传达系统在缩短响应时间的同时,使系统的性能大大提升,从而增强了网页界面视觉传达系统的用户体验效果。 展开更多
关键词 视觉传达 网页界面 用户体验 信息采集 硬件设计 软件设计 特征检测 系统测试
在线阅读 下载PDF
基于硬件规范信息的测试设备设计 被引量:1
15
作者 杨茂兴 《电光与控制》 北大核心 2006年第4期110-113,共4页
在介绍一种多对象适用自动检测设备硬件结构的基础上,详细叙述了该自动检测设备应用软件设计时将被测对象信息、检测设备硬件平台同被测对象间的硬件关联信息相对于测控程序进行分离并规范的思路及方法。通过硬件规范信息库的构建,该自... 在介绍一种多对象适用自动检测设备硬件结构的基础上,详细叙述了该自动检测设备应用软件设计时将被测对象信息、检测设备硬件平台同被测对象间的硬件关联信息相对于测控程序进行分离并规范的思路及方法。通过硬件规范信息库的构建,该自动测试设备测控程序大大地减少了对检测设备与多被测对象硬件的关联性,具有一对多、易于扩充的优点。 展开更多
关键词 自动检测设备 应用软件 规范信息 硬件关联性
在线阅读 下载PDF
软件测试中的信息安全问题
16
作者 王昱镔 高博 +1 位作者 程楠 吴薇 《信息网络安全》 2013年第5期1-4,共4页
软件测试的整个生命周期,存在软件信息和相关文件交互、传输的安全风险,若缺少信息安全防护策略和技术上的支撑,会造成源代码等软件重要信息泄露,对软件安全造成威胁。文章根据软件测试过程的要求,分析了软件测试可能存在的安全威胁,提... 软件测试的整个生命周期,存在软件信息和相关文件交互、传输的安全风险,若缺少信息安全防护策略和技术上的支撑,会造成源代码等软件重要信息泄露,对软件安全造成威胁。文章根据软件测试过程的要求,分析了软件测试可能存在的安全威胁,提出了测试过程中的信息安全保护方法,确保软件测试安全。 展开更多
关键词 软件测试 信息安全 测试过程
在线阅读 下载PDF
计算机信息系统的验证与确认
17
作者 刘润杰 薛锦云 +1 位作者 童兆丰 吴世兴 《计算机工程》 CAS CSCD 北大核心 1996年第S1期323-323,共1页
计算机信息系统的验证与确认是提高系统正确性和可靠性的有效技术,然而人们对验证与确认的含义尚无统一、明确的认识.文中给出了验证与确认的明确定义,阐述了它们之间的区别与联系,并分别介绍了各种流行的验证与确认技术.验证与确认(简... 计算机信息系统的验证与确认是提高系统正确性和可靠性的有效技术,然而人们对验证与确认的含义尚无统一、明确的认识.文中给出了验证与确认的明确定义,阐述了它们之间的区别与联系,并分别介绍了各种流行的验证与确认技术.验证与确认(简称V & V)是计算机信息系统中一个重要概念,它们是贯穿信息系统生产每一步的一个持续的过程.验证与确认是测试程序是否符合其需求以及需求是否满足用户的需要这一过程的总称.它们的目的是通过动态和静态的系统分析测试技术提高计算机信息系统的正确性和可靠性.静态技术包括程序的静态检查、分析以及形式化证明.动态技术就是运行一个实现的系统来进行测试和分析.在许多献中验证与确认的含义模糊不清.我们认为:验证指的是证明软件(程序)符合其规范;确认指的是证实软件(程序)符合其用户的要求.区分验证与确认的关键在于验证是确保程序与其规范一致的行为,而确认则是确保程序与用户要求一致.在验证和确认的技术中,验证的技术大多数是理论的推导,确认的技术大多数是测试.验证的目的是确保程序与其规范一致.软件生产过程中,从软件规范到程序实现之间的每一步都要有验证.我们提出的分划递推法可以提高计算机信息系统的正确性和可靠性,用该方法设计和证明算法程序的步骤如下:a 展开更多
关键词 系统的验证与确认 计算机信息系统 软件规范 系统测试
在线阅读 下载PDF
基于信息流的关键软件缺陷定位技术
18
作者 周东红 石柱 +1 位作者 王瑞 李沫 《载人航天》 CSCD 2016年第5期635-640,共6页
针对软件因涉及多程序要素间相互作用而来的复杂缺陷,研究了基于信息流的关键软件缺陷定位技术,对现有的信息流进行了扩展,并对经典方法的可疑度度量公式进行了改进,而且将其融入了相关算法;并进行了与语句覆盖、分支覆盖和定义使用对... 针对软件因涉及多程序要素间相互作用而来的复杂缺陷,研究了基于信息流的关键软件缺陷定位技术,对现有的信息流进行了扩展,并对经典方法的可疑度度量公式进行了改进,而且将其融入了相关算法;并进行了与语句覆盖、分支覆盖和定义使用对覆盖等缺陷定位技术的对比试验,结果表明:此方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法更可靠、更精确,能高效率地定位软件中的缺陷。 展开更多
关键词 软件测试 复杂缺陷 信息流覆盖 语句覆盖 分支覆盖 定义使用对覆盖
在线阅读 下载PDF
安卓应用软件测试信息智能监测系统设计
19
作者 蔡娟 陆璐 《现代电子技术》 北大核心 2017年第14期58-60,63,共4页
随着安卓系统的广泛应用,简单的安卓应用软件测试信息监测已经不能保证用户信息安全。为了解决以上问题,将动态测试与静态测试融合起来,设计一种新型的安卓应用软件测试信息智能监测系统。该系统主要由信息采集模块、网络调制模块和串... 随着安卓系统的广泛应用,简单的安卓应用软件测试信息监测已经不能保证用户信息安全。为了解决以上问题,将动态测试与静态测试融合起来,设计一种新型的安卓应用软件测试信息智能监测系统。该系统主要由信息采集模块、网络调制模块和串口通信模块组成,采用CC2530F128处理器控制信息传输、监测流程。信息采集模块将动、静测试信息融合,通过网络调制模块组建Zig Bee星状拓扑局域网络,利用串口通信模块测试信息兼容性,并进一步给出系统监测流程和安卓应用软件安全性评估目录。实验结果证明,所设计的系统对安卓应用软件的危险行为测出率高,对安全行为误测率低。 展开更多
关键词 安卓系统 应用软件 测试信息采集 监测系统
在线阅读 下载PDF
舰船信息智能控制软件测试研究
20
作者 马晓丽 李永利 《舰船科学技术》 北大核心 2021年第24期157-159,共3页
在舰船信息智能控制软件的研究中,常规的软件测试方法在数据流上存在冲突问题,导致测试方法的执行效率比较低。针对这一问题,提出舰船信息智能控制软件测试研究。从控制软件中获得大量高维数据,对高维数据标准化处理,消除量纲差异,获得... 在舰船信息智能控制软件的研究中,常规的软件测试方法在数据流上存在冲突问题,导致测试方法的执行效率比较低。针对这一问题,提出舰船信息智能控制软件测试研究。从控制软件中获得大量高维数据,对高维数据标准化处理,消除量纲差异,获得标准数据集后通过贡献率计算以及特征投影,得到低维数据,以原有的测试模型作为基础,构建测试基线。引入回归测试,完成测试模型的设计,将低维数据输入到测试模型中,在测试基线的引导下,完成软件测试。实验结果表明,设计的软件测试方法在测试数据生成方面,运行时间短,数据冗余量少,整体执行效率更高,在实际应用中该测试方法优于常规的软件测试方法。 展开更多
关键词 舰船信息 智能控制 软件测试 自动化 高维数据 测试模型
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部