教学课程资源库 更多>>

关键词： 软件测试   路径规划算法   动态随机测试   快速扩展随机树生成算法   测试剖面生成  

摘要： 智能体路径规划算法旨在规划某个智能体的行为轨迹,使其在不碰到障碍物的情况下安全且高效地从起始点到达目标点.目前智能体路径规划算法已经被广泛应用到各种重要的物理信息系统中,因此在实际投入使用前对算法进行测试,以评估其性能是否满足需求就非常重要.然而,作为路径规划算法的输入,任务空间中威胁障碍物的分布形式复杂且多样.此外,路径规划算法在为每个测试用例规划路径时,通常需要较高的运行代价.为了提升路径规划算法的测试效率,将动态随机测试思想引入到路径规划算法中,提出了面向智能体路径规划算法的动态随机测试方法(dynamic random testing approach for intelligent agent path planning algorithms,DRT-PP).具体来说,DRT-PP对路径规划任务空间进行离散划分,并在每个子区域内引入威胁生成概率,进而构建测试剖面,该测试剖面可以作为测试策略在测试用例生成过程中使用.此外,DRT-PP在测试过程中通过动态调整测试剖面,使其逐渐优化,从而提升测试效率.实验结果显示,与随机测试及自适应随机测试相比,DRT-PP方法能够在保证测试用例多样性的同时,生成更多能够暴露被测算法性能缺陷的测试用例.

关键词： 软件测试   测试用例   自动化测试   路径测试   功能测试   自然语言处理  

摘要： 研究首先介绍测试用例自动化生成在DevOps中的重要性,然后检验代码中错误和存在缺陷的路径测试用例生成、检验功能性错误和存在缺陷的功能测试用例生成两个方面详细展开对测试用例自动化生成方法的介绍。通过对前人研究方法的学习与比较,总结出一些在特定情况下较为有效的生成方法,并提出测试用例自动化生成方法在今后的发展前景与挑战。

关键词： 软件测试   技能大赛   课程改革  

摘要： 软件测试是保证软件质量的关键环节。在信息化高速发展的今天,软件产业迅猛发展的同时,对软件测试的需求也在日趋提高。职业院校应在技能大赛(软件测试赛项)的引领下,针对企业实际需求,对软件测试课程进行改革,以满足对软件测试人才的需求。

关键词： 热管理软件   CAN总线   MBD方法   软件测试   白盒验证   故障定位  

摘要： 在新能源与智能网联汽车发展背景下,整车热管理系统软件测试及故障定位的重要性凸显。文章聚焦软件单元验证与集成测试,提出基于CAN总线数据在Simulink环境中采用MBD方法建模的测试方案。通过构建包含总线工具、CAN通信转换等的测试系统,实现上位机仿真接入实车CAN数据进行白盒测试。该方法在人机交互模块验证中,借助总线面板工具实现功能联调。在实车故障调查中,省去传统编译步骤,将问题排查时间从2h缩短至50min,有效提升软件迭代效率与品质。

关键词： Web服务   自动化测试框架   软件测试  

摘要： 为克服传统手动Web服务软件测试存在的周期长、效率低等局限性,设计了自动化测试框架。首先,基于该技术的测评体系结构,搭建了Web服务自动化测试框架,并以综合安全监管系统软件为研究对象,基于所设计的框架进行了自动化测试技术的应用研究。测试时,基于软件需求设计了测试数据,进而自动生成了测试用例。随后,利用自动化测试框架模拟数据驱动脚本的自动测试。结果表明,采用该技术能够显著缩短Web服务软件的测试周期,同时大幅提高测试效率和测试覆盖率,为Web服务软件的质量保障提供了有力支持。

标准号: GB/T 45838-2025

摘要： 本文件确立了软件测试过程评估模型，并为解释测试过程的目的和结果，以及过程属性提供了一组过程性能和过程能力相关的指导性指标;通过实例为评估指标的定义、选择和使用提供指导。 本文件适用于选择模型和相关文件化过程方法进行评估（用于能力界定或过程改进）。

关键词： 智慧园区   软件测试   缺陷移除率   探索性测试   质量提升  

摘要： 随着新能源电站快速发展,零碳智慧园区管理软件因功能模块增加、开发周期延长及多团队协作等问题,导致软件缺陷率居高不下。文章针对零碳智慧园区系统开发中缺陷移除率低的难题,创新性提出基于探索性测试的解决方案。该方案将探索性测试全面融入需求分析、用例设计等开发全流程,并细化为具体实施策略,显著提升了软件缺陷移除率,同时形成标准化测试规范,为智慧园区系统质量提升提供了有效途径。

关键词： MARTE模型   STAMP理论   STPA方法   安全关键软件   基于模型的软件工程  

摘要： 基于模型的软件工程(MBSE)方法在安全关键软件(Safety-critical Software)开发和测试中的应用是当前研究的热点。然而,在建立模型时,如何完整且准确地刻画软件的安全属性仍然是一个亟待解决的问题。文中提出了一种创新性的方法,将软件安全性分析深度集成到软件模型构建过程中。该方法结合MARTE(实时和嵌入式系统建模与分析)建模语言和STAMP(系统理论事故模型与过程)理论,通过扩展MARTE构造型或增加标签的方式对非功能属性进行描述,并在MARTE视图层次融入STAMP控制结构模型。最终,通过STPA(系统理论过程分析)技术进行迭代建模,形成一个多视图的混合模型。STPA方法中的控制结构构建、不安全控制行为识别及致因场景分析等步骤展现出更高的分析深度和自动化潜力。案例研究表明,所提方法能够有效且清晰地展示软件系统的功能和非功能性能需求,更好地实现基于模型的软件安全特性刻画,并为测试用例的自动化生成和建模提供坚实的技术基础。

关键词： 敏捷测试   GJB 5000B   软件测试  

摘要： 随着GJB 5000B在军用软件中的全面推行,根据现代军用软件规模大、复杂性高、需求变动频繁的特点,进行了敏捷测试在CGJB 5000B中实施框架的探讨,为“软件定义装备”时代提供坚实的质量保障基础。

关键词： 软件测试   课程知识图谱   教学改革   个性化学习   互联网+教育  

摘要： 文章提出了一种基于课程知识图谱的软件测试课程教学改革方法。通过分析软件测试课程的特点和面临的挑战,设计了知识图谱构建方案,并探讨其在教学资源整合、学生知识结构优化及个性化学习路径形成中的应用,为课程教学改革提供了新思路。