分享到:

网络协议测试生成方法综述

在简单介绍协议测试及一致性测试的基础上,重点评述了测试生成方法的发展状况,将其分为两大类:基于形式化描述模型和非形式化描述模型。对形式化模型中的基于有限状态机模  (本文共4页) 阅读全文>>

《内蒙古大学学报(自然科学版)》2005年05期
内蒙古大学学报(自然科学版)

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

为了解决分层有限状态机(HFSM)中数据和约束的问题,对扩展分层有限状态机(E-HFSM)给出了定义对其特征进行了分析,对...  (本文共4页) 阅读全文>>

《现代计算机(专业版)》2018年30期
现代计算机(专业版)

基于Spring StateMachine的有限状态机应用研究

状态机是一种表示有限状态以及在这些状态之间的转移和动作等行为的模型。可以通过发送事件,或者请求当前状态来与状态机进行交互。Spring StateMachine是...  (本文共4页) 阅读全文>>

《模糊系统与数学》2016年05期
模糊系统与数学

模糊有限状态机的积的代数性质

文章利用代数的方法讨论了模糊有限状态机的全直积、级联积、圈积、模糊有限状态机的和的代数性质。证明了模糊有限状态机的和与其因子在子系统(强子系统)、交换性、...  (本文共9页) 阅读全文>>

《模糊系统与数学》2014年05期
模糊系统与数学

粗糙有限状态机的分解

利用代数的方法研究了粗糙有限状态机的可恢复性、连通性与可分离性等代数性质,得到了一个粗糙有限状态机是可恢复的当且仅当它的每一个准素粗糙子...  (本文共6页) 阅读全文>>

《数学的实践与认识》2014年03期
数学的实践与认识

粗糙有限状态机的可恢复性与连通性

利用代数的方法研究了粗糙有限状态机的可恢复性与连通性,通过前驱与后继...  (本文共7页) 阅读全文>>