小白求助。。。由状态图生成测试路径
覆盖准则：覆盖所有的状态，覆盖所有的转移，针于循环包括循环0次和循环1次。
如下图：
初始状态是S0，终止状态是S0
路径：1.S0-S1-S2-S3-S0
2.S0-S1-S3-S0
3.S0-S1-S1-S3-S0
4.S0-S1-S2-S2-S3-S0
上述4条路径都是从S0到S0的1次循环。
缺少了循环0次的，在这个图中没办法实现。
这个覆盖准则类似于基本路径覆盖。
环路复杂度=5，也就是说只是至少要有5条测试路径。
是不是这个状态图存在问题？
[解决办法]
看不到图啊？：（
