INAP协议一致性测试生成的形式化方法

文章应用形式化方法对INAP协议进行测试，基于INAP协议描述的I／O FSM模型，应用UIO方法生成一致性测试序列，然后应用中国乡村邮递员算法对测试序列进行优化，生成的测试序列可以覆盖状态机的每个变迁，且生成的测试序列较短。     

一种可变测试集的协议一致性测试方法

目前常用的协议一致性测试的测试方法是首先对协议规范建模，然后通过模型生成测试集，最后执行测试集．这种方法存在执行效率不高和实际测试范围可能被缩小的问题，为此本文提出一种可变测试集的方法，通过动态执行测试集提高其执行效率，同时从与协议实现无关的角度扩大协议的实际测试范围．     

BGP4+协议的分布式一致性测试系统的设计

首先对BGP4+进行了分析,然后阐述了BGP4+的分布式的一致性测试系统的设计方法,包括主测试系统的设计、从测试系统、测试套的描述方法的设计以及它们的部分设计框图.最后使用一个简化的分布式测试系统对BGP4+协议实现进行了一致性测试实践.     

一种可变测试集的协议一致性测试方法

目前常用的协议一致性测试的测试方法是首先对协议规范建模,然后通过模型生成测试集,最后执行测试集.这种方法存在执行效率不高和实际测试范围可能被缩小的问题,为此本文提出一种可变测试集的方法,通过动态执行测试集提高其执行效率,同时从与协议实现无关的角度扩大协议的实际测试范围.     

Linux环境下的BGP4+一致性测试研究

针对边界网关协议BGP4+进行了一致性测试研究,分析了BGP4+协议的特点,给出了用XML来描述BGP4+测试套的测试模板,并对BGP4+协议在Linux下的实现,进行了一致性测试,列举了部分测试结果,对测试结果进行分析,发现了被测实现与协议说明不一致的地方.     

IxDefend协议健壮性测试技术

介绍了协议健壮性测试（Robustness Testing）技术,及其多种测试手段和智能协议模糊测试（Fuzz Testing）技术,IXIA领先的协议健壮性测试工具IxDefend,总结了对IXIA所提供的性能、一致性和健壮性于一体的“多重威胁”测试方案。     

IPv6邻居发现协议的一致性测试序列生成

自1998年互联网工程任务组(IETF)提出下一代互联网标准规范以来,IPv6已经历了十多年的发展。现今已有越来越多的IPv6产品被投入到了开发与应用中。而如何提高不同产品间的互通性和可靠性则成为了一个关键问题。进行协议一致性测试是提高IPv6实现可靠性的一种有效方式。本文就重点针对IPv6邻居发现协议进行了一致性测试分析。本文首先简要分析了IPv6邻居发现协议的主要功能及实现原理,并据此抽象出其有限状态机（FSM）模型。进而结合一种现有基于有限状态机(FSM)的一致性测试序列改进算法生成了该协议的抽象测试序列。本文在最后对得到的测试序列进行了有效性和可靠性分析,分析表明,使用该算法得到的测试序列不仅在序列长度上较传统UIO序列法有了明显的缩短,同时对测试过程中可能发生的输出错误及末状态转换错误也具备良好的检测能力。本文获得的抽象测试序列可对相关IPv6协议开发者提供有效参考。      

基于形式化技术的帧中继拥塞控制协议一致性测试

帧中继作为重要的广域网协议得到了日益广泛的应用，但是相关的测试活动却非常有限。本文在深入分析了帧中继拥塞控制协议的基础上对其进行了一致测试研究和实际测试。针对帧中继拥塞控制协议的特点，采用穿越测试法设计生成了基于形式化技术的一致性测试集，并且将利用协议集成测试系统取得一致性测试的研究成果应用到路由器的开发和研制过程中。     

移动IPv6测试中的层次化协议描述和测试生成方法

移动IPv6协议是一种庞大的分布式协议，这为协议描述和测试生成带来了困难．提出分层次描述协议的思想，定义了描述协议的有限状态机和多节点有限状态机模型，分四个层次分别对协议运行流程、协议节点类型、内部数据结构处理、离散功能进行了形式化描述．把描述协议的状态机模型转化为有向图，设计了针对有向图的测试序列集产生算法，最终生成了覆盖整个移动IPv6协议的测试序列集．     

一种通信协议测试序列生成的新方法

本文讨论了一种协议测试的新方法,它使用构造类别代数述通信协议规范,然后根据规范中的公理部分生成测试序列。本文以栈规范为例介绍这种方法的应用。并通过与基于有限状态机的测试序列生成方法相比较,得出两种方法在一些方面是等效的,但在处理状态较多的协议时,这种方法有一定的优点。     

A Buffer-Oriented Methodology for Microarchitecture Validation

We propose a methodology for validating microarchitecture specifications. We view microarchitecture features as specific operations on entries of various buffers in the processor. Our validation approach is to determine the functionality of a buffer type, model its operations at the microarchitecture level using abstract finite state machine (FSM) models, and rigorously generate instruction sequences that systematically exercise the model of each instance of that buffer type. A high-level test sequence is derived based on the abstract FSM model using FSM testing techniques, and then translated to a test program that exercises the functionality of each buffer entry. This methodology is applied to the microarchitecture specifications of the PowerPC 604. The effectiveness of the sequences generated using our methodology is compared with that of some real and randomly-generated programs. Simulation results show that all targeted FSM transitions are covered by our sequences with at least 1000 × and 3 × fewer instructions than real and randomly-generated programs, respectively.     

用于深空探测快速反射镜的电磁驱动

