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