检索结果-内蒙古大学图书馆

软件学报 2015年第2期26卷 269-278页

作者：陈鑫姜鹏张一帆黄超周岩计算机软件新技术国家重点实验室(南京大学) 江苏南京210023 南京大学计算机科学与技术系江苏南京210023

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生... 详细信息

列车控制系统是一种安全攸关系统,为保证其安全性,要求测试过程对安全攸关场景中所有可能的运行进行完全的覆盖.现有的场景建模与测试用例自动生成方法不能完全满足这一技术需求.围绕列车控制系统的安全攸关场景建模以及测试用例自动生成方法展开研究,对UML活动图扩充了事件驱动机制和时间特性描述机制,以满足对安全攸关场景建模的需要,提出了简单路径覆盖准则以定义对场景中所有运行的完全覆盖,并针对这一覆盖准则给出了自动生成测试用例的方法.以地铁列车控制系统为研究对象展开实验,表明了该方法的有效性和局限性.

关键词：安全攸关场景场景建模简单路径覆盖测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

测试用例自动生成算法在车载ATP中的研究与应用

测试用例自动生成算法在车载ATP中的研究与应用

引用

作者：雷小玲北京交通大学

学位级别：硕士

为确保列车运行安全,提高运输效率并增强市场竞争力,铁路部门提出了发展适于我国国情的CTCS(Chinese Train Control System)系统策略。目前关于CTCS-3级列控系统的研究正在逐步进行和完善之中。作为一个安全苛求的铁路控制系统,CTCS必... 详细信息

为确保列车运行安全,提高运输效率并增强市场竞争力,铁路部门提出了发展适于我国国情的CTCS(Chinese Train Control System)系统策略。目前关于CTCS-3级列控系统的研究正在逐步进行和完善之中。作为一个安全苛求的铁路控制系统,CTCS必须要进行一系列完整功能的测试,以确保对系统的全面验证。功能测试是确保系统安全最重要的部分,其目的在于验证系统是否满足需求规范。作为整个列车的控制核心,车载子系统功能测试的重要性也就不言而喻。测试是一项非常耗时的工程,恰当的测试方法可以提高测试效率。测试用例是测试全部过程的核心,同时也是测试执行环节的基本依据。测试自动化的趋势使得测试用例自动生成成为该领域的关键问题与难题之一。由于不同的测试数据发现错误的能力存在很大差异,为了提高测试效率降低测试成本,应该选用高效的测试数据。因此,本文主要针对CTCS-3级车载ATP(Automatic Train Protection)子系统的测试方法和测试用例自动生成展开研究。本文首先从传统测试理论出发,分析了这些测试手段自身的优点与不足。由于单纯的黑盒测试和白盒测试各自的不完备性,选用混合测试方法对两者进行优势互补,并详细阐述了混合测试方法的原理和具体实施过程。选取混合测试方法所体现出的逐步测试思路为测试用例的良好设计提供了基础。其次,研究了混合测试方法下的测试用例自动生成技术。经验和实践表明,两两组合覆盖测试是一种实际而有效的用例生成方法。所以本文结合测试领域组合覆盖的思想,重点研究了基于网络模型两两覆盖的组合测试用例自动生成算法,并就参数排序策略对该算法性能的影响进行了分析与评价,进而提出了相应的解决措施。最后,以CTCS-3级车载ATP子系统为研究对象,对其被测功能进行了需求分析。基于车载ATP速度监督功能的测试需求,在不同工作模式下对被测功能进行了层次划分;在一定的参数选择及排序策略下,利用组合测试用例自动生成算法完成了不同模式、层次的测试用例自动生成及约减,以及所生成用例的管理及维护等。用例生成结果表明,在恰当的参数选取及排序策略下,本文所述测试用例自动生成算法能够在保证测试覆盖率的同时具备较高的用例约减率,该方法将对提高测试效率具有重要的积极意义。

关键词： CTCS-3 车载ATP 混合测试方法组合测试测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

测试用例自动生成中人工智能的应用研究

测试用例自动生成中人工智能的应用研究

引用

作者：张博北京邮电大学

学位级别：硕士

测试用例自动生成问题作为软件测试中的一个基本问题,解决测试用例自动生成问题对软件测试中的覆盖率测试尤为重要。另外,人工智能技术作为最前沿的技术之一,可以被应用到各种领域中。应用人工智能技术到代码测试中的测试用例生成问题,... 详细信息

