软件测试过程性能基线和模型建立方法及应用分析

基于《军用软件能力成熟度模型(GJB5000B)》中测量与绩效分析实践域,文章提出了量化软件测试过程的基本概念及组织测试过程性能目标的选择和建立方法,阐述了具体的基线测量、软件测试过程性能基线与模型的建立过程,同时给出了维护和应用方法。

IATG:基于解释分析的自动驾驶软件测试方法

以深度神经网络(deep neural network,DNN)为基础构建的自动驾驶软件已成为最常见的自动驾驶软件解决方案.与传统软件一样,DNN也会产生不正确输出或意想不到的行为,基于DNN的自动驾驶软件已经导致多起严重事故,严重威胁生命和财产安全.如何有效测试基于DNN的自动驾驶软件已成为亟需解决的问题.由于DNN的行为难以预测和被人类理解,传统的软件测试方法难以适用.现有的自动驾驶软件测试方法通常对原始图片加入像素级的扰动或对图片整体进行修改来生成测试数据,所生成的测试数据通常与现实世界差异较大,所进行扰动的方式也难以被人类理解.为解决上述问题,提出测试数据生成方法IATG(interpretability-analysis-based test data generation),使用DNN的解释方法获取自动驾驶软件所做出决策的视觉解释,选择原始图像中对决策产生重要影响的物体,通过将其替换为语义相同的其他物体来生成测试数据,使生成的测试数据更加接近真实图像,其过程也更易于理解.转向角预测模型是自动驾驶软件决策模块重要组成部分,以此类模型为例进行实验,结果表明解释方法的引入有效增强IATG对转向角预测模型的误导能力.此外,在误导角度相同时IATG所生成测试数据比DeepTest更加接近真实图像;与semSensFuzz相比,IATG具有更高误导能力,且IATG中基于解释分析的重要物体选择技术可有效提高semSensFuzz的误导能力.

工作量感知软件缺陷预测中偏斜分布的影响及测试评估方法

针对工作量感知软件缺陷预测中传统模型测试评估方法存在偏差这一问题,采用偏斜分布的偏度作为数值特征,研究了3种主要测试评估方法的测试集在工作量偏度的偏差和与其对应的估计误差,并基于偏度偏差较小的采样余量方法,提出一种改进方法——后采样方法,所提后采样方法能够保持测试集的类标签比例以避免生成无效测试集。研究结果表明:最常用的十折交叉验证方法偏度偏差最大,其估计误差也最大;与十折交叉验证相比,改进方法性能估计误差减少约4.9%~26.9%;与采样余量方法相比,改进方法不会产生无效测试集,并证明了减小测试集偏度偏差以减少估计误差的有效性。所提后采样方法为工作量感知软件缺陷预测提供了一种更可靠的测试评估方法,能够更准确地评估模型性能。

分组密码算法在x64平台上的软件实现速度测试方法研究

密码算法的软件实现速度是衡量其实现性能的重要指标之一。在密码算法的设计和评估工作中,测试密码算法的软件实现速度是一项必不可少的工作。在国内外已有的工作中,关于如何在x64平台上进行密码算法的软件实现速度测试没有形成统一的测试标准。本文以分组密码算法的速度测试为例,研究如何在x64平台上测试密码算法的软件实现速度。首先,我们通过实验分析在x64平台上对密码算法进行软件实现速度测试的过程中容易出现的问题。第二步,我们对目前已有的四种速度测试方法:Matsui速度测试方法,Fog速度测试方法,SUPERCOP速度测试方法和Gladman速度测试方法进行研究,对四种速度测试方法的异同进行比较,分析四种方法中存在的问题。第三步,我们采用理论分析与实验探究相结合的研究方法,研究如何降低速度测试过程中产生的波动性数据对实验结果的影响。我们对速度测试公式选择、样本量选择等问题进行了细致的研究。最终我们给出在x64平台上测试分组密码算法软件实现速度的最小值和平均值的有效方法。应用该方法得到的测试结果是稳定的(测试得到的速度随机性小,结果既不会偏大也不会偏小)、可靠(测试过程取样充分,测试得到的速度是可信的)、高效的(在保证测试结果可靠和稳定的前提下,取样量较小,测试过程耗时较少)。利用本文给出的速度测试方法,我们对AES算法和SM4算法在x64平台上的软件实现速度进行了实际测试。

关于软件测试的绩效考核体系模型构建

