在语句覆盖和判定覆盖测试标准之间的差别分析

语句覆盖和判定覆盖测试标准是两个著名的测试标准，这两个标准广泛的应用于软件测试。本文就语句覆盖和判定覆盖测试标准之间手差别进行了分析证明和比较，旨在对不同的测试标准之间的差别分析后拟提出一个定量的度量算法。     

结合语句执行补集的程序错误定位

基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能,即可疑度,通过逐条检查按可疑度值降序排列的语句序列来确定错误语句.针对已有的方法大多只考虑覆盖信息中语句执行信息的问题,分析了语句执行补集对错误定位的积极影响,进一步提出了在语句执行信息基础上结合语句执行补集的错误定位方法.实验结果表明,与其他方法相比,所...     

基于测试覆盖的NHPP模型

软件可靠性工程是对软件的质量进行管理和控制的实用性学科,而软件可靠性模型又是软件可靠性工程的基础之一,为了保证可靠性模型的估测精度,好的软件可靠性模型必须包括对软件可测试性及测试覆盖等的说明功能。     

基于统计占优分析的变异测试

为数众多的变异体产生的高昂测试代价严重影响了变异测试技术在实际程序中的应用.为了大幅度减少弱变异测试中变异体的数量,提出基于统计占优分析的变异体约简方法.该方法首先利用变异前后的语句构造变异分支,并将所有变异分支集成到原程序中,形成新的被测程序;然后,通过统计测试用例对各个变异分支的覆盖信息,确定变异分支之间的占优关系;最后得到非被占优分支集,其对应的变异体就是约简后的变异体.将该方法用于8个程序的测试,结果表明:该方法能够约简平均90%的变异体,从而显著提高了变异测试的效率.     

不变量的程序潜在错误预测

随着软件系统变得越来越复杂和庞大,软件中的安全缺陷也急剧增加,系统中的隐含错误也在逐渐增多.提出一种基于不变量的程序潜在错误预测方法,首先采用支持向量机对程序属性所产生的非函数依赖程序不变量进行学习并产生机器学习模式,然后运用该机器学习模式对需预测的程序进行属性分类,并揭示出代码可能存在的潜在错误,最后通过实验验证该方法是有效的.     

基于变量感染分析的软件错误定位技术

在实际调试中,程序员往往通过追溯错误的变量值及其传播来定位软件错误,其中具有错误值的变量称为感染变量,感染变量在失败运行中具有错误值的程序位置即为感染位置。提出了一种结合动态正向程序切片和语句覆盖信息对程序变量感染的初始位置进行定位的技术。该技术通过分析感染变量的起源与传播,可以更加精确地找到与感染变量相关的错误语句集合。与传统的基于程序覆盖信息的错误定位技术进行了对比实验,结果表明,该技术可定位程序中的感染变量及其初始感染位置,并且可以显著提高程序错误定位的精度。     

基于IEEE1149.4的混合信号边界扫描测试控制器设计

简要介绍了IEEE1149.4混合信号测试总线及其特点,并根据该标准定义的测试结构对混合信号电路的测试方法进行研究,设计出符合IEEE1149.4标准的边界扫描控制器及其验证电路,实验结果表明该测试控制器能实现对混合信号电路板的测试,大大提高了混合信号电路板的可观性和可控性.     

针对可观测性语句覆盖准则的RTL激励生成

传统的语句覆盖准则只考虑语句的可控制性,忽略其可观测性,这可能导致表面上很高的覆盖率数据所蕴含的可信度不高.鉴于此,可观测性覆盖评估准则被提了出来.随着设计规模不断加大,该准则变得越来越重要.首先提出一种可观测性信息的表征方式以及可观测性判定规则,在此基础上,提出一种针对可观测性语句覆盖准则的RTL激励生成方法.这是一种基于模拟的方法,它以所有未观测语句的分布作为启发式信息,指导激励生成.实验结果显示,提出的方法是高效的.     

装备自动测试系统软件的可测试性设计与分析

针对导弹通用自动测试系统的功能与实现,对系统的软件部分进行可测试性设计分析研究。结合目前测试系统软件的测试与排错技术研究,提出了几种提高软件可测试性的可行性设计技术。实践证明,这些技术可以显著提高自动测试系统软件的可测试性。     

基于程序路径分析的有效蜕变测试

蜕变测试对于预期输出难以构造的程序是实用和高效的.作者在系统研究已有蜕变测试方法和路径分析技术的基础上,首先针对使用二元蜕变关系的测试提出了一组蜕变测试准则,以在多个不同的层次上定义蜕变测试用例集的充分性;然后给出了3种能够生成相应测试用例集的算法;最后通过变异分析的方法证实这些算法的有效性.实验结果表明,蜕变关系和测试准则的选取直接影响到测试的效果,另外,使用蜕变关系全路径覆盖可满足性算法(APCEMsT)可以快速准确地发现待测程序中的错误,而生成的测试用例的数量却比传统技术要少.     

消息传递并行程序的弱变异测试及其转化

