检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

基于搜索算法的测试用例优化问题研究

小型微型计算机系统 2011年第5期32卷 840-844页

作者：黄玉涵曾凡平潘能刚张美超中国科学技术大学计算机科学与技术学院安徽合肥230026 安徽省计算与通讯软件重点实验室安徽合肥230026

测试用例优化是软件测试领域的研究热点之一,已有优化算法的评估多以代码覆盖为基础,这并不能完全反应程序的错误状况,高代码覆盖率的测试用例并不一定具有高的揭错能力.本文结合变异测试,从新的角度-———错误覆盖出发,对两种贪心算... 详细信息

测试用例优化是软件测试领域的研究热点之一,已有优化算法的评估多以代码覆盖为基础,这并不能完全反应程序的错误状况,高代码覆盖率的测试用例并不一定具有高的揭错能力.本文结合变异测试,从新的角度-———错误覆盖出发,对两种贪心算法、一种启发式算法、及遗传算法的优化效果进行了评估,实验结果表明额外贪心算法优于其它三种算法.该评估结果的置信度更高,为此类算法的评估提供了新的研究思路.

关键词：测试用例优化搜索算法遗传算法变异测试

在线全文

学校读者我要写书评

暂无评论

基于云的协议识别模型与算法研究

基于云的协议识别模型与算法研究

作者：马萌北京邮电大学

学位级别：硕士

随着信息技术的发展,网络环境日益多样化与复杂化。为保障关键业务的开展与普及,借助协议识别技术对网络流量进行分类与管理是各行业用户的迫切需求。对协议识别技术的研究具有重要的理论意义与现实价值。传统协议识别模式受限于... 详细信息

随着信息技术的发展,网络环境日益多样化与复杂化。为保障关键业务的开展与普及,借助协议识别技术对网络流量进行分类与管理是各行业用户的迫切需求。对协议识别技术的研究具有重要的理论意义与现实价值。传统协议识别模式受限于部署架构以及处理能力日渐无法适应数量庞大且经常变化的协议特征。论文在对传统协议识别模型进行优化的方向上,开展了以下几个方面的研究工作： 1.总结了现有协议识别技术的发展限制,分析了基于云计算技术的协议识别技术。 2.提出基于云的协议识别模型,以解决现有协议识别模型中处理能力受限、开发环境适应性不强以及难以实现规则自动学习等缺陷,并给出了关键的数据处理模型、特征修正模型以及云存储与计算模型。 3.设计了规则树构造算法用以组织规则,为数据处理与特征修正模块提供支持,利用变异测试技术对规则出现的偏差进行测试并修正。 4.对所提出的模型与算法进行了实例测试与分析,表明变异测试方法能够正确发现特征变化,同时优化的规则树构造算法能够显著提高特征匹配效率。

关键词：协议识别云计算云存储变异测试特征修正

基于Markov模型的Web服务软件测试用例生成

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

电脑知识与技术 2018年第10期14卷 265-267页

作者：申珅党向盈徐州工程学院信电学院江苏徐州221000

软件测试是保证Web服务软件质量的重要技术之一。变异测试是一种面向缺陷的测试技术,变异测试用例生成效率将影响Web服务测试的效率和成本。该文针对Web服务软件,基于Markov模型高效生成变异测试用例。首先,随机生成一定样本容量的测试... 详细信息

软件测试是保证Web服务软件质量的重要技术之一。变异测试是一种面向缺陷的测试技术,变异测试用例生成效率将影响Web服务测试的效率和成本。该文针对Web服务软件,基于Markov模型高效生成变异测试用例。首先,随机生成一定样本容量的测试数据,针对每一个合约变异体,基于弱变异测试准则,执行Web服务方法及其变异体,根据合约变异预言来判断变异体是否被杀死;然后基于Markov链预测模型,计算变异体之间的关联度;再根据变异体之间关联度,生成变异体序列,即与其他变异体关联度大的变异体排在序列的前面;最后,采用遗传算法,依次序列顺序,生成杀死合约变异体的测试用例。

关键词： Markov模型 Web服务软件测试用例生成变异测试

在线全文

学校读者我要写书评

暂无评论

缓冲区溢出漏洞的测试方法研究

缓冲区溢出漏洞的测试方法研究

作者：陈明辉中国科学技术大学

学位级别：硕士

信息技术的发展,对全球的经济、政治、科教、军事等社会发展的各方面带来了重大的影响,不仅仅使人类社会获得了高效率和便利,同时也给人类社会带来了威胁和风险。各种利用软件的漏洞、安全弱点的恶意攻击手段层出不穷,而且漏洞攻击的数... 详细信息

