您的位置： 专家智库 > >

申小军

作品数：2 被引量：7H指数：2
供职机构：西安电子科技大学更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文

领域

  • 2篇自动化与计算...

主题

  • 2篇有限状态机
  • 2篇状态机
  • 2篇状态图
  • 2篇扩展有限状态...
  • 1篇迁移
  • 1篇状态变量
  • 1篇自动化
  • 1篇自动化单元
  • 1篇面向对象
  • 1篇面向对象软件

机构

  • 2篇西安电子科技...

作者

  • 2篇申小军
  • 1篇金益民

传媒

  • 1篇现代电子技术

年份

  • 2篇2004
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
状态图到扩展有限状态机转换技术研究与实现被引量：5
2004年
使用状态图 ( State Chart)进行系统建模 ,使用扩展有限状态机 ( Extended F inite State Machine,EF SM)进行推理和计算 ,这种模式被广泛应用。在这种模式中 ,State Chart到 EF SM转换技术有着十分重要的地位。应用要求这种转换容易使用 ,不损失 State Chart的信息 ,运行效率高。本文介绍了在 SBO SU T系统中 State Chart到 EFSM转换算法的原理和实现 。
申小军金益民
关键词：状态图扩展有限状态机状态变量迁移
面向对象软件自动化单元测试技术研究
该文首先逐步深入地对软件测试、面向对象软件测试、自动化软件测试和面向对象软件单元测试进行了介绍和分析.最后主要集中精力于基于设计模型规格描述的自动化单元测试技术研究.提出了一种使用经过扩充的状态图规格描述作为输入的自动化...
申小军
关键词：状态图扩展有限状态机
文献传递
全选 清除 导出
共1页<1>
聚类工具0