检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

一种基于事件处理函数的GUI测试方法

软件学报 2013年第12期24卷 2830-2842页

作者：陈军成薛云志赵琛中国科学院软件研究所基础软件测评实验室北京100190 中国科学院软件研究所基础软件国家工程研究中心北京100190 中国科学院大学北京100049

事件处理函数响应用户GUI(graphic user interface)操作并完成软件预定义功能,事件处理函数以及事件处理函数之间的关系实现是否与规约一致,是GUI测试的重点.针对现有的基于模型GUI测试用例自动生成过程中面临的测试用例规模庞大以及生... 详细信息

事件处理函数响应用户GUI(graphic user interface)操作并完成软件预定义功能,事件处理函数以及事件处理函数之间的关系实现是否与规约一致,是GUI测试的重点.针对现有的基于模型GUI测试用例自动生成过程中面临的测试用例规模庞大以及生成的测试用例无效问题,从分析事件处理函数的角度出发,提出了一种GUI测试模型EHG.针对此模型,结合事件处理函数及其代码结构,提出了两个测试覆盖准则:完整最短路径覆盖准则和完整最短路径定义-引用对覆盖准则;利用基于反馈的测试用例生成技术生成测试用例.实验结果表明,针对较为复杂的应用,该方法不仅能够有效控制测试用例规模,消除无效测试用例,而且生成的测试用例能有效提高事件处理函数的代码结构覆盖率.

关键词： GUI测试事件处理函数测试覆盖准则测试用例生成

基于事件处理函数的GUI测试用例集约简技术

在线全文

学校读者我要写书评

暂无评论

软件学报 2015年第8期26卷 1871-1885页

作者：陈军成薛云志陶秋铭赵琛中国科学院软件研究所基础软件测评实验室北京100190 基础软件国家工程研究中心(中国科学院软件研究所) 北京100190 中国科学院大学北京100049

GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽可能保持原有测试用例集缺陷发现能力的基础上... 详细信息

GUI测试用例集约简是降低GUI软件测试成本的有效手段.GUI软件的消息循环机制以及事件驱动特性,导致传统的基于控制流和数据流的测试用例集约简技术难以直接应用于GUI测试用例集约简.如何在尽可能保持原有测试用例集缺陷发现能力的基础上,尽可能地降低GUI测试用例集规模,是GUI测试用例集约简的一个挑战.以事件处理函数为核心,结合控制流和数据流技术,根据事件处理函数代码结构特征以及事件处理函数之间的数据依赖关系定义测试冗余规则,制定并实现了3种测试用例集约简技术.实验结果表明:与已有技术相比,其中两种根据事件处理函数之间的数据依赖关系制定的测试用例集约简技术达到了较好的约简效果.

关键词： GUI测试用例测试用例集约简事件处理函数定义-引用冗余测试用例

在线全文

学校读者我要写书评

暂无评论

基于时序逻辑的编译优化测试用例生成方法

计算机应用研究 2007年第7期24卷 46-48页

作者：夏勇薛云志赵琛中国科学院软件研究所互联网软件技术实验室

提出一种基于时序逻辑公式的关键节点控制图生成方法,生成的测试用例针对性强,容易扩展;并以该方法改进了一种编译优化自动化测试工具,在很大程度上消除了其测试冗余,提高了测试效率。

关键词：编译优化测试用例时序逻辑基本块关键节点控制图

一种基于Android平台GUI录制回放工具的设计与实现

在线全文

学校读者我要写书评

暂无评论

计算机应用与软件 2012年第12期29卷 6-9,68页

作者：张灿薛云志陈军成中国科学院软件研究所北京100190

随着移动应用软件复杂性不断提高,高效的测试技术和工具逐渐成为高质量移动应用的必要保证。基于录制-回放技术提出一种Google Android平台上移动应用的自动化测试解决方案,并实现了一个黑盒测试工具。通过举例描述系统录制测试用例、... 详细信息

随着移动应用软件复杂性不断提高,高效的测试技术和工具逐渐成为高质量移动应用的必要保证。基于录制-回放技术提出一种Google Android平台上移动应用的自动化测试解决方案,并实现了一个黑盒测试工具。通过举例描述系统录制测试用例、生成脚本并回放的过程,详细分析了GUI自动化测试工具录制-回放模块关键技术的设计与实现。该GUI测试工具主要应用于回归测试阶段,能够提高测试效率。

关键词： Android GUI 自动化测试录制-回放

在线全文

学校读者我要写书评

暂无评论

基于谓词执行信息分析的自适应缺陷定位算法

计算机学报 2014年第3期37卷 500-511页

作者：郝鹏郑征张震宇高乙超宫成薛云志北京航空航天大学自动化科学与电气工程学院北京100191 中国科学院软件研究所北京100190 中国科学院软件研究所基础软件测评实验室北京100190

查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通... 详细信息

查找程序中缺陷代码所在的位置是一项值得深入开展的研究,同时也是实际软件调试过程中所面临的一个难题,这一过程往往需要耗费大量的时间和人力资源.研究软件缺陷定位的一类重要方法是基于谓词的统计学缺陷定位方法(简称PBSFL).PBSFL通过比较程序运行成功与失败时谓词的执行信息差异来获得谓词与缺陷的关联程度.然而实验研究发现,固定算法中信息利用的强度会造成信息利用不足或过分利用现象的发生,导致现有PBSFL方法对某些缺陷定位不够准确.针对这一问题,文中设计了一种基于谓词执行信息分析的自适应缺陷定位算法,该算法通过分析测试用例运行时谓词的执行情况来动态地为每个谓词选择合适的信息利用强度.实验结果表明,该方法在Siemens和space两个程序包上表现出很好的定位效果以及定位稳定性.

