有限状态机的行为阶段聚类及其对测试的应用

提出了有限状态机的行为阶段和行为阶段聚类的新概念, 它是介于有限状态机的行为级描述和低层描述(状态表或状态图)之间的一种新的抽象级别. 给定一个有限状态机的低层描述, 可以对它的状态按某种规则进行聚类来简化对有限状态机的分析. 给定一个有限状态机的行为描述, 可以直接从中提取行为阶段, 并通过对行为阶段进行聚类来分析它的功能. 详细阐述了对状态或者行为阶段进行聚类的理论和方法. 行为阶段聚类描述可以应用于对有限状态机的功能分析、验证和测试中. 作为行为阶段聚类描述的一种应用, 建立了一种用于测试产生的新的故障模型——行为阶段转换故障模型, 并利用对行为阶段的聚类来加速基于此故障模型的测试产生, 实现了一个寄存器传输级的自动测试产生系统ATCLUB. 实验结果表明, ATCLUB与其他测试产生系统相比有很高的效率, 并且能够产生相当短的测试序列, 以达到对电路门级固定型故障的较高的覆盖率.     

用有限状态机设计数控振荡器

用VHDL有限状态机设计了一种用于数字锁相环的数控振荡器,详细分析了解决相位调整和消除“毛刺”的方法,对设计实现过程中应注意的相关问题也作了具体讨论;测试和实际应用表明其性能稳定可靠。     

基于FPGA的全帧紫外CCD驱动时序设计

文章介绍了槟松紫外全帧背照式面阵CCD(S7171 0909)的结构和工作特点,分析了该芯片驱动时序要求;采用可编程逻辑器件EP2C8作为硬件平台,在Quartus Ⅱ 9.1软件环境下,用基于状态机的算法对时序电路进行了描述,设计产生了芯片正常工作所需的时序脉冲信号,并选用EL7202作为CCD驱动器对时钟脉冲进行功率放大.调用第三方软件进行仿真,并给出实际工作输出波形,结果表明,设计的时序电路满足CCD对各驱动信号的要求.     

电话会议系统中电话事件状态及状态转移设计

以一个电话会议汇接系统的设计开发为例，针对电话会议汇接系统的实时性多任务的特点、运用 有限状态机模型，从状态和状态转移的设计入手，结合面向对象程序语言编程，探讨此类系统的软件设计 的思路和方法。     

基于模型的有限状态机软件动态测试方法

介绍了一种基于模型的软件动态测试方法，该方法通过将被测程序抽象成有限状态机，将测试程序及测试用例的编写集中到单个状态上。在软件结构或逻辑发生改变时，能够通过对旧状态测试程序的重新组合进行新的测试。无需大量修改测试程序从而保存了先前的测试用例。     

嵌入式IPv6协议的设计与实现

随着联网设备特别是嵌入式联网设备数量的增加,能提供几乎无穷尽IP地址的IPv6协议的优势越来越显著.所以,在嵌入式设备中实现IPv6协议栈具有很大的现实意义.结合嵌入式本身所固有的性质,给出了IPv6的设计原则和关键技术.实现时简化了IPv6模块中的ICMPv6和邻居发现的相关功能,在传输层只实现TCP模块,并简化了TCP运行状态机机制.最后将实现的协议通过移植到LPC2200开发板上,并通过简单C/S通信实验表明协议实现的可行性.整个软件代码量小、结构简单、易于移植和扩充.对嵌入式设备上移植IPv6协议栈提供了参考方案.     

基于场景的形式化测试模型生成方法

在复杂的Web应用软件中,如何有效地实现自动化测试是当前软件测试研究中的热点与难点.使用统一建模语言（unified modeling language,UML）状态图对Web应用软件的行为建模,利用已有的方法将已建好的模型形式化成有限状态机(finite state machine,FSM);然后使用UML顺序图表示场景,通过使用场景规约系统行为,最终得到约简后的形式化测试模型用以实现自动测试.     

基于分层有限状态机的检修工作票智能防误技术

为满足电网对输变电设备检修工作票的高可靠性要求,消除因工作票误填而导致的电网安全事故,文章提出基于分层有限状态机(hierarchical finite state machine,HFSM)的检修工作票智能防误技术,从而降低因信息误填引起的电网潜在风险,提高电网运行安全性和可靠性.首先基于有限状态机理论和分层技术建立...     

Stateflow在巡航导弹仿真中的应用

介绍了Stateflow的基础知识和基本用法以及基于Stateflow的巡航导弹仿真建模方法。Stateflow是一种基于MATLAB／Simulink和有限状态机理论的图形化离散事件仿真环境，巡航导弹分段弹道模型和制导引信系统都可以很方便的用Stateflow进行建模，使系统仿真更加直观，便捷。     

AOP及其在状态机工作流中的应用

面向切面编程(Aspect-Oriented Programming,简称AOP)作为一种新的编程技术正日益引起人们的关注.文章介绍了AOP产生背景和理论价值,并结合作者所设计的状态机工作流框架,详细讨论了如何通过在该框架中引入AOP机制来克服纯面向对象编程的不足,从中分析了AOP的优势和应用价值,最后对AOP和OOP的关系进行了讨论.