教学课程资源库 更多>>

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

摘要： 随着深度神经网络(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%.

关键词： 软件质量保证   软件测试   流程管理   光电技术   管理探究   参考和借鉴   航天领域   实验室  

摘要： FPGA软件在航天领域应用广泛,测试是软件质量保证的重要手段。为规范上海济物光电技术有限公司测试与试验中心下属软件测试实验室的管理流程,本文对软件测试管理存在的问题进行分析,总结了实验室在FPGA软件测试管理的经验,希望能够对其他FPGA软件测试实验室的流程管理提供参考和借鉴。

关键词： 软件测试   静态分析工具   自动控制软件   评估   召回率  

摘要： 软件是否可靠运行将直接影响系统的可靠运行,急需有手段保障软件质量;静态分析因具有全自动运行、能更早实施、不需要执行程序等特点,在软件测试领域得到了广泛的使用,已成为保障软件质量的重要手段;测试工具可以极大地提高软件测试的效率;目前面向静态分析的软件测试工具数量众多,不同的工具具有不同的特点和缺陷检测能力,且都存在不低的误报率和漏报率,如何评估和选择测试工具成为软件静态分析时亟待解决的问题;基于CWE缺陷类型的基准测试集和精确度、召回率、F_(1)值、CWE覆盖率以及Overall-Score的评估指标,详细阐述了面向静态分析的软件测试工具评估流程,结合CppCheck、TscanCode和Flawfinder三个开源软件静态分析工具开展了案例应用,为软件静态分析工具的评估与选择提供指导和参考。

关键词： 智能照明系统   软件测试   质量安全保证  

摘要： 智能照明系统通常由软件与硬件结合而成,不仅提供了传统的照明功能,还通过集成的传感器和控制技术,实现了灯光自动调节、能源效率优化以及个性化用户体验等高级功能。软件测试作为保障软件质量的关键环节,对于智能照明系统的质量安全起着重要作用。文章将进一步探索智能照明系统中的软件测试和质量安全保证策略,以便为实现更稳定的照明环境提供参考。

关键词： Raft   分布式系统   软件测试   模型检查  

摘要： Raft是最为流行的分布式共识协议之一.自2014年被提出以来,Raft协议及其变体在各种分布式系统中被广泛应用.为了证明Raft协议的正确性,开发者使用TLA+形式化规约对协议设计进行了建模和验证.但由于抽象的形式化规约与实际的系统实现源码间存在鸿沟,基于Raft实现的分布式系统中仍然会违背协议设计并引入复杂的缺陷.设计基于TLA+形式化规约的测试方法来检测Raft协议实现中的缺陷.具体而言,将形式化规约匹配到相应的系统实现,并用形式化规约所定义的状态空间来指导系统实现的测试过程.为评估所提方法的可行性和有效性,针对两个不同的Raft实现进行系统化测试,并发现3个未知缺陷.

关键词： 软件测试   OCR   图像相似度  

摘要： 在软件测试中,对GUI异构场景中特定区域图像的相似度进行分析判断是提升测试效率和质量的关键。本文提出了一种基于深度神经网络的区域图像相似度分析方法,专注于GUI异构场景的指定区域。具体而言,首先对GUI图像进行预处理,得到调整大小后的图像和测试人员指定的区域图像;然后利用ResNet网络提取图像特征,同时引入OCR模块提取该区域内的文本信息。在相似度计算阶段,分别计算图像特征和文本信息的相似度,使用交叉熵损失函数和字符串匹配算法得到相似度分数,最终进行加权求和。该方法能够有效减少设备引起的噪声和变形干扰,提高GUI测试的效率和质量,为测试人员提供准确、全面的结果和决策支持,特别是在指定区域图像相似度分析方面具有显著优势。

关键词： 软件测试   测试技术   软件开发   质量保证   自动化测试  

摘要： 在信息技术飞速发展的时代,计算机软件已广泛应用于社会生活的方方面面。作为保障软件质量的最后一道防线, 软件测试贯穿于软件开发的整个生命周期,在软件开发过程中发挥着不可或缺的作用。本文以计算机软件测试技术与开发应用为 切入点,从测试技术和开发应用两方面展开深入探讨。首先系统分析了黑盒测试、白盒测试、灰盒测试、自动化测试、性能测试等 主流技术的基本原理、方法和特点;然后阐述了测试活动在软件开发各阶段的具体应用;最后展望了新技术新模式在软件测试领 域的发展前景。文章旨在梳理软件测试技术发展脉络,总结测试在软件开发中的最佳实践,为业界提升软件测试水平、保障软件 质量提供参考和启示。

关键词： 红外   FPGA软件   软件测试   实验室能力   CNAS   PDCA  

摘要： 在红外与光电载荷FPGA软件的可靠性、安全性等质量要素要求越来越高的背景下,建立相应的FPGA软件测试实验室尤为重要。本文旨在构建和完善FPGA软件测试实验室的能力管理体系,以获得中国合格评定国家认可委员会(China National Accreditation Service for Conformity Assessment,CNAS)认可。本文运用了策划—实施—检查—改进循环(Plan-Do-Check-Act,PDCA)的质量方法对实验室能力管理体系建设工作进行详细阐述,分享了实验室建设案例和成果,为其他实验室能力管理体系建设提供思路和参考。

关键词： 软件测试   CDIO教育   工匠精神   课程改革  

摘要： 分析软件测试技术课程教学现状问题,提出结合CDIO工程教育理念的课程改革思路,从培养目标、教学内容、实验环节、评价体系几方面具体介绍实施过程,并说明实施效果。

关键词： 软件测试   AI   技术   降本增效  

摘要： 为了提高软件开发的产品质量和整体效率,阐述了传统软件项目管理难度大、测试成本投入不足以及测试可信度不够高等问题,引入人工智能(AI)技术,改善传统测试模式存在的局限性。提出测试设计阶段、测试执行阶段、测试结果分析阶段等测试流程,给出AI技术在预测缺陷、自动化测试、测试过程优化中的应用,有力推动软件测试行业的转型升级,为软件开发企业实现测试资源的有效配置,从而达到降本增效,确保软件产品在快速迭代升级的同时保持卓越的品质和用户满意度。