测试用例自动生成问题作为软件测试中的一个基本问题,解决测试用例自动生成问题对软件测试中的覆盖率测试尤为重要。另外,人工智能技术作为最前沿的技术之一,可以被应用到各种领域中。应用人工智能技术到代码测试中的测试用例生成问题,用于改善测试效率极具可行性和重要性。针对上述问题,本文应用人工智能中机器学习和启发式搜索的技术到测试用例生成问题中。本文的研究内容主要分为三部分:第一部分基于机器学习中人工神经网络的技术实现了预测测试用例时间的功能。该研究首先确定影响测试用例生成的因素是与代码度量相关的指标,接着通过自动化测试工具统计该指标,生成数据集。最后通过实验对模型中的参数进行修正和确认,实验证明模型对测试用例生成时间的预测准确度超过80%。该策略可以帮助测试人员在代码覆盖率测试时提前获得测试的进度,了解每个函数、文件和工程进行测试所需要的时间,从而确定测试过程的工作量。第二部分应用强化学习的技术,利用其模拟人类利用经验进行决策的能力指导测试用例的自动生成。该方法对约束求解中变量运算的过程进行抽象建模,模型实现了对约束集合的智能求解。即选择合适的变量并选择合适的动作进行运算。通过实验证明了该策略的可行性,并确认该方法可以生成正确的测试用例。另外,实验对比不加入强化学习策略的测试用例生成方法中变量的运算次数,证明了该策略在减少变量计算次数的可行性。第三部分是对基于分支限界的测试用例生成框架进行完善,分支限界测试用例生成框架是人工智能搜索算法的应用,该部分研究提出了一种针对测试用例生成中的等式约束条件的处理策略。通过对包含等式和不等式约束的被测程序进行测试,证明该策略可以提高测试用例生成的效率并检测出由等式无解所造成的不可达路径。作者基于代码测试系统(CodeTest System,CTS)对上述三种策略进行开发和测试。应用研究的目的在于改善CTS的测试效率。通过设计的实验可以验证这三种策略在改善测试用例生成上的可行性。

关键词：测试用例自动生成神经网络强化学习分支限界

来源：评论

学校读者我要写书评

暂无评论

测试用例自动生成算法设计及自动化测试平台构建

测试用例自动生成算法设计及自动化测试平台构建

引用

作者：梁卓杰北京交通大学

学位级别：硕士

随着软件系统的复杂性和规模的增长,测试需要越来越多的时间和人力,软件测试所需要的成本占据着整个项目开发成本的40%到50%,所以如何降低测试成本,提高测试效率受到了人们的广泛关注。然而传统的测试方法是基于人工操作的,效率极其低下... 详细信息

随着软件系统的复杂性和规模的增长,测试需要越来越多的时间和人力,软件测试所需要的成本占据着整个项目开发成本的40%到50%,所以如何降低测试成本,提高测试效率受到了人们的广泛关注。然而传统的测试方法是基于人工操作的,效率极其低下,成本高昂,且没有办法满足规模庞大功能复杂的软件的测试要求。测试过程主要由测试用例生成、测试执行和测试评估三个部分组成。与其他两部分相比,测试用例的生成更具挑战性和难度。本文主要针对测试用例生成部分展开研究,以达到提高测试质量,降低人工成本的目的。UML活动图描述了活动的顺序或并发控制流,它们可以用来建模一组对象的动态方面,或者操作的控制流,UML活动图可以用作驱动测试用例生成的模型。而遗传算法以其简单、有效的特点被选为优化技术,将遗传算法应用到软件测试方面也是一个研究热点。基于模型的回归测试更是确保软件开发可靠性的一项重要活动。本文以测试用例自动生成和回归测试用例选取为核心,先从活动图的形式化定义开始,研究了活动图的建立规则以及活动图中对循环结构和并发结构的处理,接着比对现有的测试用例生成算法,提出了UML活动图和遗传算法相结合的测试用例生成方法;主要过程是:首先使用UML活动图模型对系统建模,将建立好的活动图模型转化为有向图,最后使用遗传算法遍历有向图生成测试用例。另外,对于回归测试用例生成方面,本文提出一种模型比对的方法,从测试用例库中选择可重测的用例,首先对新版本的被测系统建立新的活动图模型,然后将新版本活动图模型与老版本活动图模型相比较,通过对节点的分类、路径的分类、用例的分类来挑选生成回归测试用例。最后本文设计实现了测试用例、回归测试用例自动生成系统,与人工测试相比,降低了测试成本,提升了测试用例覆盖范围、能准确找到回归测试影响范围,提高了软件测试的质量。

关键词： UML建模测试用例自动生成遗传算法回归测试测试用例分类

来源：评论

学校读者我要写书评

暂无评论

基于UML状态图的测试用例自动生成方法

引用

华东理工大学学报（自然科学版） 2011年第3期37卷 346-351页

作者：杨晶顾春华华东理工大学信息科学与工程学院上海200237

随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记... 详细信息

随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试用例生成方法的基础上,提出了采用函数最小化思想,依据边界测试准则生成测试数据,采用深度优先策略及记忆化搜索高效地生成测试用例。实验结果显示该方法能以较少的测试用例达到较高的路径覆盖率。

关键词： UML状态图函数最小化测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

ATCase:一个基于多项式约束求解的数值程序测试用例自动生成工具

引用

系统科学与数学 2017年第7期37卷 1704-1721页

