基本路径测试技术及应用研究

基本路径测试法是一种白盒测试方法,文章将程序流程图映射成流图,探讨了程序的3种基本结构映射成流图的方法,计算了流图的环形复杂度并确定了基本测试路径,从而为每条基本路径设计了测试用例。实践证明,基本路径测试法适用于执行路径较多的程序,通过选择有代表性的路径进行测试,可有效提高测试效率。

大规模自组网动态时隙分配算法测试

针对大规模自组网技术MAC(medium access control)协议中的动态时隙分配算法在模拟仿真测试环境中存在的需要进行大量代码重构及可视化呈现差等问题,以及在实物组网测试时存在的测试环境搭建困难、测试成本高和测试效率低等问题,提出一种新的测试方法。该测试方法使用纯软件来模拟各个节点不同的业务量及拓扑结构,无需实物组网即可方便地重复验证大规模自组网环境中的动态时隙分配情况是否符合预期,同时对测试结果进行精准可视化呈现。实验结果表明,该测试方法能够准确验证大规模、高业务并发场景下的动态时隙分配情况,并对动态时隙分配算法的设计、开发及优化过程加以指导,从而提高研究效率。该测试方法已在多个项目中成功应用并取得良好效果。

基于总线的机载设备快速测试系统设计

传统机载设备测试方法依赖于产品端测试程序的各种接口文件,而这些接口文件实现过程可能由于人的因素导致错误而出现开发进展缓慢,为了达到快速开发的目的,首先分析出了机载嵌入式产品的测试需求,然后总结传统测试过程的弊端,提出一种基于总线的快速测试系统设计方法,通过总线将产品变为测试设备的一个远程终端,实现黑盒到白盒的转换,可以大大降低测试程序开发难度,最后设计了产品整体测试流程和功能电路详细测试过程,经试验测试表明该测试方法满足预期测试要求且高效。

油浸式变压器故障智能诊断应用研究

在电网系统中,油浸式变压器出现故障会导致供电线路受到影响,传统人工检测不能满足变压器故障检测需要,为此,开展油浸式变压器智能故障诊断应用研究。以某变电站变压器为例,选择BP和QIA-BP两种神经网络算法开展油浸式变压器故障诊断研究。比较BP神经网络检测与人工检测的效率和准确率,并将QIA-BP神经网络与BP神经网络两种算法对析出气体的体积分数跟踪效果进行对比。通过白盒测试检验QIA-BP智能诊断系统的准确性,验证了QIA-BP神经网络智能故障检测对于变压器故障诊断的有效性和优越性。

论有效测试方法

软件测试常用的测试方法有黑盒测试、白盒测试及黑盒与白盒结合的测试。介绍各类测试方法所需的技术、资源,分析测试充分性、有效性和可评估性等方面。以大规模软件研制类项目为例,在测试周期短,测试无法充分覆盖的情况下,量化计算各类测试方法的可行性,评估测试有效性。

基于EFSM模型的铁路信号安全软件单元测试技术研究

铁路信号安全软件内部逻辑复杂,通过充分的单元测试能够更好地发现和排除软件内部的缺陷。文章分析单元测试常用方法,并结合铁路信号安全软件单元测试技术要求,提出一种基于扩展有限状态机(EFSM,Enhanced Finite State Machine)模型的黑白盒融合单元测试方法。使用自动化测试工具Cantata,以无线超时降级场景为实例,验证该方法是否可以满足测试场景的完备性,并且关注软件结构是否被完全覆盖。根据覆盖结果,对未覆盖原因进行分析,判断是否存在异常场景,并针对未覆盖分支补充测试场景,丰富了测试案例,从而保障了铁路信号系统的可靠性。

白盒测试在节能系统(WOES)中的应用

WOES智能优化节能系统的各模块功能均依托于底层大量数据的支撑,因此关于数据存储业务逻辑和数据分析业务逻辑的完整性和准确性十分重要。为了保证数据的完整性和正确性测试方案中该部分需使用白盒测试进行全部的逻辑覆盖。

一种基于测试需求约简的测试用例集优化方法

测试用例集优化的目标是用尽可能少的测试用例充分满足给定的测试目标.针对给定的测试目标,获得精简的测试需求集有助于提高测试用例集优化的效率和效果.从测试需求约简的角度考虑测试用例集优化,首先给出可以精确描述测试需求间相互关系的测试需求约简模型;基于此模型,提出一种测试需求约简方法,可以获得精简测试需求集,作为测试用例集生成和约简的基础,从而实现测试用例集优化.实验结果表明,测试需求约简有助于获得规模较小的测试用例集,实现系统、科学、有效的测试.

软件安全漏洞检测技术

软件安全漏洞检测技术是提高软件质量和安全性、减少软件安全漏洞的重要方法和基本手段,受到学术界和工业界的广泛关注和高度重视.其主要途径包括软件测试、程序分析、模型检验与符号执行等.近年来,综合利用多种研究方法和技术手段来检测软件安全漏洞已成为软件安全领域的研究热点.文中首先回顾了程序分析与软件安全漏洞检测的基本概念、核心问题和传统手段.然后重点介绍该领域的最新进展,主要包括轻量级动态符号执行、自动化白盒模糊测试以及其实现技术和相应的工具.最后,指出了其所面临的挑战和发展趋势.

继电保护装置自动测试体系设计之白盒测试

基于保护装置的硬件和软件体系架构,介绍了一种继电保护装置的白盒测试体系。白盒测试体系分为PC端测试框架和装置测试支撑系统两部分,PC端通过配置测试用例,生成测试hex文件并下载到装置,装置端通过测试支撑环境装载测试用例进行测试,并通过内部调试协议与pc端交互测试结果信息,pc端通过比对模块得到测试结果,最后由pc端测试报告模块统一生成测试报告。分别对各模块的设计和测试流程进行了详细的说明。最后以CAN测试为例介绍了测试过程以及如何完成高负荷等性能测试。

