一种通信有限状态机的被动测试及其错误诊断

针对现有的被动测试方法无法解决嵌入式通信系统的错误检测问题，提出了一种被动测试错误检测方法．该方法在外部通道放置观察者，并使用了全局状态描述系统的当前可能状态，利用了观察到的输入输出信息，同时结合了模型转换推测出系统的状态变迁．基于该检测方法又设计出一种层次化的错误诊断算法，首先记录被动检测过程中系统经历的转换轨迹，用变异分析方法生成候选诊断，然后通过被动观察来降低错误集合的规模，最后使用区分序列和交叉判定进行错误定位．通过一个实际的H．245通信协议的实验表明，所提算法能够在有限观察步骤内检测出被测系统中的错误，并能有效定位检测错误，其回溯算法也可以显著缩短错误症状序列的长度．     

状态机和变换半群积的覆盖关系

讨论了两个状态机积的变换半群和它们变换半群的积之间的覆盖关系、两个状态机的积之间的覆盖关系、两个变换半群的积之间的覆盖关系、两个状态机的积与覆盖它们的状态机的积之间的覆盖关系、两个变换半群的积与覆盖它们的变换半群的积之间的覆盖关系。     

DDR SDRAM控制器的设计及FPGA实现

介绍了DDR SDRAM控制器的系统命令和结构,设计了一种基于状态机的DDR SDRAM控制器。利用状态机对读写操作进行控制可提高系统性能,给出了基于FPGA的控制器的仿真结果。     

元程序设计方法实现的状态机复合者

针对工作流系统在面向过程和面向功能方面的多变性，本文根据组件系统在面向功能方面的灵活性和有限状态机作为一种形式化方法能够清晰描述工作流过程的特点，提出了基于元程序设计方法的状态机复合者。我们采用了元层次体系结构，引入活动组件，给出了状态机和动作组件元模型以及状态机复合者的形式化描述，从而显著的提高了工作流系统的可适配性，提出了一种可行的通过元对象对程序进行配置的结构化程序设计方法。     

VXI总线从模块时序控制器的VHDL语言设计

介绍了VXI总线从模块时序控制器的动作过程及其特点,并基于VHDL硬件描述语言,用异步MEALY状态机的方法进行VXI总线寄存器基接口的时序控制器的设计.     

基于次优算法同步Buck变换器二阶滑模控制

针对同步Buck变换器设计了基于改进次优算法的二阶滑模控制器,只需检测变换器的输出电压,不需测量电容和电流,就可实现对变换器的控制。通过对次优算法引入滞环,在输出电压达到稳态时限制了变换器的开关频率。在Simulink环境下,构建状态机实现了二阶滑模控制器,验证了同步Buck变换器的启动性能和稳态性能,以及从10A跃变到20A大负载扰动和5V跃变到10V电源扰动时的鲁棒性。仿真结果表明,基于改进次优算法的二阶滑模控制器保留了滑模控制的鲁棒性,并在抵抗扰动方面优于一阶滑模。     

面向充电机通信协议一致性测试的用例自动生成方法

现有的充电机和新能源汽车电源管理系统(BMS)之间的通信协议一致性测试方法主要由专家经验设计测试用例,这种方法缺乏理论支撑,导致测试覆盖性弱,测试结果缺乏说服力,较难形成行业标准.为了解决上述问题,提出一种基于有限状态机(FSM)的充电机与BMS通信协议一致性测试方法.首先,通过对GB/T 27930—2015协议的详细解读,分析充电机和BMS之间的通信过程,使用FSM形式化语言描述充电机和BMS之间的充电过程,保证协议的不同实体之间的通信一致性.其次,在FSM的基础上利用唯一输入输出(UIO)序列计算测试序列,进而得到最终的测试用例.在生成测试用例时,采用递归算法考虑前置用例,让每一个测试用例都有完整的输入输出.最后,生成的用例结果表明,基于FSM的一致性测试方法不仅使得充电机与BMS间的通信协议一致性测试过程有了理论支撑,而且相较于基于专家经验的手工设计测试用例方法具有更强的复用能力.     

文法推断网络协议状态机*

针对现有正则的正负推断(regular positive and negative inference,RPNI)算法的局限性,提出一种通过标记前缀树接受器中的状态,以差异化的状态标记方法防止状态的过度融合改进的算法——改进的RPNI算法(improved RPNI,IRPNI)。该算法从网络数据流量中导出协议规范,并将该规范表示为确定性有限自动机(definite finite automata,DFA)模型;根据网路协议特性,把启发式的差异化的状态标记算法嵌入该算法中,使得状态融合结果体现网络协议的结构特征。实验证明IRPNI算法更有助于推断出更一般化的网络协议状态机。     

基于一种扩展分层有限状态机模型的测试生成

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对基于其上的模型所面临的测试问题进行了讨论.考虑了在测试中遇到的控制流和数据流问题,针对其中一种模型(父子EHFSM间不存在数据依赖关系),结合现有的方法工具给出了一种一致性测试生成方法.     

基于状态机的USB 2.O事件检测模块的硬件实现

USB接口因具有高速、易用、热插拔及低成本等特点,已经成为计算机接口技术的主流;由于USB2.0在USB1.1基础上数据传输速率大大提高及功能更加完善,从而在实际实现中基于USB2.0协议的总线事件的检测和处理模块的设计变得异常复杂。文章提出了一种USB2.0整体构架方案,重点阐述对事件检测模块的设计和实现;对该模块进行电路的功能仿真、综合以及验证表明,在功能和时序上符合USB 2.0规范,达到预期目标。