构件可测试性挑战

构件的可测试性是设计和测试软件程序及构件的重要概念之一。运用具有良好的可测试性的程序和构件来构建软件,可以简化测试操作、减少测试开销、提高软件质量。James Bach曾指出,有一些程序特性可以用于可测试的软件,包括可操作性、可观察性、可控制性、易理解性等等。Jeffrey M.Voas和Keith W.Miller 将软件可测试性看成是可靠性的三个难题之一。他们指出软件可测试性分析对于检测和评估一个使用经验主义(empirical)分析方法的软件测试是很有用的。     

基于UML类图的软件可测试性分析方法研究

为了降低面向对象软件的测试复杂性,降低测试的成本,提高软件质量,在目前软件可测试性研究的基础上,提出了将圈复杂度和UML类图转化而来的类依赖关系图(CDG图)结合起来,分析和度量类之间相互关系的复杂性,以此来指导可测试性的改善以及开发和测试的设计.最后通过实例表明,该方法可以指导软件的设计,提高软件的可测试性,从而降低...     

COM技术在软件可测试性中的应用

为解决某导弹自动测试系统软件测试难度大的问题，介绍了常用提高软件可测试性的方法和DLL技术。并运用COM技术设计出该系统的组件软件，显著提高了自动测试系统软件的可测试性。     

可测试性设计中的优化问题及求解算法

近２０年来,为了解决结构日益复杂ＶＬＳＩ电路的测试问题,可测试性设计得到了迅速发展。在可测试性设计中,如何针对不同的对象及测试需求进行优化设计,以尽可以降低总体设计代价,是一个非常重要且亟待解决的问题。文章应用图论对可测试性设计中的两种典型优化问题进行了数学描述,并构造了相应的可行求解算法。     

可测试性设计中的优化问题及求解算法

近20年来,为了解决结构日益复杂的VLSI电路的测试问题,可测试性设计技术得到了迅速发展.在可测试性设计中,如何针对不同的对象及测试需求进行优化设计,以尽可能降低总体设计代价,是一个非常重要且亟待解决的问题.文章应用图论对可测试性设计中的两种典型优化问题进行了数学描述,并构造了相应的可行求解算法.     

VLSI芯片的可测试性、可调试性、可制造性和可维护性设计

CMOS器件进入深亚微米阶段，VLSI集成电路（IC）继续向高集成度，高速度，低功耗发展，使得IC在制造、设计、封装，测试上都面临新的挑战，测试已从IC设计流程的后端移至前端，VLSI芯片可测试性设计已成为IC设计中必不可少的一部分，本文介绍近几年来VLSI芯片可测试性设计的趋势，提出广义可测试性设计（TDMS技术）概念，即可测试试性，可调试性，可制造性和可维护性设计，并对可调试性设计方法学和广义可测试性设计的系统化方法作了简单介绍。     

软件可测试性检测技术研究

软件的可测试性表示软件中故障检测的难易程度，是重要的软件质量特性之一。文章介绍相关的故障／失效模型和RELAY错误检测模型。提出了一个完整的软件故障检测过程：执行过程、传染过程、传播过程。对程序结构，最小表达式错误产生、计算转移、信息流转移等进行分析。提出了一种通过概率进行度量的可测试性静态检测方法，即整个程序可测试性由其包含的所有语句可测试性均值得到。     

投稿须知

正一、报道内容:◆国内外网络化试验和测试技术发展综述与评论;◆先进的总线技术、人工智能诊断技术、系统集成技术以及控制理论在工业领域和军事中的应用研究;◆基于总线系统的边缘扫描测试技术、机内测试、遥测遥控技术和自动测试系统的设计与开发;◆芯片级/电路板极/系统级可测试性设计与验证技术;◆武器装备可测试性设计与测试性验证技术;◆军工产品预测与健康管理(PHM)技术的研究与应用;◆网络化试验与测试故障诊断技术的研究与应用;◆虚拟测试与试验验证、混合信号测试和微系统测试技术研究;◆嵌入式系统软件、软件测试以及工控组态软件的开发与设计;◆国外先进的测试标准及应用;◆特种传感器技术研究及应用;◆基于计算机技术和总线技术的智能仪器仪表的设计与开发。     

基于IEEE1149标准的电子装备可测试性设计技术研究

针对新型电子装备功能与结构复杂、测试诊断难度大的问题,基于IEEE1149标准,提出了电子装备可测试性设计方法,系统地分析了模块级产品可测试性设计的内容,提出了器件与测试接口设计要求,阐述了测试扫描链路设计方法,并进一步研究了测试信号完整性设计技术,并结合电子装备计算机体系结构,设计了系统级测试性设计框架;通过实际验证,该项技术对于边界扫描器件互连测试覆盖率达100%,可以提高装备测试性设计水平,满足了电子装备测试诊断的需求.     

IEEE 1149.1可测试性设计技术的研究与发展

在分析ＶＬＳＩ可测试性设计技术的发展情况和设计准则的基础上,讨论了研究与发展ＩＥＥＥ１１４９．１可测试性设计技术的重要意义,以及该技术在我国民用和军用工业应用的前景。     

软件测试性设计综述

软件测试性设计分为四类：设计时应当遵循的测试性设计原则,通过改变设计或代码提高软件测试性的专用测试性设计技术,为软件增加专门测试结构的结构化测试性设计技术和在软件开发全周期考虑软件测试的测试性设计综合技术。软件测试性设计方法借用了很多硬件测试性设计思想,但在许多方面还能进一步发展。     

Software testability measurement for intelligent assertion placement

