测试用例生成

摘要： 众包测试是一种新兴的软件测试模式,具有测试周期短、测试成本低的优点。但是在众包测试中也存在测试人员水平不一、无法形成规范化测试用例的问题。文章提出一种基于操作记录的GUI软件测试用例生成方法,该方法将测试人员操作记录转化为规范化测试用例。实验结果表明,相对于手工测试生成的测试用例,该方法生成的测试用例在缺陷检测方面有显著的提高。

摘要： 接口测试是软件自动化测试中的重要部分,当前接口测试用例自动生成算法存在资源耗费大、生成的测试用例有效性低等问题,基于此,提出了一种基于鲸鱼优化算法(whale optimization algorithm,WOA)的接口测试用例自动生成算法,首先将接口测试用例自动生成问题建模为旅行商问题(traveling salesman problem,TSP),然后设计合适的最短路径距离计算方式并将其作为适应度函数,最后引入遗传操作对鲸鱼优化算法进行离散化改进以解决测试用例生成问题。通过对比实验分析了算法的优势和有待改进的地方。

摘要： 随着金融科技软件的开发迭代,软件的复杂度日益提升,这将会导致测试套件体量逐渐增大,并出现测试冗余现象.为了有效地对测试冗余因素进行量化和消解,提出了一种最佳覆盖项测试冗余评价指标MVI(Most Valuable Item),以及一种基于MVI指标的测试用例削减算法MVIR(Most Valuable Item Reduction).在实际金融科技软件中的实验结果表明,MVIR能够在测试性能损失小于9.20%的前提下,实现大于89.88%的测试用例削减比例,MVI指标能够有效反映测试套件中的冗余因素大小.

摘要： 提出一种基于报错路径实现测试用例生成来检测LDAP注入攻击的S-OCL方法,分析表明该方法可以及时检测到LDAP注入漏洞,同时配合部署安全防范策略,可以有效拦截针对LDAP的安全攻击。

摘要： 行业工信部:中国牵头的自动驾驶测试场景评价国际标准正式立项9月12日,中国牵头在国际标准化组织(ISO)框架下提出的《道路车辆自动驾驶系统测试场景场景评价与测试用例生成》(ISO 34505)国际标准项目,正式获得立项。ISO 34505标准拟主要规定自动驾驶系统测试场景的评价方法,提出测试场景关键度、复杂度、危险度等功能性评价指标的判定要求,并定义测试用例生成的一般性方法及其必要特征。本标准的立项制定,将填补自动驾驶系统测试场景生成测试用例环节的国际标准空白,推动测试场景国际标准形成完整体系。

摘要： 测试用例自动生成技术旨在降低测试成本,与人工生成测试用例相比,它具有更高的测试效率。现有主流的测试工具对软件中的所有文件都平等对待,但是大多数情况下含有缺陷的文件只占整个软件项目的一小部分。因此,如果测试人员能针对更易存在缺陷的文件进行测试,就能极大地节省测试资源。针对以上问题,文中设计了一种基于主动学习的预测引导的自动化测试工具AutoUnit。首先对待测文件池中的所有文件进行缺陷预测,然后对最“可疑”的文件进行测试用例生成,之后将实际测试用例执行结果反馈给缺陷预测模型并更新该预测模型,最后根据召回率判断是否进入下一轮测试。此外,AutoUnit还能在含缺陷文件总数未知时,通过设置不同的目标召回率来及时停止预测引导。它能依据已测文件来预测含缺陷文件总数并计算当前召回率,判断是否停止预测引导,保证测试效率。实验分析表明,当测得相同数量的缺陷文件时,AutoUnit花费的最短时间为目前主流测试工具的70.9%,最长时间为目前主流测试工具的80.7%;当含缺陷文件总数未知且目标召回率设置为95%时,与最新版本的Evosuite相比,AutoUnit只需要检查29.7%的源代码文件就能达到相同的检测水平,且其测试时间仅为Evosuite的34.6%,极大地降低了测试成本。实验结果表明,该方法有效地提高了测试的效率。

摘要： 针对复杂软件中测试用例难生成问题,提出一种融入聚类和进化算法的软件缺陷测试方法,开发一套智能软件测试系统。首先,对被测程序采用变异测试方法注入缺陷;基于不同策略对缺陷聚类。然后,针对多个缺陷簇,建立测试用例生成问题的优化模型,并采用进化算法生成能检测缺陷的测试用例。最后,基于不同评价指标,完成软件测试报告。测试结果表明,基于测试用例检测缺陷的成功率、缺陷率,以及消耗时间和迭代次数等指标,验证了所提方法提高了检测缺陷检测率、降低了测试的时间及提高了测试用例生成的效率。由此可见,人工智能融于软件测试技术,不仅提升了软件测试效率,而且丰富人工智能应用领域。

