教学课程资源库 更多>>

关键词： 语义匹配模型   软件测试用例   相似度计算   召回率   准确度  

摘要： 阐述基于语义匹配模型的软件测试用例共享与复用方法，以提高软件测试效率和质量。通过构建软件测试知识库，利用语义相似度从知识库中挖掘相似度最高的测试用例，并根据不同测试项目的需求进行修改与定制，实现测试用例的高效共享与复用。

关键词： 软件测试   模糊测试   网络协议   有限状态机  

摘要： 模糊测试技术能够自动化挖掘软件当中的漏洞,然而目前针对网络协议的模糊测试工具对于协议实现内部状态空间探索有限,导致覆盖率较低.有限状态机技术能够对网络协议实现进行全方位建模,以深入了解网络协议实现的系统行为和内部状态空间.将有限状态机技术和模糊测试技术相结合,提出一种基于有限状态机引导的网络协议模糊测试方法.以广泛使用的TLS协议为研究对象,利用有限状态机学习来对于TLS协议实现进行建模,用来反映协议内部状态空间及其系统行为.随后,基于有限状态机对于TLS协议模糊测试进行引导,使模糊测试的深度更深、覆盖代码更广.为此,实现一个原型系统SNETFuzzer,并且通过一系列对比实验发现SNETFuzzer在覆盖率等重要指标中优于已有工作. SNETFuzzer在实验中成功发现多个漏洞,其中包含两个新漏洞,证明了其实用性和有效性.

关键词： 软件测试   模糊测试   符号执行   测试用例生成  

摘要： C语言广泛应用于操作系统和网络通信等关键领域，因其灵活的内存管理和高效的底层操作性能备受青睐。然而，C语言直接操作内存的特性也使其容易引发安全漏洞，如缓冲区溢出和空指针引用。为此，多种测试方法被开发用于检测和修复C语言程序中的漏洞，包括静态分析、动态分析、模糊测试和符号执行等。静态分析通过在编译时发现潜在问题，动态分析则在程序运行时监控异常行为。模糊测试通过随机生成大量输入，探索程序的不同路径，具有较好的广度覆盖能力。符号执行通过精确解析程序路径和约束，深入探索代码中的逻辑漏洞。但是模糊测试在应对复杂逻辑时容易受限，符号执行会遇到路径爆炸等问题。为克服这些问题，本文提出了一种基于AFL（american fuzzy lop）和Symcc的混合模糊测试方法，结合模糊测试的广度搜索和符号执行的深度分析，能够更高效地检测C语言程序中的漏洞。实验结果表明，该方法显著提升了检测的覆盖率与准确性。

关键词： 遗传算法   自动化测试   测试用例生成   软件质量保证   优化算法  

摘要： 在软件开发过程中,自动化测试用例生成对确保软件质量具有重要意义。传统的测试用例生成方法大多依赖人工编写或基于简单规则的自动化工具,存在测试覆盖率不全、生成效率低下等问题,无法满足现代复杂软件系统的需求。遗传算法作为一种模拟生物进化过程的启发式搜索方法,凭借其全局搜索能力和适应性,成为解决复杂优化问题的有效手段。基于遗传算法提出了一种自动化测试用例生成方法,利用个体的选择、交叉和变异操作,实现对测试用例集的优化迭代。实验结果表明,提出的方法在代码覆盖率、生成时间和资源利用率方面均显著优于传统规则生成和随机测试方法,有效提高了测试的覆盖范围和执行效率,为软件测试的自动化和智能化提供了新思路和支持。

关键词： 大型信息系统   软件测试   研发活动   联合测试  

摘要： 大型信息系统软件的规模庞大,同时结构复杂化程度较高,相关特点加重测试活动的执行压力。在社会对信息系统需求不断上升的过程中,我国信息系统软件结构会继续向大型方向发展,所以当下需要加强对软件测试技术的优化,以便完成大型信息系统软件检测的任务。本文对大型信息系统软件测试技术水平提升的意义进行分析,提供提高测试技术水平的路径,以期为我国大型信息系统软件良性发展提供助力。

关键词： 软件测试   SGAVE项目   CDIO模式   ISTQB认证  