当前,计算机水平高速发展,软件产品逐渐走进人们的生活当中,所以对其质量的要求提出了更高的要求。软件质量作为企业的核心竞争力,所以被格外重视,如何提高软件测试员工的积极性,成为技术型创新公司的重中之重。绩效考核被看作提高员工工作积极性的方法之一被大多数技术创新型公司运用。文章提出软件测试绩效考核的定义与影响因素。基于此从各个测试阶段建立软件测试绩效考核体系模型,再利用专家打分法和层次层析法将各级指标进行赋值。并从绩效工资发放、岗位调整、日常培训工作方面提出绩效考核体系模型的运用。

一种无人机飞行控制软件自动测试方法

针对机载飞行控制软件测试依赖硬件系统、测试周期长、手动测试方式效率低、重用性差、易出错和维护成本高等问题,研究了全数字仿真环境的关键技术,提出了一种机载飞行控制软件的自动测试方法;该测试方法在全数字仿真环境中进行测试,并对传统的测试数据生成算法进行改进,使用AETG-SA算法生成测试数据,将测试结果的反馈引入到算法中,动态调整算法参数,获得最优测试集合,提高了测试覆盖率;在全数字仿真环境中执行测试用例,减少了嵌入式软件测试过程中对硬件的依赖,对系统功能测试和故障模拟测试的覆盖更加全面;工程实践表明,基于全数字仿真环境的自动测试方法相较于传统全实物和半实物的测试方法测试充分性提升了4%,测试时间缩短了44%。

“岗课赛证”融通为导向的《软件测试技术》课程教学改革探究

推行“岗课赛证”综合育人,探索“岗课赛证”融通导向下的教学改革路径是培养高素质复合型技能人才的需要。以“岗课赛证”融通为导向的《软件测试技术》课程教学改革要求将岗位标准、比赛内容、证书要求融入课程。“岗课赛证”融通为导向的《软件测试技术》课程教学改革,要以“岗课赛证”融通为导向重构教学内容,建设“岗课赛证”融合的教学资源,优化教学组织形式,改革教学方法和手段,构建全过程多元化的教学评价体系,更好地提高教学质量和效果。

嵌入式软件安全性测试技术方法分析

本文以嵌入式软件安全性测试技术方法为重点展开分析,对嵌入式软件发展历程和特点进行简述,在此基础上研究其安全性测试的要求、方法,包括故障模型分析法、故障树分析法等。以故障模型分析法为例,就嵌入式软件安全性测试的流程进行论述,分析系统功能描述和定位、潜在安全问题评估、安全问题破坏性评估、风险监控等重点环节实践方式,为未来嵌入式软件安全性测试工作提供参考。

智能软件测试策略及测试方法探析

随着信息化的深入发展,智能软件已经渗透到我们生活的方方面面,为现代社会的进步提供了强大的技术支持。智能软件不仅在提升工作效率、优化生活体验方面发挥着显著作用,其质量也直接关系到产品的市场竞争力及用户满意度。软件测试作为确保软件质量的关键环节,其重要性日益凸显。但我们必须认识到,面对日益复杂、功能丰富的智能软件系统,传统的软件测试方法在测试效率和测试覆盖率上往往难以达到预期的效果,从而制约了软件质量的进一步提升。鉴于此,深入探究和分析智能软件测试的策略及方法显得尤为重要.

软件安全性测试方法研究

软件安全性测试是保证软件安全性的重要手段。本文系统性地研究了软件安全性测试的核心方法与具体实践,通 过对各类测试工具的深入分析,梳理了其在不同测试阶段的应用场景及实际效果。针对当前软件开发中的安全挑战,本文为开发 人员与安全工程师提供了技术指南与实用框架,旨在提高软件的整体安全性和防护能力。

云计算的分布式软件测试方法应用及研究

软件测试是软件工程中不可缺少的重要环节,传统的软件测试方法在面对大规模、分布式的软件系统时,常常效率低下,不能较好支持快速迭代式开发的要求。云计算技术的出现,使分布式软件测试有了高效实现的途径。本文将探讨基于云计算的分布式软件测试方法的研究,旨在提高测试效率和准确性。

软件安全测试的四叉树模型研究

文章利用四叉树结构寻找初始的聚类中心,并以此为基础对软件模块的故障进行预测,从而提出一种基于四叉树和K-均值聚类算法的软件故障预测方法。该方法旨在提高软件测试的效率和准确性,并通过调整门限参数来允许用户根据需求获取合适的聚类中心。此外,为了评估算法的有效性,引入了一个新的性能指标,即聚类收益。经对比分析发现,该方法在聚类收益方面表现优异,能够在多数情况下实现较低的总体错误率。

自动测试系统软件的数据处理方法研究