摘要： 随着航空航天等应用领域对嵌入式软件要求不断提升,嵌入式软件数量及规模不断增长,然而嵌入式软件测试一直以来都面临着严峻的挑战.相比于运行在普通计算机上的软件,嵌入式软件在系统环境、测试方式等方面有较大不同,嵌入式软件测试逐渐成为软件测试领域的一个研究热点.汇总了近十年嵌入式软件测试相关的研究文献,将文献分为测试环境、测试平台、自动化测试、测试用例生成、测试技术与方法五个方面,对其中重要的工作进行了详细的分析与阐述.总结了嵌入式软件测试需要克服的难题,并对嵌入式测试的发展趋势进行了展望.

摘要： 现代安全关键性系统的软件规模和复杂性的快速增长给这类安全关键性软件系统的开发带来了很多挑战.传统文本文档的需求描述方法无法保证此类系统的开发进度和系统可靠性要求.为此文中提出了一种兼具可读性和可自动分析的形式化表格需求建模方法.文中介绍了一种针对这种表格模型测试用例的自动生成方法,工作包括对该形式化需求表格模型展开语义分析,建立需求模型的控制树结构,得到其测试等价类;为了减少不必要的测试,定义了不同安全级别的软件需求模型的测试覆盖标准,并针对不同覆盖率准则分别给出基于控制树结构的测试路径约束选择方法;对于每条路径约束测试等价类,提出了基于域错误的测试用例选择方法,能够自动生成所需的检测域错误的测试用例集.最后,通过一个需求模型实例展示了所提方法的有效性.

摘要： 高速磁悬浮中央控制子系统是列车安全运行的重要保证,在投入使用前必须进行系统测试验证.针对中央控制子系统测试未形成比较系统的测试用例的问题,提出了基于UML模型的测试用例生成方法,基于提取的系统功能特征,对中央控制子系统的运行场景进行划分,并分别使用UML中的用例图、状态图、活动图和顺序图对系统运行过程进行建模,最终依据建模图生成测试用例,并将测试用例在搭建的半实物实验室测试平台中进行执行.结果表明,生成的测试用例可以充分地模拟出运行现场所可能出现的各种常见情况,有效提升系统测试质量.

摘要： 测试用例的生成是测试的核心问题。对于图形用户界面软件而言，功能的实现是通过复杂的人机交互完成的，目前的测试用例生成方法也常常只考虑软件的界面信息，而不考虑软件的具体需求和逻辑实现流程，这就导致产生的测试用例随意性较大，测试过程难以有序进行。本文针对图形用户界面软件的功能测试，提出了一种基于数据流图的测试用例生成方法，以业务处理中数据的流向来描述业务流程，生成测试用例。该方法能够生成有效的测试用例，更全面地测试GUI软件功能，并便于定位错误。

摘要： 两两组合覆盖测试已被作为一种实际而有效的方法应用于软件测试中。目前国内外对两两组合覆盖测试用例生成方法已有了广泛的研究。为了便于分析现有生成方法时，本文首先提出先将两两组合覆盖问题转换成图型问题，简便了分析过程。本文在研究中发现IPO算法以参数为对象，在每次扩展时都能保持测试用例的最优化，具有很好的扩展性。但是，由于其灵活性，造成了它的不稳定性。本文通过实验研究了影响其稳定性的三个因素：测试用例水平扩展次序的问题、测试用例覆盖两两组合个数安排的问题和待扩展参数扩展次序的问题。针对上述因素提出了一种以IPO算法思想为基础的混合IPO算法(HIPO算法)。HIPO算法继承IPO算法高可扩展性的优点，引入测试用例贡献度的概念，采用优先排序、最小化算法等方法，以此弥补了IPO算法的不足。最后本文利用．Net技术实现了一个基于该方法的测试用例生成工具，并在初步实验中证明了HIPO算法是有效的。

摘要： Android应用自动化测试是应用质量保证的重要手段.针对目前传统Android应用自动化测试方法存在的自动化率和测试用例生成效率较低且应用异常发现能力较弱的问题,本文提出了基于粒子群优化算法的Android应用自动化测试方法--PSOA(Particle Swarm Optimization For Android)方法.PSOA方法主要分为三个部分:控件信息获取、测试方法模块化、测试用例生成与基于粒子群优化算法的测试数据优化.实验结果表明,与传统自动化测试方法相比,PSOA方法能够有效提高异常发现能力、测试用例生成效率和自动化率.

摘要： 组合测试对于大多数软件系统的测试都是实用和有效的。本文中作者深入剖析当前国内外两两组合覆盖测试方面的研究现状，系统分析和比较了六种主要算法，并对其性能进行评估，最终得出每种算法的性能优劣及适用条件，为后续的研究与应用奠定基础。

