构件可测试性模型研究与应用

本文分析了目前军队构件化软件开发的实际情况，在已有的工作基础上，提出了一个对构件可测试性进行度量的五边形法则，该方法能够直观地体现被测构件的可测试性指标数值，能够让构件开发者清楚地了解构件存在的缺陷，指导开发人员设计出高可测试性的构件。针对笔者的实际测试项目，通过先后几次的实验数据表明五边形法则可以有效地提高构件可测试性，并得到了开发方及测试人员的认可。     

基于路径测试的程序可测试性研究

本文从路径测试模型出发，来研究程序可测试性。通过对影响测试工作的程序结构进行分析，找出了其产生原因并提出了解决策略。     

一种新的可测试性测度

本文提出了一种新的可测试性测度SCTM（A Singal Confilct oriented Testability Measure），该测度是一种scoap-like测度，它不但代表了电路中各点控制和观察的难易，而且代表了测试过程中产生信号冲突的可能性。文中引入了并行计算策略，使计算速度提高了大约m/2倍，m为计算机字长。     

频谱分析仪的可测试性设计技术研究

现代测量仪器日益强大的功能与不断激烈的市场竞争对频谱分析仪的设计提出了新的挑战，基于可测试性的设计是解决这一问题的有效手段，它在设计上将仪器的功能性与可测性有机融合，有效地提高研发效率与产品质量。本文结合频谱分析仪课题中的实际应用情况探讨了可测试性设计技术。     

SoC的可测试性设计技术

基于可复用的嵌入式IP（intellectual property)模块的系统级芯片（SoC)设计方法使测试面临新的挑战，需要研究开发新的测试方法和策略，结合系统级芯片的可测试性设计技术所面临的技术难点。详细介绍了当前系统级芯片的可测试性设计技术，分析了各种系统级芯片的可测试性设计技术的特点及其优缺点，着重讨论了国际工业界内针对系统级芯片测试的方案；IEEEP1500和虚拟插座接口联盟（VSIA）测试访问结构。     

一种有效评估桥接故障的IDDQ可测试性分析算法

鉴于传统的可测试性分析算法不能处理重汇聚扇出问题,该文提出了一种有效的评估电路桥接故障可测试性的IDDQ可测试性分析算法.这种算法是基于给电路中每个门施加基本矢量集的概率进行的.开始在原始输入端采用单值标记,通过电路分级和从原始输入端传播标记集可识别重汇聚扇出门,然后采用反向蕴含过程计算重汇聚门基本矢量的概率值,进行重汇聚扇出点的评价.实验结果表明这种算法可获得较精确的可测试性分析结果.     

数字电路测试中的关键技术研究

随着数字电路的广泛应用．电路的测试与故障诊断已成为其设计与生产过程的重要组成部分。讨论了电路的测试及故障诊断中的一些问题．主要包括故障模型、故障仿真、故障压缩及可测试性度量与测试矢量生成算法（ATPG）,并研究了电路测试技术的发展趋势．     

浅析构件测试技术

基于构件软件开发的主要思想是使用现存的构件来建构软件系统。而这样的系统由于构件本身的特点导致了许多测试困难。本文结合传统的软件测试技术,针对构件技术新特性在测试中引发的问题,对构件软件的集成测试和性能测试等问题进行了讨论和分析,并给出了构件软件测试的存在问题和研究方向。     

舰船抗冲击测量设备环境适应性技术研究

测量设备如何在海上恶劣环境中工作,是装备建设的一大难题。本文首先对靶场试验所面临的各种气候环境和机械环境要求进行了分析;其次对测量设备抗恶劣环境存在的问题进行了研究;最后,围绕如何提高测量设备抗恶劣环境能力,对可测试性技术、智能容错技术、加固技术在设备设计中的应用进行了初步探讨。     

模拟线性电路中故障元件存在范围的确定

为了简化模拟线性电路故障诊断定位阶段的工作量，提出了1种确定故障元件存在范围的方法.即在十分现实的K故障假设下，确定能代表电路所有元件并给出在K故障假设下的故障诊断方程的唯一解的1组元件--最优可测试元件组，使故障定位工作只局限于该组元件，而不必对电路所有元件进行.该方法构成了故障定位的第一步，且与故障定位方法无关.方法基于电路的可测试值计算和规范式不确定性组的确定，它在可测试性与不确定性组概念中具有严格的理论基础，其可测试性计算可直接从参数类型故障诊断技术中推得.     