基本路径测试用例设计算法

McCabe提出的基本路径测试法(McCABE T J.A complexity measure.IEEE Transactions on Software Engineering,1976,SE-2(4):308-320)是动态白盒测试技术中严谨而有效的方法,但存在测试用例设计效率较低的问题,影响了该方法在工程项目中的广泛应用。为了解决这一问题,从被测程序的基本结构出发,提出一种基于组合的基本路径测试用例设计方法。创建一种基于Z路径覆盖的基本单元图,构建由基本单元图组合形成控制流图的组合规则,以此为基础提出了基本路径组合算法,该算法只需一次扫描程序得到程序基本结构的路径集,将这些路径进行组合即可生成被测程序的基本路径集。该方法比McCabe所提出的方法构造过程简洁,能有效提高基本路径测试用例设计的效率。

基本路径测试中的McCabe算法改进与应用

基本路径测试是一种重要的白盒测试技术,具有较高的故障覆盖率.作为基本路径测试中较为常用的方法之一的MeCabe法,是通过分析程序结构和环路复杂性,从而导出基本可执行路径集,再由路径集设计测试用例.但是McCabe法的可操作性差、容易产生错误影响了其在基本路径中的应用.针对这一问题,改进了McCabe法,并对算法改进前后在基本路径测试中的应用进行对比,结果表明改进的McCabe法更简单,而且操作性更强,便于基本路径的准确生成.

白盒测试中源代码变更管理方法的研究与实现

在大型软件白盒测试项目中,源代码的频繁变化给测试工作增加了很大难度,对源代码进行管理和控制是对白盒测试过程管理的一个重要补充。在已有的软件测试过程管理模型基础上,认真分析研究版本控制和管理的相关技术现状,提出了变更管理的改进方法,对于软件模块的比较采用了抽象的方法简化为目录树,而在文件比较中基于源代码静态分析工具,把文件比较的粒度分解到方法一级,进行了方法内部比较算法的研究,设计实现了源代码版本管理子系统。

基于灰盒测试的计算机联锁系统软件自动测试研究

安全是铁路运输生产永恒的主题,联锁软件是保障铁路车站列车或机车作业安全的关键软件,而高效、充分的测试对于保证其安全性具有举足轻重的作用。文章描述了被测联锁系统的体系结构以及自动测试系统的设计,采用了基于灰盒测试方法来完成对计算机联锁系统各部分软件的功能与性能测试。

电网调度自动化系统(主站系统)专业测试方法

阐述了电网调度自动化系统(主站系统)验收的专业测试方法。由于软件系统的测试是系统测试的关键,根据软件测试的普遍性方法中黑盒测试和白盒测试的方法, 提出了“灰盒测试”的方法, 并结合实施工作对测试方式进行了说明。“灰盒测试”方法能够对调度自动化系统的各项功能和性能进行测试, 并可对系统的开放性、扩展性和可移植性做出专业的评估。

无人机飞行控制系统软件测试策略的研究

无人机飞行控制系统是无人机机载设备中最重要的部分之一；对无人机飞行控制系统软件进行严格测试是保证其质量的重要手段；首先介绍软件测试的通用的基本理论和基本方法；然后以某型无人机飞行控制系统软件测试为案例,研究了无人机飞行控制系统软件的特点；提出了一种基于经验反馈的软件测试模型,并分析了该模型的特点；最后提出了一套适用于无人机飞行控制系统软件测试的策略。

软件结构测试自动化关键技术研究

基于自主开发的自动化白盒测试工具WBoxTool,本文对开发软件结构性测试自动化工具的一些关键技术进行了研究,重点研究了静态测试、插装技术和自动测试用例选择技术。并介绍了WBoxTool的系统体系结构。分析和探讨了当前基于结构的软件测试中存在的问题和进一步的研究方向。

安全仪表系统的功能安全评估方法性能分析

针对安全仪表系统的各种安全评估方法适用性不明确的问题,基于白盒测试思想把安全评估方法抽象成具有特定功能的模块,测试该模块的过程就相当于衡量各种安全评估方法适用性的过程。最后,由比较结果给出各种安全评估方法的适用范围及其在特定环境下的置信度。

大型交互式领域应用软件白盒测试的组织和实施

针对具有大型、交互式、领域特点的软件系统,对于实际的白盒测试项目进行了认真总结,系统地阐述了该类软件测试的技术、方法、策略、过程以及管理。通过描述测试项目的组织和实施过程,提出了进行大型交互式软件测试的基本思路,即从过程、管理、培训以及测试方法等方面提取共性特征。最后对测试发现的软件问题进行统计和分析,验证测试的有效性和意义。

红外遥控节能开关插座的设计定型

为降低家用电器的待机能耗,解决因待机能耗增加而引发的环境问题,适应发达国家强制推行使用节能产品的政策,研制了一款能够应用于电视机的红外遥控节能开关插座。在介绍红外节能开关插座工作原理的基础上,提出了开关插座的硬件电路设计方案,详细论述了检测电路、比较电路、开关插头电路等关键电路,阐述了开关插座的软件设计方案,给出了节能开关插座的设计方法。通过对抽样试件进行的各种测试,提出了智能开关插座完整的定型测试流程,并获得了大量的实测数据,为设计相关节能产品提供了参考借鉴。试验结果和得到的订单情况表明,红外遥控节能开关插座设计获得了成功,具有良好的市场前景。