2
시스템과 전체 상태 공간이 주어지면 그 상태 공간이 해당 시스템의 동작에 대한 공식 사양인지 말할 수 있습니까?상태 공간이 일부 시스템의 동작에 대한 공식적인 사양이라고 말할 수 있습니까?
A
답변
3
당신이 공식적으로 각 상태에서 가능한 모든 전환을 정의하지 않는 시스템이 될 수있는 상태 공간은 모든 가능한 상태를 포함한다.
을 공식적인 정의에서 컴퓨터 시스템을 위해, 그것은 또한해야 컴퓨터 충돌과 같은 예기치 않은 전환이 포함됩니다. 결함 트리 분석은 모든 가능한 상태가 정의되었는지 확인하는 데 도움이 될 수 있습니다.
"전체 주 공간"의 발췌문을 보여줄 수 있습니까? 그리고 당신의 공식 사양의 청중은 누구입니까? 다른 관객들은 형식에 대한 상이한 표준을 가지고 있습니다. –