首页> 外国专利> Semantic translation of stateflow diagrams into input/output extended finite automata and automated test generation for simulink/stateflow diagrams

Semantic translation of stateflow diagrams into input/output extended finite automata and automated test generation for simulink/stateflow diagrams

机译:将状态流图语义转换为输入/输出扩展的有限自动机,并为Simulink /状态流图自动生成测试

摘要

A method of translation of a chart associated with a graphical modeling environment into an input/output-extended finite automata (I/O-EFA) model is provided. The method includes receiving a representation of the chart and processing the representation of the chart with a computing device by (a) representing atomic models for each individual state of the chart, (b) applying composition rules to interconnect the atomic models while preserving state execution and transition behaviors to obtain the I/O-EFA model.
机译:提供了一种将与图形建模环境关联的图表转换为输入/输出扩展的有限自动机(I / O-EFA)模型的方法。该方法包括:通过(a)表示图表的每个单独状态的原子模型,(b)应用组成规则来互连原子模型,同时保留状态执行,并通过计算设备来接收图表的表示并用计算设备处理图表的表示。和过渡行为以获得I / O-EFA模型。

著录项

  • 公开/公告号US8849626B1

    专利类型

  • 公开/公告日2014-09-30

    原文格式PDF

  • 申请/专利权人 RATNESH KUMAR;MENG LI;

    申请/专利号US201213538472

  • 发明设计人 RATNESH KUMAR;MENG LI;

    申请日2012-06-29

  • 分类号G06F17/50;

  • 国家 US

  • 入库时间 2022-08-21 16:02:41

相似文献

  • 专利
  • 外文文献
  • 中文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号