Учитывая систему и ее полное пространство состояний, могу ли я сказать, что это пространство состояний является формальной спецификацией поведения этой системы?
Могу ли я сказать, что пространство состояний — это формальная спецификация поведения некоторой системы?
comment
Можете ли вы показать нам отрывок из вашего полного пространства состояний? И кто является аудиторией вашей официальной спецификации? У разных аудиторий разные стандарты формальности.
- person Daniel Lyons schedule 29.06.2016
Ответы (1)
Нет, если вы формально не определили все возможные переходы в каждое состояние и из него, и ваше пространство состояний включает все возможные состояния, в которых может находиться система.
Формальное определение компьютерной системы должно также включать неожиданные переходы, такие как сбои компьютера. Анализ дерева отказов может помочь определить все возможные состояния.
См. википедию.
person
WSimpson
schedule
29.06.2016