Voas defines software testability as the degree to which software reveals faults during testing. This software characteristic is important when determining how to best apply verification techniques and build quality assurance plans. When testability is low, testers often want advice on how to increase it. In this paper, we describe the use of testability measures (using VoasÕs definition) for intelligent assertion placement. Software assertions are one relatively simple trick for improving testability. VoasÕs perspective on what software testability is has been implemented via three algorithms that together comprise a technique termed Ôsensitivity analysisÕ. Sensitivity analysis analyses how likely a test scheme is to (1) propagate data state errors to the output space, (2) cause internal states to become corrupted when faults are exercised, and (3) exercise the code. By knowing where faults appear likely to hide from a particular test scheme, we have insight into where internal tests (assertions) are particularly beneficial. This paper explores using the one sensitivity analysis algorithm that measures propagation as a heuristic for where and how to inject software assertions.     

A measurement framework for object-oriented software testability

Testing is an expensive activity in the development process of any software system. Measuring and assessing the testability of software would help in planning testing activities and allocating required resources. More importantly, measuring software testability early in the development process, during analysis or design stages, can yield the highest payoff as design refactoring can be used to improve testability before the implementation starts.

This paper presents a generic and extensible measurement framework for object-oriented software testability, which is based on a theory expressed as a set of operational hypotheses. We identify design attributes that have an impact on testability directly or indirectly, by having an impact on testing activities and sub-activities. We also describe the cause-effect relationships between these attributes and software testability based on thorough review of the literature and our own testing experience. Following the scientific method, we express them as operational hypotheses to be further tested. For each attribute, we provide a set of possible measures whose applicability largely depends on the level of details of the design documents and the testing techniques to be applied. The goal of this framework is twofold: (1) to provide structured guidance for practitioners trying to measure design testability, (2) to provide a theoretical framework for facilitating empirical research on testability.     

软件内建自测试及其面向对象模板的设计

论文提出了一种软件可测性设计技术———软件内建自测试及其实施方案,以期提高软件测试效率,改进软件产品质量。论文还重点讨论了方案中面向对象模板设计中的若干问题,并给出了设计实例。     

软件的易测试性分析方法述评

软件测试是软件工程领域中重要组成部分。随着软件规模的不断扩大,测试工作的复杂性也不断升高,而改善、提高软件易测试性则是降低测试复杂性的有效手段。为达到这一目标,首先要能对软件的易测试性进行准确的度量。这种度量结果除了作为软件度量的一个量化指标外,还应能为改善易测试性提供指导、为测试的设计提供有效帮助。本文对现有软件易测试性分析方法进行归类,将已有技术大致归并为基于复杂度分析、基于信息论分析、基于PIE技术分析和基于UML类图分析四种基本类型。简要介绍了每一类方法,对这些方法的特点与不足进行分析比较,并探讨今后的研究方向。     

Measuring design testability of a UML class diagram

Design-for-testability is a very important issue in software engineering. It becomes crucial in the case of OO designs where control flows are generally not hierarchical, but are diffuse and distributed over the whole architecture. In this paper, we concentrate on detecting, pinpointing and suppressing potential testability weaknesses of a UML class diagram. The attribute significant from design testability is called ‘class interaction’ and is generalized in the notion of testability anti-pattern: it appears when potentially concurrent client/supplier relationships between classes exist in the system. These interactions point out parts of the design that need to be improved, driving structural modifications or constraints specifications, to reduce the final testing effort. In this paper, the testability measurement we propose counts the number and the complexity of interactions that must be covered during testing. The approach is illustrated on application examples.     

一种新的提高软件易测试性的合约式设计方法

软件测试是保证软件质量的重要手段。软件测试呈现向软件开发的前期发展、与软件开发的设计阶段和编码阶段相融合的发展趋势。软件的易测试性逐渐受到人们重视。合约式设计是一种有效的软件易测试性设计方法。本文介绍了软件易测试性设计的基本思想和主要方法,提出一种新的合约式设计方法,对现有各种基于Java语言的合约式设计工工具进行比较,开发了一种新的合约式设计工具,并通过实验验证了方法的有效性。     

B/S软件测试技术及工具实现

由于软件规模和复杂性的增加,软件测试技术研究和工具开发滞后,软件测试中存在大量的手工劳动,从而使得软件测试的效率很低,费用很高。文章从测试的角度分析了B／S系统的特点,依据可测试性方面的策略,确定合适的测试接口,进行测试建模,给出了相应测试用树生成的方法,并讨论了测试管理的相关方面。最后,介绍了B／S测试支持系统的设计,其核心部分是在浏览器中建立标准测试接口,从而在运行平台中提供对测试的支持。     

机载设备测试性建模与应用

测试性模型是进行测试性仿真、设计、分析、评估的基础和关键。该文描述了设备测试性建模方法与测试性建模流程,为实现对复杂系统的测试性分析及故障诊断,获取有指导意义的诊断策略服务实际应用。测试性设计中采用多信号流建模技术,分层次建立某型机载音频设备的测试性模型;对设备故障模式、故障影响的分析归纳,收集各层级设备故障模式样本形成FMEA分析表;运用计算机建模仿真工具辅助,构建了定量化的测试性模型;通过模型仿真获得被测设备故障检测率、隔离率以及相关故障诊断流程;经测试性指标对比分析及测试性试验验证,发现该测试性模型中薄弱环节,经过迭代模型、改进测试性方案后,显著提高了设备的测试性指标,满足设备的应用使用需求。     

C++类测试描述语言的设计和实现

根据一种软件可测性设计技术——软件内建自测试的实施方案，该文提出了一种针对C 类测试的测试描述语言TDL，以提高C 类测试数据的存储结构化，方便其共享和复用。重点讨论了TDL语言的核心对象和结构，并给出了一个TDL程序的实例。