摘要： 提出一套用于分布式系统综合集成测试技术的方案,以系统软件配置项为对象来实现典型应用场景的建模,通过解析顺序图文件实现基于应用场景模型的测试用例生成和测试流程的定义,建立分布式系统的测试开发、设计环境,提供了在实验室环境和实际运行环境下支持测试过程自动化协同执行的分布式测试框架技术,给出了性能测试的解决方案,在该平台下能够进行分布式系统的用例设计及多种测试类型的即插即用和测试结果的诊断分析.

摘要： 组合测试用例生成问题是组合测试研究的一个重点.在一些关键应用领域,常用的两两组合测试往往难以满足可靠性方面的要求,可能需要进行更高强度的N(N＞2)维组合测试.本文在one-test-at-a-time策略的基础上,对已有的DDA算法进行扩展,提出一种基于密度的N维组合测试用例生成算法。试验表明,该算法可以生成规模较小的测试用例集.

摘要： 随着云计算和大数据技术的广泛运用,集中式密钥管理服务应用愈加广泛,作为企业最佳实践的密钥管理互操作协议(KMIP)是保证密钥管理互操性关键.本文在对协议符合性测试方法的研究以及KMIP分析基础之上,提出基于KMIP密钥对象生命周期状态转化自动机,自动化完成符合性测试用例集生成、测试和结果自动判断方法和机制.在此基础上以OracleKey Vault作为测试部署对象,对实现的KMIP协议符合性测试工具的使用操作过程进行了展示,并使用部署获得的测试结果,验证了KMIP协议符合性测试过程设计的有效性.

摘要： 随着云计算和大数据技术的广泛运用,集中式密钥管理服务应用愈加广泛,作为企业最佳实践的密钥管理互操作协议(KMIP)是保证密钥管理互操性关键.本文在对协议符合性测试方法的研究以及KMIP分析基础之上,提出基于KMIP密钥对象生命周期状态转化自动机,自动化完成符合性测试用例集生成、测试和结果自动判断方法和机制.在此基础上以OracleKey Vault作为测试部署对象,对实现的KMIP协议符合性测试工具的使用操作过程进行了展示,并使用部署获得的测试结果,验证了KMIP协议符合性测试过程设计的有效性.

摘要： 随着云计算和大数据技术的广泛运用,集中式密钥管理服务应用愈加广泛,作为企业最佳实践的密钥管理互操作协议(KMIP)是保证密钥管理互操性关键.本文在对协议符合性测试方法的研究以及KMIP分析基础之上,提出基于KMIP密钥对象生命周期状态转化自动机,自动化完成符合性测试用例集生成、测试和结果自动判断方法和机制.在此基础上以OracleKey Vault作为测试部署对象,对实现的KMIP协议符合性测试工具的使用操作过程进行了展示,并使用部署获得的测试结果,验证了KMIP协议符合性测试过程设计的有效性.

摘要： 随着云计算和大数据技术的广泛运用,集中式密钥管理服务应用愈加广泛,作为企业最佳实践的密钥管理互操作协议(KMIP)是保证密钥管理互操性关键.本文在对协议符合性测试方法的研究以及KMIP分析基础之上,提出基于KMIP密钥对象生命周期状态转化自动机,自动化完成符合性测试用例集生成、测试和结果自动判断方法和机制.在此基础上以OracleKey Vault作为测试部署对象,对实现的KMIP协议符合性测试工具的使用操作过程进行了展示,并使用部署获得的测试结果,验证了KMIP协议符合性测试过程设计的有效性.

摘要： 在存储有作为从1步到(i‑1)步的测试用例的第(i‑1)测试用例的情况下，生成控制部(130)选择使用第(i‑1)测试用例来生成作为从1步到i步的测试用例的第i测试用例的第1生成方式(M1)。测试生成部(170)按照第1生成方式(M1)，在保持着基于第(i‑1)测试用例的执行的(i‑1)步的结束时刻的内部状态的状态下，生成执行第i步的测试用例。测试生成部(170)通过连结第(i‑1)测试用例和第i步的测试用例，生成第i测试用例。

摘要： 本发明公开了一种测试用例的生成方法，包括以下步骤：提供多个测试功能模板，并将当前选中的所述测试功能模板作为目标测试功能模板；获取基于所述目标测试功能模板输入的目标输入数据和目标数据；根据所述目标测试功能模板关联的测试规则、所述目标输入数据和所述目标数据，生成服务器的测试用例。本发明还公开了一种测试用例的生成装置以及计算机可读存储介质。本发明提高了服务器的测试用例的生成效率。

