我有一个描述我们系统的状态图，我需要生成涵盖所有转换的测试用例。 例如，采用以下一个状态转换表：
CS =当前状态，IN =输入，NextS =下一状态
CS IN NextS
s61 e71 s18
s61 e94 s61
s18 e71 s65
s18 e94 s19
s19 e71 s19
s19 e94 s19
s65 e71 s61
s65 e94 s18
现在当我需要生成覆盖完整路径的测试时，它很容易出错：
一个涵盖一条可能路径的测试案例（例如，通过各州）
S61 - E71 - S18
S18 - E71 - S65
S65 - E71 - S61
当然，当使用其他输入时，我必须创建其余的输入，例如：
S61 - E71 - S18
S18 - E71 - S65
S65 - E94 - S18
但要跟踪所涵盖的情景非常困难。是否有任何正式/已知技术可以使其更容易？