可以参考: http://www.cs.uleth.ca/~holzmann/C/system/ http://blog.youkuaiyun.com/astrotycoon/article/details/8267483