欧拉公式求圆周率的matlab代码-python-graphwalker:Python重新实现graphwalker测试工具

时间:2024-06-12 07:45:24
【文件属性】:

文件名称:欧拉公式求圆周率的matlab代码-python-graphwalker:Python重新实现graphwalker测试工具

文件大小:93KB

文件格式:ZIP

更新时间:2024-06-12 07:45:24

系统开源

欧拉公式求长期率的matlab代码Python Graphwalker 介绍 Python-Graphwalker是用于基于有限状态机图进行测试的工具。 Graphwalker读取图指定的FSM,计划路径,从图标签按名称调用模型方法,并报告进度和结果。 虽然从Graphwalker项目(从Java实现)的概念上衍生而来,但这是对最初概念的完全重新实现。 值得注意的是,有一些区别: 最初,节点被认为是要验证的状态并且需要采取边缘措施,但是此版本没有野心以任何方式实施此约定,即使它非常有用。 Python Graphwalker无法理解扩展的FSM标签。 它应该不理会它们,但是要承担风险,直到最终用一种方法或另一种方法彻底解决为止。 Python Graphwalker在让您加载和组合代码以实现设计的不同组件方面非常繁琐。 某些组合没有任何意义。 代替原始版本中的SWITCH_MODEL关键字,此版本仅允许您加载多个图形并将它们在id:s和label匹配的位置缝合在一起。 通常,这些简化使生成的图形更易于推论。 整体设计 驱动设计的想法是,图问题与测试动作完全正交,并且报告结果的问题与两个


【文件预览】:
python-graphwalker-master
----setup.py(855B)
----requirements.txt(15B)
----bin()
--------graphwalker(172B)
----.travis.yml(182B)
----MANIFEST.in(156B)
----graphwalker()
--------graphml.py(840B)
--------dot.py(2KB)
--------reporting.py(7KB)
--------dummy.py(660B)
--------planning.py(12KB)
--------__init__.py(144B)
--------execution.py(2KB)
--------gml.py(3KB)
--------tapping.py(1KB)
--------cli.py(4KB)
--------tgf.py(565B)
--------graph.py(11KB)
--------codeloader.py(1KB)
--------txt.py(423B)
--------halting.py(3KB)
--------test()
----setup.cfg(58B)
----LICENSE.txt(11KB)
----debian()
--------compat(2B)
--------control(912B)
--------copyright(1KB)
--------source()
--------docs(45B)
--------changelog(430B)
--------rules(844B)
----README.md(13KB)
----CHANGES.txt(52B)
----README.txt(13KB)

网友评论