发布新版的状态机代码生成框架 v0.5.0

[sjjf]

hi,
我发布的状态机代码生成框架的新版本。
这个版本重构了上一个版本的代码结构，增加了注释，修正了些bug。简化和清晰了调用的接口。

地址:

https://code.google.com/p/makefsm/
http://www.github.com/alan2lin/makefsm

用法见项目里面的word文档 或者
https://code.google.com/p/makefsm/wiki/how_to_use


这一版的feature：
1、修正了语法解析规则，语法功能不变，但实现减少了冗余。
2、清晰了 语法解析阶段， 约束检查阶段，和代码生成阶段。这些将便于使用者的自定义扩展和使用。
3、对所有的生成，全部使用stringtemplate。完成了内容与格式的分离。这将便于生成各种目标语言的状态机代码， 在下一个版本将会支持其他语言代码生成。
4、支持moore和mealy两个类型的状态机。
5、生成代码与路径覆盖的测试用例的代码算法并未改动，但是接口更改了。
6、图形化工具由于资料丢失，暂时取消。



roadmap：后续版本，将会考虑支持
1、混合型的状态机。
2、多个目标系统的状态机的合并。
3、语法的简化。


对此类应用感兴趣的朋友可以关注一下。
对想学习语法解析的朋友也可以关注一下，里面的语法解析是是个简单demo。

[Jake443403168]

马克

[beowulf2005]

mark 一下 楼主的目标和应用场景是什么？

[我和小伙伴们都惊呆了]

[tan598121925]

[sjjf]

引用 2 楼 beowulf2005 的回复:

mark 一下 楼主的目标和应用场景是什么？

构建正确健壮的程序 目标和应用场景在里面的文档略有提及，但更多的有待使用者发掘。

[sjjf]

图灵停机不可判问题只是理论上证明会存在这种情况，但并不是说所有的情况都会有停机不可判。 我也表示用语上不严谨，不存在着绝对正确与健壮的程序。我只能说尽量贴近。 所谓正确是在功能上指满足预期的需求。 所谓健壮是指出现异常情况时，程序仍然能处理。

[beowulf2005]

引用 7 楼 sjjf 的回复:

图灵停机不可判问题只是理论上证明会存在这种情况，但并不是说所有的情况都会有停机不可判。 我也表示用语上不严谨，不存在着绝对正确与健壮的程序。我只能说尽量贴近。 所谓正确是在功能上指满足预期的需求。 所谓健壮是指出现异常情况时，程序仍然能处理。

想法很有意思，我对楼主的想法也很感兴趣。 能不能给这个‘贴近’一个跟数学化的定义呢？ 我建议，先仔细定义所要解决的问题的范围，使用严谨的数学化的定义来限制这个范围。 这样才方便事先绕开理论上的地雷。

[beowulf2005]

引用 5 楼 sjjf 的回复:

[quote=引用 2 楼 beowulf2005 的回复:] mark 一下 楼主的目标和应用场景是什么？

构建正确健壮的程序 目标和应用场景在里面的文档略有提及，但更多的有待使用者发掘。[/quote] 何谓正确？ 何谓健壮？ 由于停机问题，理论上没可能用程序验证程序是否会终结。

[sjjf]

这个工程太庞大了，你若是感兴趣，可以去看看coq相关的。 我只是认为状态机这种东西用来做设计比较符合系统化思维，并提供了一个工具去做这种事情。 这个工具还不是很完美，有很多需要解决的问题，开源出来，尝试这种想法是否可行。

[oh_Maxy]

俺孤陋寡闻了~

[sjjf]

http://bbs.csdn.net/topics/390521606 http://bbs.csdn.net/topics/390521603 新发布的antlr的教程