...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Control Engineering Practice >Translating Grafcet specifications into Mealy machines for conformance test purposes
【24h】

Translating Grafcet specifications into Mealy machines for conformance test purposes

机译：将Grafcet规格转换为Mealy机器以进行一致性测试

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

Conformance test is a black-box test technique aiming at checking whether an implementation conforms to its specification. Numerous results have been already obtained in this field for specifications expressed in a formal language. However, these results cannot be applied for conformance test of industrial logic controllers whose specifications are given in standardized specification languages. To contribute to solve this issue, this paper proposes a method to obtain, from a Grafcet specification, an equivalent Mealy machine, without semantics loss. This method permits to describe explicitly and formally all the states and transitions that are implicitly represented in a Grafcet model.
机译：一致性测试是一种黑盒测试技术，旨在检查实现是否符合其规范。在该领域中，对于以正式语言表达的规范已经获得了许多结果。但是，这些结果不能用于以规范规范语言给出规范的工业逻辑控制器的一致性测试。为了解决这个问题，本文提出了一种从Grafcet规范中获取等效的Mealy机器而又不会造成语义损失的方法。这种方法允许显式和正式地描述在Grafcet模型中隐式表示的所有状态和转换。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号