基于改进EDPN模型和有限状态机的Web应用系统测试技术研究

为了能够在Web应用系统测试中利用EDPN模型的直观性和耦合性好的优点,提出了一种改进的EDPN模型（WEDPN）,有效地解决了使用EDPN模型难以合成多个页面的EDPN模型问题。最后,通过实例介绍了使用WEDPN模型对Web应用进行系统测试的方法。     

非完全确定有限状态机最小闭覆盖的有效算法

有限状态机(FSM)综合中,状态化简对减少电路的复杂度是非常重要的,由于EDA综合系统的发展和需要,要求能够有效地对较大规模的FSM最小化,对于完全确定的有限状态的已有较好的算法,而非完全确定的有限状态机的最小化的问题一直是个难题。利用生成序列、动态构造搜索树、修剪、启发式深度搜索和分支限界等方法,提出了一种有效的求解非完全确定有限状态机的状态最小化算法,减少了搜索的空间,提高求解速度。     

基于VHDL的有限状态机设计

通过2种状态机的设计方法比较,说明使用VHDL语言设计出稳定、可靠的有限状态机的方法是有效的和实用的.由于两者对状态寄存器值的不同处理方法,使得状态机在采用不同编码方法时可靠性出现差异.针对此问题提出的状态机设计方法很好的解决了这个问题,保证采用常用编码方法进行状态机编码时,不管采用何种状态机的设计方法,状态机都会处于稳定、可靠状态.     

有限状态机的VHDL语言描述

VHDL作为一种规范的硬件描述语言，被广泛应用于电路的设计中。本文简要介绍了用作控制的有限状态机，并给出了相应的VHDL程序。     

基于UIO序列的状态机测试序列生成算法

在通信协议的一致性测试中,寻找一条简洁高效的测试序列是关键工作之一．基于FSM模型的协议一致性测试,提出一种新的UIO序列生成方法,利用遗传算法求解UIO序列．研究结果表明,该算法能生成更短且结果稳定的UIO序列．     

基于有限状态机的帧同步系统设计

结合时分复用计算机数字通信系统中的帧同步技术,介绍了一种基于Mealy型有限状态机设计巴克码识别器的方法,在MAX＋PLUS10．0设计平台下给出了使用最广泛、性能良好的七位巴克码组识别器的设计,结合同步保护模块最大限度地减小假同步和漏同步概率,实现数字通信系统的帧同步。     

Mobile IPv6协议一致性测试研究

针对Mobile IPv6协议实现的产品可能存在与协议说明不一致的问题,对Mobile IPv6展开协议一致性测试。首先根据RFC 3775提取了Mobile IPv6的一致性测试需求,并针对协议特点设计一种主被动测试相结合的新测试方法,然后运用有限状态机模型为移动节点、家乡代理和通信节点创建形式化模型,在该模型基础上使用U方法自动生成了14条测试例。最后,对Red Hat Linux 9.0环境下的mipv6-1.1-v2.4.26协议实现进行一致性测试实践。对测试结果进行分析后表明,被测实现与协议说明之间存在不一致之处。     

有限状态机的建模与优化设计

通常的Verilog HDL编码风格生成的电路速度慢、面积大、毛刺干扰严重．基于此特点提出一种优秀、高效的verilog HDL描述方式来进行有限状态机设计，介绍了有限状态机的建模原则，并通过一个可综合的实例，验证了该方法设计的有限状态机在面积和功耗上的优势．     

基于有限状态机的电网设备状态库研究

在电网调度运行的实际生产中,需要明确电力设备的初始状态,防止发生恶性误操作事件。当前,设备状态由D5000系统采集或调度电话直接联系场站核对,存在一定的不准确性。文章阐述了基于有限状态机的电网设备状态库,其严格遵守状态转移函数,具有强逻辑,且可以与D5000系统的量测设备库进行实时校核,为设备状态的量测提高了冗余性,提高了安徽电网的安全水平。     

乐观电子合同签订协议的一种有限状态机模型

乐观电子合同签订协议是一类典型的安全协议，用于在两个或多个主体之间公平高效地实现电子合同签订。与其它类型的安全协议相比，乐观电子合同签订协议更为复杂，从而为其形式化分析带来了一定困难。模型检验是一类有效的形式化分析方法，应用模型检测方法分析安全协议时，前提和关键是对协议及其执行环境进行准确和全面的建模。     

基于Tcl的路由协议一致性测试

针对路由协议的特点,提出了基于Tcl语言的路由协议一致性测试系统并介绍了用Tcl脚本语言实现可执行测试集的方法.实践表明,这是除基于TTCN语言之外,适合路由协议一致性测试的另一种有效的测试技术.     

通信协议一致性测试方法

由于 ISO 协议的开发常常由不同的人员或组织进行,导致产品的某些功能与标准不一致,这些产品在联成网络时,无法可靠地通信.解决这个问题的办法是对通信协议进行一致性测试.本文主要对通信协议一致性测试的方法、原理、所需测试的内容以及目前该领域研究动态作一概要综述.     

基于CORBA的网络管理接口一致性测试中的测试流技术

借鉴OSI通信协议一致性测试方法学中通信协议实体的测试用例组织策略,提出了基于CORBA的网管接口一致性测试中的测试流技术,给出了测试流控制语言的描述,同时提出了一套实现测试流系统的设计方案.     

协议一致性测试系统中执行器的设计与实现

提出一种用于协议一致性测试系统的执行器的结构,并具体描述了执行器中各个模块的实现方法,最后使用该执行器对Linux AS4．0操作系统中IPv6邻居发现协议实现进行了一致性测试并给出了测试结果。结果表明：测试主机操作系统上实现的邻居发现协议符合标准协议规范。     

基于构造类别代数的数据流和控制流相结合的协议测试

如何从协议规范中生成即考虑控制流又兼顾数据流的测试用例是一个很有挑战的问题, 本文提出了一种基于构造类别代数的数据流与控制流相结合的测试方法, 给出了在其上的测试用例生成算法, 有限状态机模型到构造类别代数模型的转换算法, 并且给出了在一个实际的路由协议RIP 的测试中的应用例子.     

基于软件缺陷模型的测试系统

设计并实现了一种基于软件缺陷模型的测试系统（DTS）. 对常见软件缺陷模式进行了分类、分析和总结. 基于状态机提出了软件缺陷模式的描述方法及统一测试框架,提出通过区间运算来减少测试的误报和提高测试精度. 与同类工具比较表明, DTS具有效率高和误报少等特点.     

脉冲激光测距中基于多层嵌套状态机的控制系统

设计了基于FPGA与TDC-GP21的高精度、高重频的激光飞行时间测量系统。采用多层嵌套状态机作为控制系统,构建SPI通信接口实现对TDC-GP21的配置、控制以及读取测量结果。使用TimeQuest时序分析工具对系统进行时序约束分析。实验结果表明,系统重复测量频率达40KHz,测量精度达±100ps,可以在高频条件下稳定工作。     

基于数据交换模型的测试方法

通过深入地研究数据交换的通用模型,抽象数据交换的过程状态和规则,提出了一种基于数据交换的测试模型及其测试的方法,该方法能够适用于绝大多数数据交换场景的测试并有效地提高测试效率.最后给出了未来的研究方向.