为了实现深空探测系统对成像光束的高速和高精度控制,以?50 mm×4 mm的单晶硅反射镜作为负载,采用理论和仿真分析相结合的方法,对音圈电机驱动的快速反射镜进行了理论分析和实验验证。给出了该快速反射镜的一般构成、工作原理及数学模型,采用有限元法分析计算了音圈电机线圈、永磁体和气隙尺寸对驱动力矩的影响,最后设计、制作了快速反射镜样机,并进行了测试。结果表明,快速反射镜的转角范围大于±1°,带宽(3 dB)大于500 Hz。该研究结果有助于推广光学快速反射镜在深空探测、激光通信、光电对抗等领域的应用。     

基于TTCN的测试执行方法及其应用

测试执行是协议一致性测试系统中的主要部分，本文提出一种基于测试描述语言ＴＴＣＮ的操作语义对标准测试集进行了解释执行的测试执行方法，利用这种方法所实现的一致性测试系统具有很强的灵活性和独立性，同时大大提高了测试的效率，另外，我们还介绍了基于这种测试方法所完成的协议一致性测试系统（ＰＣＴＳ）的总体结构，设计思想以及测试配置。     

针对软件可靠性测试的测试用例集精简方法

在软件可靠性测试中,随着测试输入数或操作数的增加,测试成本会大大增加。就此提出了一种针对软件可靠性测试的测试用例集精简算法,该算法先用正交试验设计法生成最初的测试用例集,然后用基于测试需求集的约简方法进行约简,生成最终的测试用例集,来进行软件可靠性测试。实例表明,该方法简化了测试用例集,从而大大降低软件可靠性测试代价。     

基于DES的无刷交流电机控制系统FPGA设计与实现

本文介绍了一种基于离散事件系统（DES）的无刷交流（BLAC）电机的电流控制系统,提出系统的控制器带有图形用户界面(GUI),能够直接显示出有限状态机（FSM）的状态。通过应用FPGA对原有DES控制系统进行改进,将这五个选定的矢量视为的DES离散状态,合理设置FSM选择矢量规则,实现了限定所有可能的方向。在Xilinx Spartan 3E FPGA平台进行的硬件测试结果显示,本文提出的方法减少了60%以上的开关变化数量和开关损耗,证明了提出的DES改进方法对负载变化具有健壮性。     

The robustness properties of univariate and multivariate reciprocalpolynomials

The author investigates the robustness properties of univariate and multivariate reciprocal polynomials that are nonzero on the unit-circle and the unit-polycircle, respectively. He shows that any polytope of univariate reciprocal polynomials are nonzero on the unit-circle, if and only if a set of real-valued rationals corresponding to its vertices are entirely either positive or negative on the unit-circle. Ensuring that these vertex rationals are entirely either positive or negative on the unit-circle can be carried out by the tests described by Lakshmanan (1992). When these existing tests are combined with the results contained in this paper, it provides a complete procedure for testing the nonzeroness of polytopes of univariate reciprocal polynomials over the unit-circle. He shows that this result generalizes to the case of multivariate polynomials. For any polytope of multivariate polynomials to be nonzero on the unit-polycircle, it is necessary and-sufficient that a set of real-valued multivariate rationals corresponding to its vertices are entirely either positive or negative on the unit-polycircle. Again, by using the test, the positivity or the negativity of the vertex rationals can be ensured as well, thereby resulting in a complete procedure for testing the nonzeroness of an entire polytope of multivariate reciprocal polynomials over the unit-polycircle. Although he develops the results for polytopic families, he then extends those results to the case of non-polytopic reciprocal polynomial families     

大口径快速反射镜的模糊自适应PID控制

快速反射镜能否精确稳定跟踪目标取决于良好的伺服控制性能.快速反射镜的通光口径越大,柔性支撑铰链和驱动器设计难度就越大,同时也会对伺服控制提出更高的要求.针对此问题,本文提出模糊自适应整定PID(proportional integral derivative)控制算法,该算法既能运用模糊推理进行自适应整定控制参数,又能...     

FsmTest: Functional test generation for sequential circuits

This paper presents a new approach to test pattern generation for sequential circuits modeled as finite state machines. This approach is well suited for controller synthesis, because such devices are usually represented as explicit finite state machines. Based on a functional fault model, only a restricted set of transitions of the finite state machine (FSM) is considered for the purpose of testing. A new state discriminating sequence, referred to as EUIO is proposed. Overlapping is accomplished to reduce the test length. In most cases, test length and CPU time requirements are substantially lower compared with gate-level ATPGs. Techniques are also introduced to preserve a high fault coverage. Evaluation on MCNC benchmarks has shown the effectiveness of the test algorithm both at functional and gate levels, while achieving in most cases 100% coverage of single stuck-at faults.     

Shielding Tests for Cables and Small Enclosures in the 1- to 10-GHz Range

Electromagnetic shielding tests in the 1- to 1O-GHz frequency range have been characterized by lack of repeatability and reliability. New test methods have been developed which correct most of the causes of erratic behavior and have been found to provide reasonably smooth curves when results are plotted against frequency. Study of the results obtained under various conditions of test indicates that the test procedures approach the desired goal of providing a measure of shielding effectiveness that is related only to the test item itself. The cable test procedures are usable with any type of shielded cable including multiple conductor cables with connectors not intended for RF usage. Cables may be tested in their final configuration without need for modification or removal of insulation, etc. Results are given for tests made under various conditions and are compared with results obtained previously with the triaxial test method. Evaluation of the test procedure for testing small shielded enclosures was performed by testing suitable boxes equipped with leakage openings that could be moved to various points on the surface of the box. The results indiate that the general effect on shielding of a particular type of opening remains much the same regardless of its location or orientation. Results are given for a number of opening designs under various conditions of test.