信息技术的发展,对全球的经济、政治、科教、军事等社会发展的各方面带来了重大的影响,不仅仅使人类社会获得了高效率和便利,同时也给人类社会带来了威胁和风险。各种利用软件的漏洞、安全弱点的恶意攻击手段层出不穷,而且漏洞攻击的数量呈逐年增长之势。缓冲区溢出攻击是当前最常见的一种漏洞形式,它不仅广泛存在于各种各样的软件系统中,而且危害性极大,是最容易被攻击者利用的一种漏洞形式,它可以导致程序运行的失败、系统死机或重新启动等后果,更为严重的是,可以利用它执行非授权指令,甚至可以取得系统特权,进而进行各种非法操作。因此,对软件漏洞的深入研究,对软件漏洞的充分测试机制的探索,必然更有利于我们从根本上解决计算机安全问题。如果我们能够在软件发布之前就发现漏洞的存在,并且对这些漏洞进行补救,这样即可以减少防范带来的损失,又能减少客户的损失,具有重要的意义。传统的漏洞检测技术主要包括:手工分析、静态分析方法和动态分析方法。其中静态分析方法又分为基于源码的静态分析和基于二进制的静态分析,是在软件运行前,通过对其源代码的分析,找出可能存在的软件漏洞;而动态分析方法是指存在漏洞的软件在其运行过程中,对其行为加以监视和限制,从而禁止其中可能存在的漏洞被恶意利用。本文在分析了缓冲区溢出的抽象不变量的基础上,提出了一种新的缓冲区溢出测试机制,利用程序插装和变异测试来测试程序的缓冲区溢出漏洞,这种测试机制能够更好地测试出缓冲区溢出:能够综合静态分析和动态分析的优点,更有利于解决软件的缓冲区漏洞威胁。

关键词：缓冲区溢出静态分析动态分析抽象不变量变异测试

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于时间自动机模型的测试用例生成方法研究

基于时间自动机模型的测试用例生成方法研究

作者：范素娟郑州大学

学位级别：硕士

软件测试是提高软件可靠性和保证软件正确性最基本和最重要的手段,而测试用例的设计又是软件测试的核心,是软件测试质量的根本保障。随着软件系统规模的日益扩大和应用领域的不断拓展,使得对软件系统的测试变得更加困难。因此,自动化的... 详细信息

软件测试是提高软件可靠性和保证软件正确性最基本和最重要的手段,而测试用例的设计又是软件测试的核心,是软件测试质量的根本保障。随着软件系统规模的日益扩大和应用领域的不断拓展,使得对软件系统的测试变得更加困难。因此,自动化的软件测试技术成为近年来软件测试的重要研究方向。基于模型的测试用例生成技术已被证明是很有发展前景的测试反应式软件系统的自动化测试用例生成方法,它用形式化的方法对系统进行建模并基于所建模型生成测试用例。模型检测是基于模型的测试用例生成方法用到的主要技术,因此在测试用例生成过程中状态空间爆炸问题也不可避免。另外,对于实时系统而言,系统时序逻辑的错误会产生灾难性的后果。因此,如何避免测试用例生成中的状态空间爆炸并尽量发现软件中隐含的时序逻辑错误是本文研究的主要内容。本文通过对基于时间自动机模型的测试用例生成方法进行研究并对具有不同时间尺度的一类实时系统进行分析,提出了一种基于时间自动机模型的测试用例生成方法的优化技术。该方法通过对原时间自动机模型的结构进行改进来减少状态空间爆炸造成的影响,加快基于模型的测试用例生成的速度并减小生成的测试用例集的大小。实时系统通常是并发的,因此响应时间依赖于不同任务的执行时间和执行次序。本文通过对基于任务扩展的时间自动机模型的变异测试方法进行研究并深入分析了并发实时系统的内部行为特性以及各种可能的测试假设,提出了一种变异测试生成方法,定义了模拟实时系统各种时序错误的变异操作符,并使用调度分析工具TIMES来对实时系统建模,使用定义的变异操作符对系统的时间自动机模型进行变异,从而生成导致系统实时性问题发生的测试序列。

关键词：实时系统基于模型的测试测试用例时间自动机模型检测状态空间爆炸变异测试

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

AOP切入点故障注入测试技术研究

AOP切入点故障注入测试技术研究

作者：庄宿亮南华大学

学位级别：硕士

面向方面的程序设计(Aspect-Oriented Programming,AOP)是最新流行的一种软件开发技术,是对面向对象软件开发方法的进一步发展和补充。AOP的主要目标是分离关注点,将所有关注点分离成核心关注点和横切方面。使用AOP可以减少代码纠缠和... 详细信息