为提高自动测试效率与准确度,本文提出了一种创新的数据处理方法。首先,文章深入分析了数据格式,涵盖程控仪表数据接口与数据格式分类;然后,提出了一种数据处理模块分类方法,在此基础上实现了迹线计算、文件取值以及公式编辑等功能;最后,将该方法应用于轨道车辆自动测试系统软件中。

基于敏捷软件开发方法的C语言符号表构造实现研究

信息化飞速发展,需求随之变动,现今社会对软件产品质量的要求逐渐提高。该文首先介绍传统软件开发和敏捷软件开发体系,然后对比分析瀑布模型与极限编程,测试驱动开发与传统软件测试、V模型的各自特点,并结合实际,具体阐释敏捷软件开发方法在C语言符号表的构造实现,最后从测试覆盖率方面评估此次测试集。从测试评估报告结果看,采用先测试再编码步骤的测试驱动开发TDD方法开发的软件,不仅测试更为完备、彻底,而且更适用于需求变动的环境。

软件过程性能基线与模型建立和维护方法研究

基于GJB5000B测量与绩效分析实践域,提出了量化管理软件过程的基本概念,给出了建立软件过程性能基线及软件过程性能模型的方法,阐述了基线与模型维护的一般方法与要求,最后举例说明了过程性能基线、模型等软件量化管理技术的使用方法。

轻量级嵌入式软件自动化测试框架设计

为满足嵌入式软件测试过程中测试数据的快速生成与输入,采用数据与关键字驱动的混合驱动方法对嵌入式软件自动化测试框架进行设计。通过对嵌入式软件自动化测试框架的研究,明确测试框架设计的难点;对软件测试数据的组成与结构进行分析,构建数据与关键字驱动模型并对其生成与输入算法进行设计,根据模型实现复杂多接口测试数据的快速生成与输入。采用模块化思想,利用多线程原理对该轻量级测试框架进行设计与实现,通过实例验证该框架能够实现测试数据的自动生成与快速输入,提升测试效率。

面向嵌入式软件平台的系统测试研究

针对面向嵌入式软件平台的系统测试阶段研究,首先,概述了嵌入式软件测试,尤其是其相对于一般软件测试的特殊性;然后针对嵌入式软件测试的系统测试阶段,总结分析了系统测试的测试流程、常用的测试方法,并介绍了一些主流的测试工具;最后进行了总结分析。上述工作为进一步的具体案例测试提供了理论依据和实践参考。

基于自然语言需求的SCADE模型测试用例自动生成方法

随着安全关键软件规模和复杂性不断增加,模型驱动开发方法在安全关键领域得到了广泛应用。SCADE作为一种重要的建模方法和工具,能够表达确定性并发行为且具有精确时间语义等特性,适用于安全关键软件的建模、测试与验证。目前,已有方法主要采用手工方式构造SCADE模型测试用例,存在需求与测试用例不一致、成本代价高且容易出错的问题。文中提出了一种基于自然语言需求的SCADE模型测试用例自动生成方法。首先,给出了基于模型检测的测试用例自动生成方法,通过自然语言需求处理生成原子命题,用于生成前提假设Assume和观察者模型,同时给出了陷阱性质(Trap Properties)生成规则来生成陷阱性质用于模型检测;其次,给出了基于覆盖分析和变异测试的测试用例质量评估方法,并在SCADE模型上进行变异测试;最后,设计和实现了原型工具,并基于一个工业界案例飞行员弹射座椅控制系统进行了案例分析,验证了所提方法的有效性。

基于SDL的通信软件自动化测试方法

当前通信软件测试杂散误差较多,为此提出基于SDL的通信软件自动化测试方法研究。根据实际的自动化测试的需求及标准,先进行自动化测试用例选择及RA列表编写,采用多层级的形式,部署SDL通信监测节点,打破传统测试范围的限制条件,设计自动化测试编码及UTIL函数库,构建SDL脚本测试控制逻辑,通过Agent端搭接实现自动化测试。最终的测试结果表明:应用所提方法可将测试的杂散误差控制在0.4以下,说明该种测试方法的针对性与稳定性较强,测试误差更为可控,具有实际的应用价值。

基于敏捷方法的雷达系统软件测试V模型研究与改进

信息技术的发展日新月异,现代雷达系统变得日益复杂,雷达系统软件测试直接影响到装备的可靠性和质量,使用合理的软件测试模型可以提高测试效率。本文对典型V模型进行了分析与研究,将敏捷方法应用到雷达系统软件测试V模型的研究与改进中,改进模型将软件测试贯穿雷达系统软件开发周期的各个阶段,能够尽早地发现软件中的错误,更好地保证软件测试的充分性、有效性和产品质量。