状态机测试自动化

Question

我想知道是否有任何测试程序来检查状态机状态是否不能永远保持在其中一个状态，如果它们可用，它将在无限循环中运行。

所以我在想一种能够检查所有可能过渡的蛮力。

作为一个例子，我给出了一个非常简单的状态机。从图中可以看出，状态1可以切换到状态1本身或状态2;州2进入州3或州6，依此类推。

在我的情况下，有一个封闭的状态机（当其中一个州拥有它自己的状态机时） 我的代码是用C语言编写的。

感谢任何提示