作者：王砺磊曾霞林望陈鑫杨争峰华东师范大学上海市高可信计算重点实验室上海200062 温州大学数学与信息科学学院温州325035 中国科学院数学与系统科学研究院数学机械化重点实验室北京100190 南京大学计算机软件新技术国家重点实验室南京210023

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复... 详细信息

现有的基于符号执行的测试用例自动生成技术存在不足之处:由于精度限制和非线性约束求解的复杂性,符号执行在遇到复杂的非线性浮点约束时效果并不理想.针对这一现状,给出了一个基于多项式约束求解和区间验证的测试用例生成算法.对于复杂非线性约束难以求解的问题,采用基于低秩矩量矩阵恢复的多项式系统求解方法,该方法对于含有等式和不等式的多项式系统,相较于其他方法求解速度更快,更适合大规模问题的求解;对于浮点约束求解不准确的问题,采用基于区间分析的验证算法来计算包含精确实解的区间,基于该区间给出测试用例,可以避免浮点计算的不准确和异常.结合该算法和符号执行工具KLEE-FP实现了一个测试用例自动生成工具ATCase(automatically generate test case),它能够分析数值程序中的路径并自动生成满足路径约束的测试用例.在两个开源软件库中的2两个复杂的真实程序上运行的实验结果表明ATCase相比KLEE-FP所使用的STP求解器,能快速生成具有更高覆盖率的测试用例,特别是在处理相对复杂的非线性约束时,优势更加明显.

关键词：测试用例自动生成符号执行多项式系统实根求解低秩矩量矩阵恢复.

来源：评论

学校读者我要写书评

暂无评论

基于DSG模型的测试用例自动生成方法

引用

小型微型计算机系统 2015年第11期36卷 2510-2514页

作者：李立刚侯胜坤戴永寿李隆浩王亚龙中国石油大学(华东)信息与控制工程学院山东青岛266580 山东新华医疗股份有限公司山东淄博255086

传统的基于程序的测试用例生成方法在大中型软件测试应用中存在着多种问题,如用例覆盖不全面、测试周期长、质量差等.为解决以上问题,本文提出了一种基于有向序列图(Directed sequence graph,DSG)模型的测试用例自动生成方法,以实现高... 详细信息

传统的基于程序的测试用例生成方法在大中型软件测试应用中存在着多种问题,如用例覆盖不全面、测试周期长、质量差等.为解决以上问题,本文提出了一种基于有向序列图(Directed sequence graph,DSG)模型的测试用例自动生成方法,以实现高质量、高覆盖率测试用例的自动生成.该方法以UML序列图模型为基础,定义了与其等效的形式化DSG模型,并提出一种UM L序列图模型到DSG模型的自动转换算法,基于转换得到的DSG模型,采用逐层递进的遍历方式获取所有测试路径以生成测试用例.在某系统软件中的测试应用结果表明,该方法可有效生成测试用例,并且具有较高的测试效率和测试覆盖率.

关键词： UML序列图有向序列图软件测试测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

基于UML活动图的测试用例自动生成方法研究

引用

计算机应用 2006年第4期26卷 844-846页

作者：牟凯顾明清华大学软件学院北京100084

基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发活动的顺序及排列,引入人机动态交互的方法在测试场景生成算法上加以约束,避免了测试场景集数量爆炸,使... 详细信息

基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发活动的顺序及排列,引入人机动态交互的方法在测试场景生成算法上加以约束,避免了测试场景集数量爆炸,使自动化生成测试用例可行性有一定提高。最后,讨论了从测试场景到测试用例的方法,从而为UML活动图的自动化测试提供了系统的、有效的、可行的方法。

关键词： UML活动图测试场景测试用例自动生成

来源：评论

学校读者我要写书评

暂无评论

面向安全苛求软件的测试用例自动生成

引用

计算机应用研究 2009年第1期26卷 140-142,174页

作者：章文婷徐中伟喻刚同济大学电子与信息工程学院信通系上海201804

测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节... 详细信息

测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应用安全覆盖准则的安全苛求软件的测试用例自动生成策略,将该策略应用于铁路车站计算机连锁软件,并与全节点覆盖准则进行了比较。结果表明该策略对关键变迁有更高的安全性保证。

关键词：安全苛求软件测试用例自动生成安全覆盖准则

来源：评论

学校读者我要写书评

暂无评论

面向安全需求的测试用例自动生成技术研究

引用

计算机工程与应用 2009年第28期45卷 75-78页

作者：周绍君徐中伟喻钢李弋强吴剑同济大学电子与信息工程学院上海201804 上海大学悉尼工商学院上海201800

传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例... 详细信息

传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,建立带有安全因子的UML顺序图,采用最小安全因子路径,提出了基于最小安全因子路径完全覆盖准则的测试用例自动生成算法,并将其成功应用到高速铁路列车运行控制系统的仿真测试中。

关键词： UML顺序图安全因子最小安全因子路径测试用例自动生成安全苛求系统

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：