システムとその完全な状態空間が与えられた場合、その状態空間はそのシステムの動作の正式な仕様であると言えますか?
質問する
97 次
1 に答える
3
各状態との間のすべての可能な遷移を正式に定義しており、システムが取り得るすべての状態が状態空間に含まれていない限り、そうではありません。
コンピュータ システムの正式な定義では、コンピュータのクラッシュなどの予期しない遷移も含める必要があります。フォルト ツリー分析は、考えられるすべての状態を確実に定義するのに役立ちます。
ウィキペディアを参照
于 2016-06-29T06:24:50.587 に答える