ほとんどが単純な 16 状態のステート マシンであるコードのチャンクをデバッグしようとしていますが、遷移があまり単純ではない場合もあります (状態の変化が作用するデータは、2 つの C++ で約 200 バイトのデータです)。クラス）。
マシンが予想よりもずっと早く「最終」状態になっていることがわかりました。私はまだコードに精通していないので、さまざまな遷移パスをすばやく識別してデバッグしやすくする方法で、さまざまな状態と遷移を理解できるようになることを願っています。
このようなステート マシンをマッピングするための便利なツールやテクニックはありますか?
私がリバース エンジニアリングの観点からこれを行っていることは注目に値するかもしれないので、私が利用できるシステムの計画ドキュメントはありません。