关键词：统计学缺陷定位谓词执行信息自适应软件测试程序分析中图法

基于pCTL的循环优化测试用例自动生成方法

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2010年第3期31卷 436-440页

作者：余侠薛云志陶秋铭中国科学院软件研究所基础软件国家工程研究中心北京100080 中国科学院研究生院北京100080 中国科学院软件研究所互联网软件技术实验室北京100080

循环优化测试对保证现代编译器质量有着重要作用.传统手工构造测试用例方法面临着效率低的问题,而目前的自动构造方法对循环优化的针对性不足.提出并实现了一种基于参数化分支时序逻辑(pCTL)的循环优化测试用例自动生成方法.并用生成的... 详细信息

循环优化测试对保证现代编译器质量有着重要作用.传统手工构造测试用例方法面临着效率低的问题,而目前的自动构造方法对循环优化的针对性不足.提出并实现了一种基于参数化分支时序逻辑(pCTL)的循环优化测试用例自动生成方法.并用生成的测试用例对GCC-4.1.1进行覆盖率测试,结果表明该方法可以生成具有很高针对性的循环优化测试用例,并且很少的测试用例即可达到较高的覆盖程度.

关键词： pCTL 循环优化测试用例生成覆盖率

基于PSO算法的轨道交通WPT系统规划研究

在线全文

学校读者我要写书评

暂无评论

铁道工程学报 2024年第3期41卷 100-105页

作者：林云志赖一雄中铁电气化局集团有限公司北京100036

研究目的:面向轨道交通的无线电能传输技术正处于快速发展中,在大规模工程应用之前,对线路的“电源”如何配置、充电的策略等问题缺乏系统性研究,特别是系统的配电规划是一个系统性的非线性问题,具有多维度、多目标、多约束、多变量等特... 详细信息

研究目的:面向轨道交通的无线电能传输技术正处于快速发展中,在大规模工程应用之前,对线路的“电源”如何配置、充电的策略等问题缺乏系统性研究,特别是系统的配电规划是一个系统性的非线性问题,具有多维度、多目标、多约束、多变量等特点,为提高整个工程的经济性,实现建设成本与运营成本的最优,需要一种最优的规划算法。研究结论:(1)从静动态电源配合、动态导轨长度、装置容量选择等多要素进行规划和考虑,基于粒子群优化算法(PSO)对优化求解算法进行运算;(2)首先搭建非线性数学模型,并给出了约束条件、配电系统的规划以及方案的选择标准;最后通过实例仿真验证了其可行性;(3)本文算法在轨道交通WPT系统规划中具有优越的全局寻优性能。

关键词：粒子群优化算法无线电能传输配电方案

一种编译优化测试用例自动生成方法的设计与实现

在线全文

学校读者我要写书评

暂无评论

小型微型计算机系统 2009年第1期30卷 13-18页

作者：曾伟明薛云志赵琛贺也平中国科学院软件研究所基础软件国家工程研究中心北京100080 中国科学院研究生院北京100080 中国科学院软件研究所互联网软件技术实验室北京100080

编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对... 详细信息

编译器的质量保证对提高软件产品的质量有着重要作用,对编译优化的测试是其中的核心部分.对编译优化的测试需要大量的测试用例程序.要构造这些测试用例,使用传统手工构造方法面临着效率低的问题,而基于文法的构造方法则针对性不足.从对优化的形式化描述出发来自动构造测试用例能克服这些缺点.本文设计并实现了一种基于形式化描述的编译优化测试用例程序生成方法.该方法基于编译优化的时序逻辑描述构造关键顶点控制流图,逐步转换为控制流图并得到用例程序.针对GCC(版本4.1.1)进行的覆盖率测试实验表明,该方法可以生成具有较高针对性的测试用例,并达到相当的覆盖程度.

关键词：编译器测试覆盖率编译优化时序逻辑测试用例

在线全文

学校读者我要写书评

暂无评论

软件失效模式的自动生成方法研究

计算机科学与探索 2018年第11期12卷 1758-1766页

作者：孟令中王航薛云志武斌马兰中国科学院软件研究所北京100190 中国科学院大学北京100190 清华大学附属小学北京100084

软件失效模式的使用可以帮助开发人员与测试人员高效地开展失效的预防和发现等工作,进而提高软件质量。现有软件失效模式的通用性使得在实际工作中难以发挥更大作用,且目标软件的失效模式难以人工提炼,因此提出利用失效原因和失效影响... 详细信息

软件失效模式的使用可以帮助开发人员与测试人员高效地开展失效的预防和发现等工作,进而提高软件质量。现有软件失效模式的通用性使得在实际工作中难以发挥更大作用,且目标软件的失效模式难以人工提炼,因此提出利用失效原因和失效影响组合的形式表示软件失效模式,并利用文本挖掘方法,提出面向失效文本描述的软件失效模式自动生成方法。该方法利用软件异常分类字典构建分类器,用以对历史软件失效文本的描述进行分类;之后对经过预处理后的失效文本,开展文本聚类工作,进而从聚类后的类簇中选取有代表性的失效文本作为类簇标签;最后开展失效原因和失效影响的文本抽取并通过文本匹配方法实现失效模式的自动生成。

关键词：软件失效模式文本挖掘聚类分析文本相似度自动抽取