摘要： 随着信息技术的快速发展,软件测试作为保障软件质量的关键环节,其专业人才需求日益增长。文章探讨了中德先进职业教育(SGAVE)合作项目在软件测试人才培养方面的改革实践。针对当前软件测试教育体系中缺乏专业课程体系设置、实践机会不足、校企合作浅层化以及缺乏统一认证体系等问题,中德SGAVE合作项目通过构建“三领域五阶段”课程体系和实施CDIO教学模式,深化了校企合作,引入ISTQB认证,有效提升学生的职业技能和就业竞争力,以期为软件测试人才培养、职业教育改革提供实践案例和经验借鉴。

关键词： 软件测试   虚拟仿真   控制部件   机载软件   测试覆盖率   机电系统   直升机旋翼   测试成本  

摘要： 本文以直升机旋翼折叠系统及其控制的相关软件为对象,设计了一套虚拟仿真联试环境,旨在代替部分实物联试,完成旋翼折叠系统相关控制、显示、部件驱动软件配置项的功能联试,并提高故障工况下的测试覆盖率,提高软件测试效率,降低测试成本。随着直升机各机电系统自动化水平、软件复杂度的不断提升,机载软件的设计和测试面临着越来越严峻的挑战。以直升机旋翼折叠系统为例,该系统涉及多个控制部件,各部件间软件配置项存在复杂的交联,需要进行大量的旋翼折叠系统实物联试验证。

关键词： 软件测试   技术难点   自动化测试   功能测试   性能测试   安全性测试  

摘要： 文章深入探讨了非网络环境下软件测试的技术难点,并针对这些难点提出了具体的应对策略。研究涵盖了功能测试、性能测试、安全性测试、接口测试、边界测试、恢复性测试、人机交互界面测试、余量测试、可靠性、兼容性和安装性测试以及测试覆盖率、应对需求不明确的测试等多个方面。通过采用自动化测试工具,搭建本地测试环境,模拟网络攻击等手段,提升软件测试的全面性和有效性。文章还强调了综合测试的重要性,以确保软件在各种复杂场景下的稳定性和性能。

关键词： 软件测试   基于模型的测试   有限状态机   功能块图  

摘要： 软件测试是保证软件质量的重要手段,软件测试设计的主要方法是人工根据软件需求编写测试用例,效率低并且测试设计的质量难以保证。对此,文章提出了一种基于模型的测试设计方法,其使用有限状态机和功能块图两种方式建立测试模型;研究了功能块图转换为有限状态机的模型转换算法和测试用例自动生成算法;同时,搭建了基于模型的测试设计平台,并在列车牵引控制系统软件测试过程中进行了验证与应用。验证结果表明,相比人工编写测试用例,使用基于模型的测试设计平台提升了约60%的测试设计效率,同时测试设计平台生成的测试用例完全符合MC/DC(modified condition decision coverage)覆盖准则,保证了所生成测试用例的质量。

关键词： 深度神经网络   差分测试   可解释性   软件测试  

摘要： 随着深度神经网络(deep neural network,DNN)的迅猛发展,其在某些特定任务上的准确性已可媲美甚至超过人类.然而,DNN与传统软件一样不可避免地存在缺陷,若将带缺陷的DNN模型应用于安全攸关的领域甚至可能引发严重事故,如何有效检测缺陷DNN模型已成为亟需解决的问题.传统的差分测试方法将测试目标在同一测试输入下的输出结果作为差异分析的依据.然而,即使是相同训练程序和数据重复训练的不同DNN模型在同一测试输入下也常会产生不同的输出结果.因此,不能认为模型输出具有差异的两个模型中存在缺陷模型,基于测试对象输出结果的传统差分测试方法难以直接用于DNN模型的缺陷检测.为解决上述问题,提出基于解释分析的DNN模型差分测试方法IADT(interpretation-analysis-based differential testing),利用解释方法分析DNN模型对于测试输入的行为解释,并使用统计方法分析模型对测试集行为解释的显著性差异来检测缺陷模型.使用真实缺陷模型进行实验的结果表明,解释方法的引入使IADT能有效检测缺陷DNN模型,检测缺陷模型的F1值比DeepCrime高0.8%–6.4%,而所消耗的时间仅为DeepCrime的4.0%–5.4%.