基于故障注入的雷达装备测试性验证试验方法

为将测试性验证工作充分应用于雷达装备中,分析现有测试性验证工作的流程以及方法;现在的测试性验证工作一般采用三阶段评定法:测试性设计核查、试验验证和使用评价,这些方法都是在相应的阶段进行的,得到本阶段测试性验证的结果;对雷达装备采用故障注入的方法进行测试性验证试验,进行故障检测和数据收集处理得出相应的测试性指标参数,用来评定雷达装备当前的测试性水平是否合格并给出接收或者拒收的结论。     

压力测试在Web程序中的应用过程

压力测试是每项Web应用开发工作的一部分,并且应该在开发过程的早期进行。压力测试主要是针对系统的性能指标制定压力测试方案,执行测试用例,得出测试结果来验证系统的性能指标是否满足既定值。本文对如何规划压力测试工作、定义测试环境和策略、选取度量标准、选用适用的测试工具以及如何解释测试结果这一过程进行了概述。     

软件测试方法与过程管理

软件测试是保证软件质量的关键步骤,既要应用软件测试技术又必须加强软件测试工作的组织管理才能保证测试工作有序、有效地进行,从而保证软件质量。本文介绍测试人员的组织管理、测试过程以及测试技术应用实例。     

基于ZigBee的制导炮弹测试信息无线传输系统

传统的总线式自动化测试系统采用有线信息传输方式,每次只能对一个设备进行测试,测试效率低、成本高。针对制导炮弹并行、内嵌式测试体系的测试信息无线传输需求,开发一种基于ZigBee协议的测试信息无线传输系统。该系统可同时对多个设备进行测试,并将数据通过WSN传输到测试中心。对系统的功耗和通信性能进行测试,电池供电情况下,系统可工作3个月以上,且通信误码率低于0.01%。实验结果表明,系统工作稳定,信息传输特性符合设计技术要求,可有效解决测试线缆连接复杂和测试效率低的系统性问题。     

如何对Web应用程序进行压力测试

压力测试是每项Web应用开发工作的一部分，并且应该在开发过程的早期进行。压力测试主要是针对系统的性能指标制定压力测试方案，执行测试用例，得出测试结果来验证系统的性能指标是否满足既定值。对如何规划压力测试工作、定义测试环境和策略、选取度量标准、选用适用的测试工具以及如何解释测试结果这一过程进行了概述。     

基于形式化的测试框架及实例分析

测试工作细致繁杂,如何保证测试工作的全面性、完整性,并建立统一的测试理论,指导测试工作自动、高效的展开,继而提高测试的复用性,是我们长久以来追求的目标。本文设计了通用的测试框架,依托基于模型的测试理论,支持通用的测试序列产生方法,由抽象测试序列得到相应的可执行测试序列,论证了此框架的合理性。同时依托该框架设计并实现了相应的关键测试构件之后,利用相应测试构件,在IPv6环境下针对OpenFlow协议进行了一致性测试,发现了Openflow协议实现对IPv6支持的一些实现错误,达到了预期效果。     

基于VXI总线的飞机进气道控制设备自动测试系统设计

进气道控制系统对现代飞机有重要的作用,对进气道拧制系统进行测试是一项重要而叉复杂的工作;针对JKC-1型飞机进气道控制设备的工作环境和系统参数复杂的特性和测试的具体需求,设计了基于VXI总线的进气道控制设备自动测试系统,模拟进气道拧制设备的工作环境,测试其性能,并可以通过网络对测试进行监控;详细阐述了系统的结构’匮计、硬件配置和软件开发;实用证明,该系统精度满足要求。能完成预定测试工作,运行性能良好。     

数字指令驱动电路测试方法研究

为完成数字指令驱动电路的指令测试,设计了计算机-单片机-被测电路的三级硬件架构及软件程序。计算机按照数字指令驱动电路的指令格式进行发送与接收工作,单片机辅助测试,将数字指令驱动电路的执行结果反馈给计算机,计算机进行比对以完成对数字指令驱动电路的指令测试工作。应用这一系统,实现了无人值守的数字指令驱动电路测试工作,提高了测试效率。通过实验验证了将嵌入式技术应用于集成电路测试工作中的可行性与优越性,为集成电路的测试工作又开辟了一条快速通道。     

座舱压力控制器测试系统设计

文中介绍了一种基于PXI模块化设计的数字化座舱压力控制器的测试系统。该测试系统具备对座舱压力控制器进行平台级测试的能力,可用于座舱压力控制器的调试,试验及验收工作。测试系统在设计中,采用了可配置的模块化设计思想,可通过全仿真、半仿真、全实物测试等不同的测试方法来对应不同的测试场景,可选择不同的硬件激励设备及不同的软件功能组件进行功能组合,对于提升测试性指标,完善座舱压力控制器在调试、试验、验收等各个环节的测试工作具有重要的意义。     

对基于模型诊断测试理论的修正与扩充

虽然McIlraith和Reiter对基于模型诊断的测试进行了阐述,但他们的工作限定条件过于严格.该文放宽了相关测试定理的限定条件,给出了修正后的相关测试定理及其证明.作为对McIlraith工作的推广,对鉴别诊断原理的测试条件进行了扩充,提高了鉴别测试的适应性.     

网络中继系统的抽象测试方法研究

抽象测试方法为测试集设计者提供在不同条件下最合适的方法 .目前现有的测试方法主要为端系统设计 ,很少有关于中继系统的测试研究 .该文讨论中继系统的抽象测试方法 .首先引入被测中继系统模型 R-SUT,然后给出中继系统测试的概念结构 ,在此基础上提出几种中继系统抽象测试方法 .最后给出用该文提出的方法对因特网路由器、SMTP电子邮件服务器和分组装 /拆设备 PAD等中继系统的测试实践经验 .这些方法还可以用于 ATM交换机的测试 .     