面向方面的程序设计(Aspect-Oriented Programming,AOP)是最新流行的一种软件开发技术,是对面向对象软件开发方法的进一步发展和补充。AOP的主要目标是分离关注点,将所有关注点分离成核心关注点和横切方面。使用AOP可以减少代码纠缠和混乱状况。不过,这样在形成新的代码片断或量化指令的同时也可能会引入新的bug。因此,AOP测试的研究也应该随着AOP的广泛应用而越来越受到人们的重视。现在的面向方面软件开发(Aspect-Oriented Software Development, AOSD)的研究大部分集中于问题的分析、软件设计和执行技术。虽然应用面向方面开发技术最终能开发出高质量的软件,但是面向方面也不能保证软件在应用和开发中不会出错。面向方面的程序开发语言加强了编码类型的规范,但是这也不能防护程序员的错误或对规格说明书的不充分理解。结果在面向方面的软件开发中软件测试仍然是一项非常重要的任务。基于AOP自身的特点,一些现有的传统的测试架构和测试技术不能直接的应用于面向方面程序。这些特殊性在测试过程中需要特殊考虑。因此需要对面向方面的软件测试进行深入地研究,寻求合适的测试方法和测试架构,设计更有效的测试用例。本文对面向方面的软件开发中可能会出现的一些故障进行了详细的分析,得出了AOP故障类型。此故障类型为面向方面的测试提供了很好的指导作用,可以作为面向方面测试研究和应用的依据。程序中有很多故障是隐性的,不易被发现的。简单使用覆盖规则测试,很难覆盖被测程序的所有分支,为此采用程序变异的方法对被测软件进行故障注入,用强制的方法执行被测分支,使隐性的故障变为显性的故障暴露出来,从而提高测试的覆盖率。本文以AOP故障分类为基础,结合基于变异的故障注入技术,提出了基于故障分类的AOP故障注入测试过程。以AOP切入点故障类型为指导,研究了切入点变异体的生成方法。将基于变异的故障注入技术应用于面向方面程序测试,提高了测试的覆盖率,并能检测测试用例集的灵敏性。

关键词：面向方面编程故障分类故障注入变异测试软件测试

基于Daikon与C++Test的自动测试用例集约简工具生成

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

智能计算机与应用 2013年第1期3卷 39-41,44页

作者：朱玲莉刘丽娜汤创为南华大学计算机科学与技术学院湖南衡阳421001

程序似然不变量是程序中隐含的属性,可以应用于程序验证、软件测试技术、逆向工程等领域。针对自动化测试工具C++Test产生的测试用例集,利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量;并将两种工具结合生产一种... 详细信息

程序似然不变量是程序中隐含的属性,可以应用于程序验证、软件测试技术、逆向工程等领域。针对自动化测试工具C++Test产生的测试用例集,利用程序不变量分析工具Daikon判断这些测试用例是否改变了当前的不变量;并将两种工具结合生产一种自动化测试用例集约简工具CDRT(C++Test And Daikon Reduction Testing),从而达到约简测试用例集的效果,再通过变异测试工具INSURE++对简化后的测试用例集进行评估。实验结果表明,CDRT工具能有效地约简测试用例集。

关键词： Daikon C++Test 测试用例集约简变异测试

在线全文

学校读者我要写书评

暂无评论

面向构件接口变异的模型检验技术研究

电脑知识与技术 2010年第8期6卷 1954-1956页

作者：张侹王璠韩柯欧阳志强解放军理工大学指挥自动化学院中国电子系统设备工程公司研究所西安体育学院

随着构件技术在软件开发中的广泛应用,人们对构件化软件系统质量的要求也在不断提高。该文运用模型检验技术进行接口变异测试的相关研究工作。该文首先详细介绍了基于模型检验技术的变异测试的基本原理,随后通过对构件集成时接口之间的... 详细信息

随着构件技术在软件开发中的广泛应用,人们对构件化软件系统质量的要求也在不断提高。该文运用模型检验技术进行接口变异测试的相关研究工作。该文首先详细介绍了基于模型检验技术的变异测试的基本原理,随后通过对构件集成时接口之间的交互关系进行分析后,提出了通过构造接口函数调用关系模型进行基于模型检验的接口变异测试方法。最后,通过实例进行了对JavaBean构件的接口测试用例的自动生成。

关键词：模型检验变异测试接口交互 Java Pathfinder

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

基于蚁群算法的软件测试用例生成方法研究

软件导刊 2011年第3期10卷 73-74页

作者：邱菊南京航空航天大学计算中心江苏南京211106

在相关的调查中,软件测试占软件开发总成本的一半左右。此外,软件测试以及软件测试用例生成,是软件工程的重点和难点。所以,减少软件测试的成本是非常必要的。随着进化算法被引入到增强测试覆盖率中来,测试的代价也在逐步降低。提出了... 详细信息

在相关的调查中,软件测试占软件开发总成本的一半左右。此外,软件测试以及软件测试用例生成,是软件工程的重点和难点。所以,减少软件测试的成本是非常必要的。随着进化算法被引入到增强测试覆盖率中来,测试的代价也在逐步降低。提出了一种新的软件测试用例生成方法,该方法结合蚁群算法,在提高测试覆盖率的同时,成功降低了软件测试的代价。通过实验发现本文所提出的方法效果较好。

关键词：蚁群算法软件测试变异测试