测试用例自动生成相关论文
本文提出一种基于B/S架构的测试用例自动生成软件的设计方案，用户通过Web界面，可以快速准确的得到满足结构覆盖度要求的测试用例，以提......
重入性漏洞在智能合约中普遍存在,可能造成巨大的经济损失.现有的基于符号执行的静态分析工具通过预设的规则判断漏洞是否存在,然......
为了保证软件质量，在开发过程中引入了多种软件测试技术，需要手工构造大量的测试用例，覆盖软件的功能点。但是手工构造测试用例，工作效......
生成测试用例是软件测试的必要前提,路径覆盖测试用例自动生成（ATCG-PC）作为一种智能化软件测试技术,是提高软件测试效率的有效途径......
软件测试方法与技术是提高软件质量的保证.近年来,软件开发工具包(SDK)的自动化测试方法研究已经成为软件测试领域的热点.这类软件......
软件测试贯穿于软件定义与开发的整个期间即整个软件开发过程中.为保证软件开发各阶段的一致性,软件测试的主要依据应该来自于软件......
随着软件规模的不断扩大，软件错误也越来越容易产生。尽早地检测软件中的错误是软件开发过程中的一个重要任务，也是降低软件开发成本......
随着GUl在人机交互中的广泛应用，GUI的结构也越来越复杂了。这种日益增加的复杂性使得软件的GUI和软件本身的测试工作更加困难。 ......
测试用例生成作为软件测试最为关键的环节，它是需要耗费大量的劳动力和时间的步骤，因此对于测试用例的自动生成已经成为了一种迫切的......
软件测试技术是保障软件质量和可靠性最重要的手段,测试用例的自动生成技术可以有效降低测试开销,提高测试效率,是近年来软件工程......
测试是软件开发过程中的重要环节,是工业界常用的质量保障手段。为满足测试充分覆盖的要求,测试人员需要花费大量的时间和精力来设......
近年来,各类应用软件层出不穷,软件开发规模越来越庞大,软件测试前期的准备工作作为软件正式投入使用前,保证软件高质量和高可靠性......
近年来,我国的互联网产业正飞速发展,其中移动互联网所占比例正逐渐增加,移动终端软件在很大的程度上推动了经济与社会的发展。然......
软件测试是运行或测定软件系统的过程,是保障软件质量的重要手段。近年来,软件测试自动化得到了快速的发展,但测试用例的自动生成......
测试用例自动生成是软件测试实现自动化的前提和基础。本文针对软件结构测试的用例自动生成问题，首先选择基本路径覆盖作为测试......
为确保列车运行安全,提高运输效率并增强市场竞争力,铁路部门提出了发展适于我国国情的CTCS(Chinese Train Control System)系统策......
安全苛求软件通常指应用在医疗、轨道交通、航空航天等场合的软件,往往复杂度很高而且有着严格的质量要求,它们一旦发生故障则可能......
测试用例自动生成是软件自动化测试的基础与关键.本文实现了基于规则引擎的自动测试用例生成技术.探讨了相应的测试覆盖准则,分析......
Web服务(Web services)已成为当前和未来网络分布式应用的主流软件开发技术.如何确保Web服务软件的质量和可靠性是当前软件工程领......
测试用例自动生成是提高软件测试效率的重要手段。针对传统遗传算法的测试用例自动生成方法存在早熟收敛、迭代后期种群多样性降低......
代码优化是编译器的重要阶段,是编译技术的研究重点。优化算法复杂度高,需要有效地测试用例生成方法对其进行充分的测试。提出了一......
软件测试是保证软件质量的一种有效手段,然而业内目前仍以人工测试为主。为了提高软件测试的自动化程度和测试效率,文章主要对软件......
在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性......
软件回归测试一般使用现有的测试用例集进行测试,如何有效利用这些用例成为回归测试的关键。研究自动对现有测试用例集的扩展,包括......
测试用例的自动生成是验证安全苛求软件最关键的技术问题,然而目前的研究并没有充分考虑安全苛求软件的安全性需求,为此提出一种应......
随着UML建模在软件开发中的广泛应用,基于状态图的测试用例自动生成方法逐渐成为规格说明测试中的重要研究方向。在研究了现有测试......
现有的研究在对UML状态图生成测试用例时,为简化问题而忽略了对伪状态的支持。针对这一问题,首先对UML状态图的伪状态概念进行分析......
采用传统智能优化算法进行测试用例自动生成已经取得一定研究成果,但是还存在算法效率不高的问题.花朵授粉算法是新发现的一种群体......
Web服务(Web services)已成为当前和未来网络分布式应用的主流软件开发技术。如何确保Web服务软件的质量和可靠性是当前软件工程领......
对信息物理融合系统中的安全攸关场景进行有效的测试是提高系统安全性的重要手段。如何对安全攸关场景进行建模以完整准确地刻画系......
软件测试是确保软件质量的重要手段。然而随着软件结构和功能的日益多样化，软件测试的复杂度和成本大为提高。测试用例自动生成技术......
传统的测试用例生成技术通常都是面向系统功能性需求,并不适用于安全苛求软件系统的安全性测试。面向安全需求,通过定义安全因子,......
以人工智能中智能规划方法为基础,对军用软件测试用例自动生成技术进行了研究。现有的许多规划器都不能避免组合爆炸问题的发生,而......
遗传算法（Genedc Algorithms，简称GA）有良好的全局搜索能力，针对该算法对于局部空间的搜索问题不是很有效，易陷入“早熟”（过早收敛），在局......
针对粒子群优化算法在软件测试用例自动生成过程中存在后期收敛速度慢、易陷入局部最优及求解精度低的问题，基于约简的自适应混沌粒......
作为保证网格服务质量的重要技术手段,网格测试已成为网格研究的热点内容之一.由于测试策略中"黑盒"与"白盒"的不同,网格测试的框......
复杂应用系统通常分成多个子系统联合工作,子系统之间接口的正确性和一致性对整个软件系统的工作起着至关重要的作用。由于接口类......
在软件测试中，测试用例的自动生成问题近来是一个研究的热点，基于代码的测试用例的自动生成技术目前已很成熟，但基于过程模型的测试用......
编写SQL语句是测试数据库管理系统的一个重要部分。自动生成SQL语句可以有效减少测试人员的工作量,而目前没有直接生成SQL语句的自......
测试用例自动生成是软件自动化测试的基础与关键。随着UML的广泛应用，基于UML模型的测试用例自动生成技术日益受到关注。本文实现了......
软件标准符合性测试,是检测软件与标准的符合程度。行业标准随着行业发展不断变化,软件标准符合性测试的工作变得尤为重要,测试用......
基于UML活动图对系统测试的方法进行研究。针对活动图半形式化特性,给出了活动图的形式化描述及测试覆盖准则的定义。重点分析并发......
随着生活中各类软件产品的迅速发展,人们对软件质量的要求也在不断提高。软件质量是通过软件测试相关技术来保障。其中,测试用例的......
条件判定覆盖(condition/decision coverage,简称C/DC)准则是各种安全攸关软件测试中常用的测试覆盖准则,它要求软件测试覆盖程序......
作为保证网格服务质量的重要技术手段，网格测试已成为网格研究的热点内容之一．而软件测试的核心与关键则是测试用例的生成问题，测试用......
在互联网技术不断发展的今天,网络应用已经深入人们的日常工作学习中,可以说互联网应用改变着人们的生活。人类通过互联网解决问题......
自动化单元测试是现代软件开发研究的热点。Randoop自动化单元测试用例生成工具针对Java和.NET代码,基于反馈指导随机生成测试用例......
基于模型的测试用例生成方法已经被软件行业所接受。这种方法的优点在于可以及早地发现缺陷,减少软件开发的时间等等。现在,研究者......