基于分支覆盖的回归测试路径选择

回归测试是迭代式软件开发的重要环节,测试数据生成是回归测试的前提.传统的回归测试方法,从已有的测试数据中选择部分测试数据,并生成一些新的测试数据,以验证程序的正确性.但是,该方法容易生成冗余的测试数据,从而降低了回归测试的效率.研究了回归测试的分支覆盖问题,通过利用已有测试数据的路径覆盖信息,并选择一定个数的路径,以覆盖所有的目标分支.首先,以若干路径形成的集合作为决策变量,以路径最少、覆盖的分支最多以及包含的未覆盖路径最少为目标,建立路径选择问题的3目标优化模型;然后,采用遗传算法求解上述模型时,设计了基于目标重要性的个体评价策略;最后,基于已有的测试数据与选择的路径之间的覆盖关系,确定需要生成的测试数据.将所提方法应用于6个基准工业程序测试中,并与其他方法比较.实验结果表明,采用该方法选择的路径,能够覆盖更多的分支,需要生成的测试数据更少,回归测试消耗的时间更短.     

基于布尔表达式约束的测试用例生成技术

布尔表达式约束在软件规格说明和程序中广泛存在，这些约束可作为软件系统的模型，成为测试用例生成依据。本文调研分析基于布尔表达式约束的测试用例生成方法，主要分为基于约束语法的测试和基于约束语义的测试。归纳总结基于约束语法测试的各种故障类型和测试策略，并比较各种测试策略的适用情形和故障检测能力，也对基于约束语义测试的各种约束获取和求解方法进行性能分析，并介绍了典型工具。最后对未来的研究发展进行展望。     

基于强化学习算法的神经网络模糊测试技术优化研究

现有神经网络模糊测试技术在测试样本生成阶段通常对初始样本进行随机变异,导致生成样本质量不高,从而测试覆盖率不高;针对以上问题,提出一种基于强化学习算法的神经网络模糊测试技术,将模糊测试过程建模为马尔可夫决策过程,在该模型中,测试样本被看作环境状态,不同的变异方法被看作可供选择的动作空间,神经元覆盖率被看作奖励反馈,使用强化学习算法来学习最优的变异策略,指导生成最优测试样本,使其能够获得最高的神经元覆盖率;通过与现有的主流神经网络模糊测试方法的对比实验表明,基于强化学习算法的神经网络模糊测试技术,可以提升在不同粒度下的神经元覆盖。     

航天软件测试模型构建与应用

针对航天软件高可靠性的特点,构建一种输入与输出模型测试方案,提出基于覆盖测试算法的测试方法,测试覆盖算法主要包含三种功能测试方法和三种结构测试方法。功能测试主要使用基于边界的方法、定义等价类、使用决策表分析三种方法。结构测试主要使用基于路径的测试、数据流测试、片测试三种方法。实例验证,该方法清晰明了、便于发现航天软件缺陷、降低航天软件开发风险与代价以及保证航天软件质量。     

Codec Testing Using Synchronized Analog And Digital Signals

Five methods for verifying coder/decoder operation in telecommunications PC boards provide the engineer optimal fault coverage with minimal test time. All methods support a dual-purpose testing strategy: (1) to conduct an in-circuit board test to detect assembly errors before a functional test and (2) to conduct a functional test in which stress is applied to detect marginal performance. All methods involve the use of synchronized analog and digital signals with optional IEEE-488 instruments for detail inspection. The first two methods, coder testing and decoder testing, are appropriate techniques for traditional in-circuit testing. The next two methods, analog loopback testing and digital loopback testing, are considered quasi-functional tests. The test signal path between stimulus and response may traverse a number of different ICs but not dynamically test complete board operation. The last method, functional instruments testing, allows detailed performance parameters specific to the device being tested to be verified. Sample test programs are presented for each method.     

一种面向对象的Web Application测试模型

为了保证Web应用的质量和可靠性,需要不断加强对Web应用软件的测试研究.Web应用软件的有效测试依赖于对其进行充分的分析和理解,提出良好的测试模型,并基于测试模型提出测试策略和测试方法.提出了一种面向对象的Web应用软件测试模型WATM,并且基于WATM提出了测试用例的设计和选择的方法,从而更好地支持Web应用软件的导航测试和状态行为测试.     

面向对象程序的抽象类测试之研究

许多面向对象语言支持抽象类机制,抽象类是一种特殊的类,因为它本身不能被实例化,所以对抽象类的基于执行的测试就比测试一般具体类更复杂。测试一般类需要该类的实例,然后调用方法执行测试用例,并分析测试结果,而测试抽象类就不能直接这样做了。论文首先分析了抽象类的故障特征,并提出了抽象类测试的改进方法。     

同步发电机励磁系统自动电压调节器通用测试系统的设计

针对传统的自动电压调节器测试方法存在测试项目较少、安全性差、建设成本高、设备参数差异大等缺陷,提出了一种基于LabWindows/CVI的自动电压调节器通用测试系统的设计方案,并介绍了系统的构成和原理。该系统实现了自动电压调节器的动态测试,相比于传统的测试系统,具有测试项目齐全、测试周期短、通用性强等优点。     

Heuristic-driven Techniques for Test Case Selection

We propose an approach to testing that combines formal methods with practical criteria, close to the testing engineer's experience. It can be seen as a framework to evaluate and select test suites using formal methods, assisted by informal heuristics. We also introduce the formalism of enriched transition systems to store information obtained during the testing phase, and to adapt classical test generation techniques to take advantage of the possibilities of the new formalism.