教学课程资源库 更多>>

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

摘要： 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技术在预测缺陷、自动化测试、测试过程优化中的应用,有力推动软件测试行业的转型升级,为软件开发企业实现测试资源的有效配置,从而达到降本增效,确保软件产品在快速迭代升级的同时保持卓越的品质和用户满意度。

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

摘要： 在软件测试中,判断GUI异构场景的图像相似度是提高测试效率和质量的关键。文章提出了一种基于深度神经网络的图像相似度分析方法。其中,首先对GUI图像进行了预处理并通过VGG-16提取了图像特征,同时引入了OCR模块获取文本信息;在相似度计算阶段,分别计算了图像特征和文本的相似度,通过交叉熵损失函数和字符串匹配算法得到了相似度分数,最终进行了加权求和。经验证,该方法能有效抵抗设备差异导致的噪声和变形干扰,提高了GUI测试的效率和质量,为测试人员提供了准确、全面的结果和决策依据。

关键词： 软件测试   测试过程   测试策略   缺陷管理  

摘要： 对于软件的品质来说,进行有效的检验至关重要,因为这样能够找出软件存在的不足与问题,从而增强其可信度与稳定度。首先,文章介绍了软件测试的定义、目的和重要性,详细阐述了软件测试的过程,包括测试计划、测试用例设计、测试执行和测试总结等阶段;其次,文章探讨了软件测试的策略,包括各种测试方法;最后,文章总结了软件测试的重要性和挑战,并提出了一些未来的发展趋势和建议。