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

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

反舰导弹武器系统软件鉴定测评策略研究

为改进加强反舰导弹武器系统软件鉴定测评工作,从备战打仗和作战使用的角度着眼,明确反舰导弹武器系统软件的主要组成,围绕新体制下软件鉴定测评的目的和要求,梳理性能验证试验、性能鉴定试验、作战试验、在役考核等不同阶段的软件测试内涵要义,分析反舰导弹武器系统软件鉴定测评的重点内容,包括面向作战任务的系统测试和实战化的半实物仿真测试,并从文档、人员、环境等方面阐述当前存在的主要问题,按照“总体筹划、分级考核、突出重点、贴近实战”的基本原则研究提出鉴定测评总体策略,为反舰导弹武器系统软件实战化考核提供参考和指引。

基于频谱增强的软件多故障定位

检测故障是繁琐而耗时的,为了提高传统软件故障定位方法的效率以及精确度,提出了一种基于频谱的故障定位新方法;充分利用了失败的测试用例与故障之间的关系,通过使用频谱增强的方式,采取逻辑与运算的关键技术和方法,对失败的测试用例进行精简,优化失败测试用例中的频谱信息,从而得到频谱增强后的测试用例,克服了冗余测试用例对定位效果的消极影响,再根据新的频谱信息计算可疑度值,最后生成优化后的可疑度排序列表;首次将频谱增强的方法同时运用到单故障与多故障程序场景中,在包含植入故障的西门子程序和真实故障的Defects4j程序中,经实验检测证明本研究方法能够显著减少代码检查的范围,尤其是在高性能范围内(EXAM5%),并且仅通过检查Top-1至少能有效地定位超过原有约20%的故障,结果表明基于频谱增强的故障定位方法有效提升了检测率,可以更好地帮助程序员精准定位故障位置。

基于EFSM模型的可执行回归测试数据生成方法

基于扩展有限状态机(extened finite state machine,EFSM)的回归测试过程中,传统的可执行测试数据生成方法由于没有充分利用软件变更信息,在对模型分支错误进行检测时效率较低。为此,提出了一种基于EFSM模型融合的可执行回归测试数据生成方法,制定规则对软件变更前后的模型进行融合,将程序变量作为符号对融合模型中所需覆盖的测试序列进行遍历,结合软件变更信息生成变量约束表达式组并求解得到最终的回归测试用例。实验结果表明:该方法在分支错误检测率、可执行比例、稳定性和测试效率等方面具有一定的优势。

GJB 5000B软件测试与监督探析

首先,介绍了GJB 5000B软件测试类型及测试方法,包括单元测试、集成测试、合格性测试、系统测试的测试流程和活动流程;其次,分别对单元测试、集成测试、合格性测试、系统测试的测试目的和测试方法进行了详细介绍;然后,讲解了GJB 5000B软件测试对标的验证和确认过程域的标准要求和关键活动及产品;最后,阐述了实际项目运行中,作为军代表应该如何对软件测试进行日常监督。实践证明,软件测试是软件研制过程的重要环节,可大大地提高软件产品的质量。

云智慧测试技术与应用

云智慧测试技术是将虚拟仪器技术和嵌入式及云计算技术相结合的新一代测试技术,主要由3个部分组成,包括位于测试现场的前端智慧采集硬件,位于云中心的后端云计算测试服务软件,以及位于操作人员手中的移动上网终端设备。这3个部分可以分布在全球可连入互联网的任何地点,因此成为完全的基于互联网的测量方式。前端采集硬件使用的嵌入式技术,后端云计算测试服务软件使用的云计算技术,以上是实现虚拟仪器技术向云智慧测试技术发展的重要手段。

电阻式触摸屏多点校准及触摸压力研究

针对电阻式触摸屏在小点状目标应用环境中存在触点判断不准确、灵敏度不高的问题,提出两种改进措施;其一在现有三点校准算法基础之上,增加校准点数提高转换精度;通过贪心算法对随机校准点集进行优化约简,并利用最小二乘法求得校准系数;其二为提高触摸坐标的准确性和触摸方式的鲁棒性,加入触摸压力检测和阈值判定来去除无效点击;测试结果表明,基于贪心算法的多点校准可提高坐标校准系数的精度,而触摸压力判定的加入则有效提高了轻触时的坐标精度。

软件可靠性测试平台研究

基于可靠性测试需求设计并实现了一种可靠性测试的平台,阐述了平台的硬件设计方案与软件设计方案,该平台硬件层、模型层、数据层、协议层与应用层均可以根据测试需求现场定义,平台的通用性较强;平台能够基于软件剖面定义实现测试用例自动生成、测试数据自动收集与可靠性测试数据的收集,为软件可靠性测试与评估提供了有力的支持。

用于基本路径测试的路径字符串组合算法

自McCabe提出基本路径测试法以来,人们一直在探索基本路径集的求解算法,以提高基本路径测试的效率。为此,提出一种基于路径字符串组合的基本路径集的求解算法,算法把被测程序看作是若干基本结构的组合,构建了各基本结构路径字符串的构成方式和组合方式,制定了路径字符串的组合规则。依据这些方式及规则导出了基本路径集的求解算法。实验表明,在满足相同覆盖准则的情况下,该算法比McCabe所提出的方法求解过程更简洁,并且输出的中间结果易于理解,便于测试用例集的优化。

基于VS 2008的Demo测试软件设计

