用于协议一致性测试序列生成的状态规范化算法

这篇论文提出了一种方法，把ＥＦＳＭ描述协议的广泛性和ＦＳＭ测试序列生成方法的成熟性有机的结合起来，较圆满地解决了测试序列的可执行性、观察性、控制性问题，同时兼顾了数据流和控制流的全面测试。这种方法是基于两边靠拢的思想，一方面将非确定性的ＥＦＳＭ向确定性的ＤＦＳＭ规范化，另一方面修改ＦＳＭ的测试序列生成算法，使之能够同时测试数据流，也即能够处理输入、输出原语的参数问题。在本文中讲述了第一步的工作，提出了由ＥＦＳＭ到ＤＦＳＭ的规范化算法和其概念的严格定义，建立了用于算法描述和实现的ＥＦＳＭ向图概念。同时选择了一个较能完全体现ＥＦＳＭ特点的Ｑ．９２１协议讲述了其实现     

利用逆向判定性缩短EFSM的测试序列的长度

在一个以扩展的有限状态机（ＥＦＳＭ）为模型描述的协议测试系统中,测试序列的可执行性是一个重要的问题。同时,还要考虑到测试序列的优化问题。文中以ＥＦＳＭ为协议的描述模型,引入了逆向判定性的概念,并利用这一概念对转换可执行性分析（ＴＥＡ）方法进行了改进,缩短了生成的测试序列的长度,并且减小了所需的ＴＥＡ树扩展空间。     

功率GaAs MESFET的热阻测试

阐述了功率ＧａＡｓＭＥＳＦＥＴ器件热阻测试中温敏参数ＶＧＳＦ和测试电流Ｉｍ的选取，给出了１～５Ｗ器件典型温敏参数的温度测试系数Ｍ与测试电流Ｉｍ的关系。讨论了测试延迟时间ｔｍｄ对△ＶＧＳＦ测量值的影响和三种校正方法。     

TCS:TCP协议一致性测试系统的设计和实现

本文阐述了一个对ＴＣＰ协议进行一致性测试的测试系统的设计和实现。着重介绍了该系统的测试方法和系统结构，并分析了基于ＥＦＳＭ模型的一致性测试集的生成技术。     

绝缘栅双极晶体管直流电参数高温性能的测试与分析

通过对绝缘栅双极晶体管（ＩＧＢＴ）直流参数温度特性的测试分析并与ＶＤＭＯＳＦＥＴ进行比较，从中得出ＩＧＢＴ能够承受更大的电流密度，其导通压降在高温下较之ＶＤＭＯＳＦＥＴ有较大的优势。     

光纤偏振模色散常用测试方法的研究

偏振模色散（ＰＭＤ）近年来已成为光纤光缆的一个重要特性参数。本文着眼于ＰＭＤ测试的原理和方法，首先同注重ＰＭＤ的统计特性是进行ＰＭＤ测试的一个重要原则；继而按频域和时域测试ＰＭＤ的方法进行分类，并分析了目前常用的几种ＰＤＭ测试方法，例如ＪＭＥ、ＷＳＥＣ、ＩＦ和ＷＳＦＦＴ法，了它们和自的优缺点，指出了ＰＭＤ作为统计量的测试准确率极限；最后，对这些测试方法进行了有益的比较 。     

单模光纤偏振模色散的测试

偏振模色散在近年来成为光纤光缆的一个重要特性参数。本文着眼于ＰＭＤ测试的原理和方法，首先指出注重ＰＭＤ的统计特性是进行ＰＭＤ测试的一个重要原则；绾而按频域和时域对测试ＰＭＤ的方法进行分类，并分析了目前常用的几种ＰＭＤ测试方法，例如ＪＭＥ，ＷＳＥＣ，ＰＳＰ，ＩＦ，ＷＳＦＦＴ和ＰＯＴＤＲ法，讨论了它们各自的优缺点。最后对这些测试方法进行了有益的比较。     

电视测试接收机EFA

在现代通信和传输系统中，正交幅度调制（ＱＡＭ）正日益显得重要起来，特别是在数字数据传输中，它提供了很高的频谱利用率，以及很高的可靠性。无论是在有线还是无线系统中，情况都是如此。Ｒ＆Ｓ公司生产的电视测试接收机ＥＦＡ（见图１），提供了模拟和数字电视信号的测试基准，在不需要特殊的同步序列的情况下，即使是任意的正交调制信号也能以很高的精确度进行分析并显示。１ 使用ＥＦＡ对任意ＱＡＭ信号进行分析由于它可以为各种目的进行优化配置，数字电视测试接收机ＥＦＡ不但对ＤＶＢＣ测试，而且对任意的正交调制信号的分析（…     

光学投影系统对SPRITE探测器MTF测试的影响

