>違う状態で通るような場合はどうするの？
それは問題ない。状態は関係なくその場所を通った事に意味がある。

>設計書やテスト仕様書のフォーマットが知りたい。
知らない香具師が多いが、IEEEに仕様書のテンプレートすばりその物があるよ。
すんげぇ参考になる。
書籍でこの手の仕様書の作り方系を探っても、汎用機時代からの遺産なのであまり参考にならない場合が多い。