Demo测试软件是基于Visual Studio 2008工具开发出的一个单文档界面程序。其主要的功能是生成一个将要在高速公路显示屏上显示的信息播放列表文件,该播放列表文件中要包含播放屏数、每屏停留时间、屏幕上显示字体的方式、速度、在屏幕上显示初始字体的位置、字体的大小、颜色以及字体间距,该功能通过"添加"、"删除"、"发送"、"列表"、"保存"5个按钮实现。

一种基于类的Java多线程程序数据竞争静态检测算法

多线程并发程序的广泛使用引发了更多的数据竞争问题,竞争检测对于提高软件质量具有重要意义。将竞争静态检测和静态切片分析结合起来,提出了一种基于类的Java数据竞争静态检测算法,该算法利用函数调用层次获得函数调用链,对类域进行分析,找出可能数据竞争,通过静态切片缩小程序分析范围,并结合数据竞争的必要条件,去掉不可能数据竞争。实例表明,该算法可用于指导修复程序中的竞争缺陷。

基于软计算技术的军用软件可靠性预测模型研究

针对软件可靠性预测模型不能适用于现实环境中所有情况的问题,设计一种基于软计算技术的军用软件可靠性预测模型。通过分析使用软计算技术解决军用软件可靠性预测的前景,在介绍软件可靠性概念的基础上,对软件可靠性预测模型进行分类,讨论了使用软计算技术预测军用软件可靠性的不同方法,对军用软件可靠性预测的度量标准和失效的预测方法的评估指标开展研究,比较了通用的软件失效数据集的来源、特点和缺陷数目,总结了常用的可靠性预测工具的特点和适用范围。分析结果表明:采用软计算技术解决军用软件可靠性预测问题,能够优化测试效果,符合军用软件的实际情况。

基于VC++6.0的ARINC429总线接口卡通讯程序

为控制侦察任务舱内的单台或多台航空相机同时工作,设计基于ARINC429总线接口卡的航空相机综合控制系统。在简要介绍航空相机综合控制系统的基础上,详细阐述基于ARINC429总线接口卡通讯软件流程和程序设计方法。结果表明,该方法操作简单、运行可靠,能减少保障设备数量和提高检测效率,并已成功应用于某型侦察机部队中。

面向对象技术在软件自动化测试中的应用

在对软件测试自动化认识的基础上,着重介绍了在软件测试自动化领域广泛使用的捕获/回放技术,分析了捕获/回放技术的优点,以及造成缺点的原因,并针对这些原因,将软件开发领域中广泛使用的面向对象技术引入到软件测试的自动化过程中,获得了较好的效果.

基于分组的并行程序多路径覆盖测试数据进化生成

尽管并行软件测试已经得到软件工程界的广泛关注,但是,如何高效生成覆盖并行软件多条路径的测试数据,相关的研究还比较少。本文研究消息传递并行程序多路径覆盖测试数据生成问题,并提出基于分组的测试数据进化生成方法。首先根据并行程序包含的进程数、可用的计算资源以及路径相似度,将目标路径分成若干组,并基于每组目标路径,建立多路径覆盖测试数据生成问题的数学模型;然后采用多种群并行遗传算法求解上述模型,使得一次运行遗传算法,生成覆盖所有目标路径的测试数据。性能分析表明,所提出的目标路径分组方法不但能够保证不同组包含的目标路径相差很少,而且同一组的目标路径之间具有很大的相似度。将所提方法应用于4个基准程序的测试中,并与已有方法比较,结果表明,所提方法在保证路径覆盖率的前提下,可大大缩减个体评价次数和耗时。

浅谈软件测试方法

从软件测试的技术与过程、持续的软件测试、软件测试的充分性准则等方面简要介绍软件测试的基本思想;讨论软件测试中的若干问题,包括面向路径的测试数据自动生成、测试预言、期望结果的自动生成、回归测试等;并且探讨软件测试的发展趋势等。

人工智能医学软件产品网络安全测评体系研究

人工智能技术在医学领域的应用取得了显著的进展,但同时也面临着各种网络安全挑战。分析了人工智能医学软件可能面临的网络安全风险,提出了人工智能医学软件产品网络安全测评内容、方法和过程,并建立了人工智能医学软件产品网络安全测评体系,为实施人工智能医学软件产品网络安全测评奠定了基础。

基于教务系统的自动化软件测试研究

软件测试已成为软件质量保障的重要手段,自动化测试工具的出现也使得人工测试不可能完成的任务成为可能。如何根据测试理论设计测试用例,利用自动化测试工具完成系统的测试并发现其中存在的问题是本文的主要研究目的。

高职高专院校软件测试课程教学做一体化教学模式

软件测试技术是一门实践性很强的课程,针对高职高专院校软件测试课程的教学,提出了以项目为驱动,分组教学,教、学、做一体化的教学模式。按照企业测试流程组织教学工作。从而激发学生潜能,提高实践动手能力。

基于Jenkins的软件缺陷持续测试平台设计与实现

随着指挥信息系统软件规模急剧膨胀,传统的阶段式、集中式软件测试已不能适应大型软件需求快速迭代的研发模式需求。持续集成已被认可是尽早发现缺陷的最佳实践,通过自动化的构建、测试流水线、发布和部署,为提高软件开发效率、保障软件产品质量提供了理论支撑。文章通过持续集成工具Jenkins配合静态分析工具Klocwork和单元测试框架搭建软件代码缺陷持续测试平台,支持多种开发平台和语言,使集成、测试和缺陷推送完全自动化。在此基础上开发测试平台运行状态监控和缺陷数据统计与可视化后台,辅助运维人员维护平台和项目负责人把控项目整体开发进度。