摘要： 本发明公开了一种测试用例生成方法和测试用例生成装置。根据本发明的一个具体实例的测试用例生成方法包括：针对用不同编程语言编写的源代码，分别构建相应源代码中的函数之间的关系图；检测所述用不同编程语言编写的源代码之间的连接信息；根据所述连接信息将所述关系图连接以生成连接图；遍历所述连接图以生成组合路径约束表达式；符号执行所述源代码中的每一个函数，以根据所述组合路径约束表达式生成具体组合路径约束；以及对具体组合路径约束进行求解，以生成测试用例。

摘要： 本发明提供一种测试用例生成方法及测试用例生成装置。根据软件规范生成囊括了该软件规范上能够输出的值的测试用例。接收软件规范，根据该软件规范生成包含针对该软件的测试输入值、以及将所述测试输入值作为输入来执行所述软件时期望作为输出值而获得的期望输出值的测试用例，确认所述软件规范上能够输出的值是否包含在所述期望输出值中，当所述确认的结果是判断为软件规范上能够输出的值不包含在所述期望输出值中时，生成由所述软件规范上能够输出的值和与其对应的测试输入值构成的测试用例，并添加到所述生成的测试用例中。

摘要： 本发明公开了一种测试用例生成方法和装置，显示测试用例的方法和装置，测试用例生成方法包括：获取本地需求文档，提取关键词、关键词的条件、预期结果，并分别置入用例事件表；定位代码文档中的模块功能函数方法，获取函数方法名和函数参数，并分别置入代码文档用例表中；从用例事件表提取关键词的条件，确定出大于、小于、等于所述关键词条件的区间内的随机条件；针对每组函数参数的赋值，将关键词的随机条件进行正交排序，得到正交表对象数组；筛选出与用例预期结果匹配的、正交表对象数组中的测试用例，组成测试用例集合。根据本发明技术方案，能够自动生成测试用例，有助于提高测试工作效率、缩短产品上线周期。

摘要： 测试用例生成装置(10)对在每次被输入值时执行1个步骤的处理的软件即测试对象软件进行分析，生成为了测试该软件而输入的值的序列作为测试用例。此时，当关于状态变量，执行共用状态变量的多个步骤中的任意1个步骤的处理后的值和执行另1个步骤的处理后的值相等的情况下，等效步骤检査部(19)判定为这2个步骤是等效步骤。测试用例生成部(20)将由等效步骤检査部(19)判定为等效步骤的2个步骤中的一方排除，对测试对象软件进行分析而生成测试用例中包含的值。

摘要： 本发明公开了一种测试用例生成方法和测试用例生成装置。根据本发明的一个具体实例的测试用例生成方法包括：针对用不同编程语言编写的源代码，分别构建相应源代码中的函数之间的关系图；检测所述用不同编程语言编写的源代码之间的连接信息；根据所述连接信息将所述关系图连接以生成连接图；遍历所述连接图以生成组合路径约束表达式；符号执行所述源代码中的每一个函数，以根据所述组合路径约束表达式生成具体组合路径约束；以及对具体组合路径约束进行求解，以生成测试用例。

摘要： 测试用例生成装置(10)将多个输入条件(31)、多个输出条件(32)、以及通过基于软件构造的试验方法确认处理到达的多个到达点的各组合作为对象样式，判定是否能够生成测试用例(36)，该测试用例(36)是能够同时确认对象样式中的作为输入条件(31)和输出条件(32)的对的输入输出条件以及到达点的输入信号和输出信号的值。由此，测试用例生成装置(10)确定能够确认输入条件(31)中的各输入条件(31)、输出条件(32)中的各输出条件(32)、和到达点中的各到达点的测试用例(36)的组。

摘要： 本发明提供一种测试用例生成方法及测试用例生成装置。根据软件规范生成囊括了该软件规范上能够输出的值的测试用例。接收软件规范，根据该软件规范生成包含针对该软件的测试输入值、以及将所述测试输入值作为输入来执行所述软件时期望作为输出值而获得的期望输出值的测试用例，确认所述软件规范上能够输出的值是否包含在所述期望输出值中，当所述确认的结果是判断为软件规范上能够输出的值不包含在所述期望输出值中时，生成由所述软件规范上能够输出的值和与其对应的测试输入值构成的测试用例，并添加到所述生成的测试用例中。

摘要： 本发明公开了一种测试用例生成方法和装置，显示测试用例的方法和装置，测试用例生成方法包括：获取本地需求文档，提取关键词、关键词的条件、预期结果，并分别置入用例事件表；定位代码文档中的模块功能函数方法，获取函数方法名和函数参数，并分别置入代码文档用例表中；从用例事件表提取关键词的条件，确定出大于、小于、等于所述关键词条件的区间内的随机条件；针对每组函数参数的赋值，将关键词的随机条件进行正交排序，得到正交表对象数组；筛选出与用例预期结果匹配的、正交表对象数组中的测试用例，组成测试用例集合。根据本发明技术方案，能够自动生成测试用例，有助于提高测试工作效率、缩短产品上线周期。