基于有限状态机的可校核仿真模型研究

J4 ›› 2012, Vol. 34 ›› Issue (5): 153-156.

基于有限状态机的可校核仿真模型研究

皮学贤1,2,荆涛1,柳林1,钟玮珺 1

（1.海军装备研究院,北京 100161;2.海军装备研究院博士后科研工作站,北京 100161）

收稿日期:2011-11-18 修回日期:2012-02-17 出版日期:2012-05-25 发布日期:2012-05-25

Research on a Verification Simulation Model Based on Finite State Machine

PI Xuexian1,2,JING Tao1,LIU Lin1,ZHONG Weijun1

(1.Navy Armament Academy,Beijing 100161;2.Navy Armament Academy Postdoctoral Workstation,Beijing 100161,China)

Received:2011-11-18 Revised:2012-02-17 Online:2012-05-25 Published:2012-05-25

摘要/Abstract

摘要：

基于有限状态机仿真模型因其外部环境的复杂交互关系，而难以完整复现其状态变迁过程，更难对模型进行校核与检验；而模型校核对于确保仿真的可信度十分重要。本文从分析基于有限状态机的仿真对象模型状态变迁及公共调用接口出发，将有限状态机模型的公共接口区分为参数注入方法集、参数提取方法集和无参数方法集。并在此基础上，提出并实现了对有限状态机模型接口输入集进行窥视和顶替的校核策略。实验表明，在满足若干禁入规则的条件下，该方法能够完整复现有限状态机模型的状态变迁过程，从而可为实现可校核与可检验有限状态机模型提供建模框架。

关键词: 有限状态机, 模型范式, 软件工程

Abstract:

The simulation model based on FSM( Finite State Machine ) is difficult for an recurrence of its transition due to the complicated external environment, so the verification and validation of the FSM model are almost impossible though they are very important to modeling and simulation in any application. According to the migration of state and public methods, this paper brings out a principle to classify the public interface functions, and propose verification tactics to monitor the set of input/output interfaces. The test demonstrates that this method is effective and feasible.

Key words: finite state machine;paradigm of model;software engineering

皮学贤1,2,荆涛1,柳林1,钟玮珺 1. 基于有限状态机的可校核仿真模型研究[J]. J4, 2012, 34(5): 153-156.

PI Xuexian1,2,JING Tao1,LIU Lin1,ZHONG Weijun1. Research on a Verification Simulation Model Based on Finite State Machine[J]. J4, 2012, 34(5): 153-156.

[1]	于嘉维,贲可荣. ALL-Uses覆盖引导的回归测试用例生成方法[J]. 计算机工程与科学, 2017, 39(12): 2278-2289.
[2]	蒋晶晶1,2，叶剑1，朱珍民1,2. 基于ASM的混合式情境感知共享机制研究[J]. J4, 2012, 34(6): 50-58.
[3]	王洪坡，周红建. 某信号指示嵌入式软件的安全性分析[J]. J4, 2012, 34(4): 102-107.
[4]	李瑛1,徐宇茹2,范洪达1. 无线分组业务源模型与容量估算方法研究[J]. J4, 2010, 32(7): 46-48.
[5]	米海波,王怀民,尹刚. Chord协议的抽象状态机模型[J]. J4, 2010, 32(4): 83-85.
[6]	赵良，倪福川. 基于有限状态机的嵌入式系统建模研究与实现[J]. J4, 2010, 32(4): 128-130.
[7]	陈宝楷范冰冰. 基于有限状态机模型的NGN业务开发与实现[J]. J4, 2008, 30(8): 26-29.
[8]	胡建强周斌邹鹏. 一种基于服务过程行为的Web服务发现方法[J]. J4, 2007, 29(9): 41-44.
[9]	曹计昌周宇杰. 基于高地址约束和按需存储分配的UCard底层调度模块研究[J]. J4, 2007, 29(6): 121-123.
[10]	卢炎生雷波谢晓东毛澄映. 基于扩展有限状态机的定义-清除路径的生成方法[J]. J4, 2006, 28(7): 67-69.
[11]	彭熙李艳肖德宝. 基于通信扩展有限状态机的测试集生成技术[J]. J4, 2004, 26(2): 32-35.
[12]	王乐春朱培栋龚正虎. BGP协议健壮性分析与健壮性模型的研究[J]. J4, 2004, 26(11): 4-7.
[13]	刘湘辉[1] 许江[2] 等. 利用有限状态机分析TCP协议握手过程的安全问题[J]. J4, 2002, 24(4): 21-23.