Testability is an important quality characteristic of software , it refers to the probability that a piece of software will fail on its next execution during testing ( with a particular assumed input distribution ) if this software includes a fault 软件的可测试性作为一个软件度量指标，是指软件在任意给定输入集合下进行测试的过程中，其中存在的错误能够被揭示出来的概率。
First of all , this dissertation gives a simple introduction of uml and model - based testing technology , points out advantages of applying uml models to direct testing , then analyzes all kinds of uml models , their testability and test strategy 本文首先对uml以及基于模型的测试方法做了简单介绍,指出了uml模型用于指导测试的优势所在,并分析了uml各种模型及其可测试性和测试策略。
According to the test requirements and the signature of the embedded computer , i use special methods and procedures for each module and the whole machine , then complete the test programs 根据被测的嵌入式计算机的可测试性，以及功能、性能的测试需求，采用从芯片、模块到整机系统的层次结构的测试方法，设计了各模块及整机自动测试的方法和步骤，在此基础上，编写了测试程序并调试通过。
Test has been important step in the procedure of design and production of embedded computers which are loaded on aeroplane . with the development of testability technology , test and computers design have merged into together 测试成为了机载嵌入式计算机在设计和生产过程中的重要环节，可测试性技术的发展使得设计与测试融为一体，测试的方法和手段日新月异，自动测试成为产品测试的主要发展方向。
This dissertation has researched on applying the recently developed discrete event system ( des ) theory to analyze the testability of the mixed - signal circuits and provided a systemic method for the digital circuits and the analog circuits 本文运用离散事件系统理论( discreteeventsystem , des )来进行数模混合电路的可测试性分析，提供了一种对数字电路、模拟电路及数模混合电路测试统一的处理方法。
( 2 ) we programmed a demo ' s software on microsoft visual c + + 6 . 0 for implementing the algorithms to judge the testability , get the minimum test set and take the fault efficiency of the circuits . the software successfully realizes these functions ( 2 )编写了一套基于des理论的电路测试的演示软件，实现了对被测电路的可测试性判断、故障覆盖率和最小测试集求取的算法，能够实现对电路测试的各项功能。
Not only the scan route solution , the built - in self - test solution and the boundary scan solution of design for testability are summarized , but also the applications and countermeasures of these 3 solutions are analysed and compared in details 摘要综述了超大规模集成电路的几种主要的可测试性设计技术，如扫描路径法、内建自测试法和边界扫描法等，并分析比较了这几种设计技术各自的特点及其应用方法和策略。
Owing to the analogue nature of many industrial processes and the increasing use of microprocessor techniques , there have been a vast room for the application of mixed - signal ( digital and analogue ) circuits , and the research for the test on mixed - signal circuit became imminent 工业过程的模拟特性和微芯片的使用，使得数模混合电路的应用有着巨大的空间。数模混合电路在设计和测试中的可测试性问题成为一个迫切的研究课题。
The main works as follow : ( 1 ) we researched the mathematics model of mixed - signal circuits based on the des theory and it is feasible to deal with the fault diagnosis and the testability of the digital and analog parts in the circuits with an uniform math frame 本文的主要工作如下： ( 1 )对数模混合电路的数学模型进行了研究，并对其可行性进行了验证。这样使得数字和模拟电路能够在一个统一的数学框架中进行可测试性分析和后续处理。
By redefining the cardinality of set , we establish the relationship between the domain / range ratio and the testability metric . pie model can help us doing white box test in unit test phase . based on the fault / failure model and conditional probability , a formula is found to get testability metric , with which we prove there is a max value in software testability metric 在单元测试阶段可以运用pie模型帮助进行白盒测试,本文在软件的错误/故障模型的基础上,运用概率论中条件概率的相关知识,建立了可测试性的一个计算公式,并使用该公式证明了软件的可测试度存在一个最大值。