ＳＰＲＩＴＥ探测器是一种三引极ｎ型的ＨｇＣｄＴｅ光电导探测器,具有焦平面上的时间延迟积分（ＴＤＩ）功能,用于串扫和串并扫热成像系统。用建立在线性滤波理论基础上的调制传递函数（ＭＴＦ）评价、测试ＳＰＲＩＴＥ探测器的空间分辨能力,已有不少研究论文报道,但都忽略了测试用光学投影系系统对探测器ＭＴＦ测试的影响。除了光学镜头的传递特性外,光学投影系统中所特有的扫描部件的运动效应也较大程度上影响着探测器ＭＴＦ     

高压RESURF LDMOSFET的实现

利用ＲＥＳＵＲＦ技术，使用常规低压集成电路工艺，实现了适用于ＨＶＩＣ、耐压达１０００Ｖ的ＬＤＭＯＳＦＥＴ。本文介绍了该高压ＬＥＭＯＳＦＥＴ的设计方法、器件结构、制造工艺测试结果，此外，本文还从实验和分析的角度探讨了覆盖在漂移区上面的金属栅－金属栅场板长度ＬＦ对ＲＥＳＵＲＦ器件耐压的影响。     

BACnet应用层测试状态机自动生成研究

协议状态机测试是通信协议一致性测试的重要内容，状态机的自动测试有利于提高协议测试的效率。本文首先介绍了扩展有限状态机模型，然后采用扩展有限状态机模型对BACnet应用层状态机进行了详细的分析．讨论了BACnet应用层测试状态机自动生成的可能性，最后提出了一个基于规则推理的测试状态机生成方法．该方法能够根据协议一致性声明自动生成测试状态机。     

Efficient Generation of Stimuli for Functional Verification by Backjumping Across Extended FSMs

Extended finite state machines (EFSMs) can be efficiently adopted to model the functionality of complex designs without incurring the state explosion problem typical of the more traditional FSMs. However, traversing an EFSM can be more difficult than an FSM because the guards of EFSM transitions involve both primary inputs and registers. This paper first analyzes the hardness of traversing an EFSM according to the characteristics of its transitions. Then, it presents a methodology to generate an EFSM which is easy to be traversed. Finally, it proposes a functional deterministic automatic test pattern generation (ATPG) approach that exploits such EFSMs for functional verification. In particular, the ATPG approach joins backjumping, learning, and constraint solving to (i) early identify possible symptoms of design errors by efficiently exploring the whole state space of the design under verification (DUV), and (ii) generate effective input sequences to be used in further verification steps which require to stimulate the DUV. The effectiveness of the proposed approach is confirmed in the experimental result section, where it is compared with both genetic and pseudo-deterministic techniques.     

利用半可控接口进行通信协议一致性测试

介绍了一种基于半可控接口的图转换算法，并应用于某通信产品的H．245协议一致性测试中，不仅增加了可测试转换的数目，还使得变换后的EFSM可以直接应用传统的测试序列生成方法产生最优的测试序列，错误覆盖率和测试效率都得到了显著的提高。     

An EFSM-based multimedia synchronization model and the authoringsystem

Multimedia synchronization is one of the key issues to be resolved in order to have smooth multimedia presentations. The demand of bringing multimedia information systems into distributed environments makes multimedia synchronization more difficult. We apply extended finite state machines (EFSM) to formally specify multimedia synchronization among multiple media streams. Using the EFSM model, the intra-medium synchronization is handled by an actor, which is formally represented as an EFSM. The inter-media synchronization is handled by a synchronizer, which is also represented as an EFSM. Both centralized and distributed synchronization cases can be specified. The synchronizer and actors achieve the corresponding multimedia presentations cooperatively. We also propose some policies to rectify the random delays caused by networks in the distributed presentation case. These policies, which can be formally specified in the corresponding EFSMs, are classified as intra-stream and inter-stream synchronization policies. Using the EFSM-based model, an authoring system and an associated experimental execution environment has been developed on SUN SPARC workstations     

一种基于状态的面向对象类测试策略

基于状态的类测试足面向对象测试技术的一个重要方面。一种新的基于状态的多角度的面向对象类测试策略,即融合UML Starecharts和EFSM这两个基于状态的模型,并引入Verification＆Validati。n思想。     

状态图到扩展有限状态机转换技术研究与实现

使用状态图(State Chart)进行系统建模，使用扩展有限状态机(Extended Finite State Machine，EFSM)进行推理和计算，这种模式被广泛应用。在这种模式中，State Chart到EFSM转换技术有着十分重要的地位。应用要求这种转换容易使用，不损失State Chart的信息，运行效率高。本文介绍了在SBOSUT系统中State Chart到EFSM转换算法的原理和实现，给出了一个应用该算法的实例。     

基于ESTELLE的网络协议建模方法

协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现ESTELLE模块嵌套结构,采用OPNET的进程建模方法实现ESTELLE中EFSM的建模,并利用这种方法对MIL-STD 188-220C协议进行建模.     

基于随机Petri网测试的序列生成系统

提出用随机Petri网（SPN）模型对实时系统建模并产生测试序列的方法,该模型方便描述系统的并发、异步等行为,避免基于扩展有限状态机（FSM）或扩展有限状态机（EFSM）模型分析的不足,并可对系统模型进行性能分析.通过具体例子说明了其在实时软件中的应用.