基于组件的软件系统的接口测试

软件测试在整个软件开发过程中占有非常重要的地位，现代软件系统越来越复杂，基于组件的软件工程方法为开发者提供了一个设计软件的方法。利用有限状态自动机可以描述组件各状态及状态间转换，程序执行状态图（PESC）及各种覆盖准则可用来描述程序执行状态及其变化，对于展开的状态图，由它来产生一棵测试树，该树包含了所有的测试路径。     

基于构件技术的软件测试问题探讨

描述了构件技术的特点，介绍了构件及构件软件的概念、特点和由此引发的测试问题，以及现有构件软件测试方法的研究情况。     

A Metadata Model Based on Coupling Testing Information to Increase Testability of Component

A software component must be tested every time it is reused in order to assure quality of component itself and system in which it is to be integrated. So how to increase testability of component has become a key technology in the software engineering community. Here a method is introduced to increase component testability. And meanings of component testability and relative effective ways to increase testability are summarized. Then definitions of component coupling testing criterion, DU-I （Definition-Use Information） and OP-Vs （ Observation-Point Values ） are given. Base on these, a definition-use table is introduced, which includes DU-A and OP-Vs item, to help component testers to understand and observe interior details about component under test better. Then a framework of testable component based on above DU-table is given. These facilities provide ways to detect errors, observe state variables by observation-points based monitor mechanism. Moreover, above methods are applied to our application developed by ourselves before, and some test cases are generated. Then our method is compared with Orso method and Kan method using the same example, presenting the comparison results. The results illustrate the validity of our method, effectively generating test cases and killing more mutants.     

软件测试研究进展

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

基于合约的构件易测试性设计支撑工具的设计与实现

构件技术的新特点为构件测试带来挑战.合约式设计是一种重要的软件易测试性设计方法.基于合约的构件易测试性设计为构件测试提供了一种有效的手段.设计并实现了一种新的合约式设计工具(PKUJDBCT),为构件的易测试性设计提供有力的支撑,并为今后进一步研究基于合约的构件易测试性设计方法打下了良好的基础.     

一种基于 Agent的构件组装机制

讨论了软构件组装中存在的问题,结合Agent的特性研究设计了一种基于Agent的构件组装机制,由不同开发商设计的、具有不同接口标准的构件不需要修改可以直接实现相互合作,为基于构件技术开发软件系统提供有力的支持.     

不匹配构件组装技术研究与应用

基于构件的软件开发是软件工业化生产的必然趋势,构件组装是构件化软件开发的一个重要步骤。介绍了构件组装中的不匹配构件组装,以对某一不匹配构件组装为例,为不匹配组装问题提供了一种可行的解决方法。     

一种基于构件的嵌入式实时软件测试方法

基于构件的嵌入式实时软件测试方法是比较新的研究热点,它面临着接口描述未标准化、实时性要求高等问题。通过提出一种基于构件的嵌入式实时软件时间自动机模型——CBESTA,能够有效地测试基于构件的嵌入式软件的实时性,提高嵌入式软件的质量。     

A component-based back-propagation reliability model with low complexity for complex software systems

Since most of the available component-based software reliability models consume high computa- tional cost and suffer from the evaluating complexity for the software system with complex structures, a component-based back-propagation reliability model （CBPRM） with low complexity for the com- plex software system reliability evaluation is presented in this paper. The proposed model is based on the artificial neural networks and the component reliability sensitivity analyses. These analyses are performed dynamically and assigned to the neurons to optimize the reliability evaluation. CBPRM has a linear increasing complexity and outperforms the state-based and the path-based reliability models. Another advantage of CBPRM over others is its robustness. CBPRM depends on the component relia- bilities and the correlative sensitivities, which are independent from the software system structure. Based on the theory analysis and experiment results, it shows that the complexity of CBPRM is evi- dently lower than the contrast models and the reliability evaluating accuracy is acceptable when the software system structure is complex.     

软件开发方法探讨

软件开发方法自20世纪70年代提出后，前后经历两个大的发展阶段：结构化软件开发方法与面向对象的软件开发方法，后者比前者的需求分析更接近问题域，而且可维护性、可重用性等软件质量指标都有了实质性的突破，然而面向对象的软件开发方法的可重用度还不够，借鉴硬件的发展，软件能否也朝着组装模式发展呢?这就是基于构件的软件开发方法的初衷．