并行程序执行的不确定性,增加了测试的复杂性和难度.研究消息传递并行程序的变异测试,提出其弱变异测试转化方法,以提高该程序变异测试的效率.首先,根据消息传递并行程序包含语句的类型和语句变异之后导致的变化构建相应的变异条件语句;然后,将构建好的所有变异条件语句插入到原程序中,形成新的被测程序,从而将原程序的弱变异测试问题转化为新程序的分支覆盖问题.这样做的好处是,能够利用已有的分支覆盖方法解决变异测试问题.将该方法应用于8个典型的消息传递并行程序测试中,实验结果表明,该方法不但是可行的,也是必要的.     

基于信息流缺陷定位方法在软件测试中的应用

随着软件产业的飞速发展,人们对软件质量的要求也越来越高.现在,软件已经直接影响到了我们项目的成功和设备的安全.而软件中的复杂缺陷难以排除,因为它们涉及到许多程序要素之间的相互作用.论文扩展了基于信息流覆盖的缺陷定位技术.扩展后的技术融合了语句覆盖和分支覆盖技术,它还能定位复杂缺陷.试验结果表明,文中方法比基于语句覆盖、分支覆盖和定义使用对覆盖的方法要更可靠、更精确.     

构件软件测试技术研究进展

软构件技术提供了一种较面向对象方法更为有效的软件设计模式,构件软件被广泛应用并成为一种主流软件形态．然而,构件的内部信息屏蔽、演变速度快以及构件间的异质、松耦合等特点给构件软件系统的测试带来极大的挑战,寻求高效的构件软件测试技术和开发实用的测试工具是当今软件业界一个亟待解决的课题．分析和归纳近年来一些典型的构件、构件软件测试方法和技术并对当前较为有效的测试框架和工具进行总结;最后,对其今后若干研究方向进行了展望．     

ATS中TPS的软件测试技术研究

自动测试系统(ATS)的软件是整个系统的核心,而软件测试是保证TPS质量的关键要素.在总结TPS的软件测试经验的基础上,给出了TPS的软件测试模型,分析了TPS软件测试中遇到的相关技术,并且在ATE8000等项目开发中取得了良好的效果.     

采用部分增强型扫描提高跳变时延故障覆盖率的触发器选择方法

选择关键的常规扫描触发器进行置换是采用部分增强型扫描时延测试方法的核心问题.通过定义常规扫描触发器和未检测跳变时延故障的相关度的概念及其计算方法,提出一种触发器选择方法.首先找到被测电路中采用捕获加载方法不可测,但采用增强型扫描可测的跳变时延故障;然后依据常规扫描触发器与这些故障的相关度把少量关键的常规扫描触发器替换成为增强型扫描单元,从而有效地提高电路中跳变时延故障被检测的概率.实验结果表明,采用文中方法在可以接受的硬件开销下能有效地提高被测电路中的跳变时延故障覆盖率.     

改进ROS2.1的软件业务流程测试方法

在红旗办公服务器—Redoffice Document Server 2.0（RDS2.0）中,软件业务流程的测试用例繁复冗余,而且软件业务流程测试效率不高。针对这些问题,在RDS2.0的升级版本Red Office Server 2.1（ROS2.1）中使用了改进后的软件业务流程测试方法。这些方法减少测试用例的数量和测试工作量,同时提高软件测试覆盖率和效率。     

利用反射实现商业软件组件(COTS)的测试

由于商业软件组件可以全面地削减开发成本和缩短开发时间，所以被越来越多的大型软件项目所采用。然而，撇开这些优点不谈，为了确保它的功能和开发商所说的相符，为了校验质量，还是需要对它们进行有效的测试。同样重要的是，我们需要确保当它们被集成到最终系统中时，不执行有害代码，比如特洛伊木马和问谍软件，为此本文提出一种测试COTS的方法，可以对这些组件进行全面的测试。     

Security Attack Testing (SAT)—testing the security of information systems at design time

For the last few years a considerable number of efforts have been devoted into integrating security issues into information systems development practices. This has led to a number of languages, methods, methodologies and techniques for considering security issues during the developmental stages of an information system. However, these approaches mainly focus on security requirements elicitation, analysis and design issues and neglect testing. This paper presents the Security Attack Testing (SAT) approach, a novel scenario-based approach that tests the security of an information system at the design time. The approach is illustrated with the aid of a real-life case study involving the development of a health and social care information system.     

测试图形法在Protos自动测试台中的应用

本文简要介绍Protos高速卷烟机自动测试台的工作原理及其图形测试输入法的基本应用。为检验某项功能,先给定输入测试图案,当被测系统的输出响应图案与输出预期响应图案一致时,说明此项功能检验正确。反之,有故障。     

双馈型变速恒频风力发电系统的鲁棒控制

研究了双馈变速恒频风力发电系统的鲁棒控制问题. 采用定子磁场定向的矢量变换技术, 建立了系统非线性数学描述, 利用非线性鲁棒控制技术, 设计了能实现发电机输出有功功率和无功功率鲁棒解耦控制, 同时具有鲁棒干扰抑制作用的转子励磁控制器. 理论分析和仿真结果均表明, 所设计的控制器可以保证在风速变化、系统参数不确定性和外部干扰的情况下, 风力发电系统仍能安全可靠地最大获取风能, 并且输出恒频恒压的电量.