Могу ли я сказать, что пространство состояний является формальной спецификацией поведения некоторой системы?

Question

Могу ли я сказать, что пространство состояний является формальной спецификацией поведения некоторой системы?

Учитывая систему и ее полное пространство состояний, могу ли я сказать, что это пространство состояний является формальной спецификацией поведения этой системы?

3

verification formal-verification model-checking formal-methods

Источник

user967501 29 июн '16 в 05:55

1 ответ

Решение

Другие вопросы по тегам verification formal-verification model-checking formal-methods

user3900773 29 июн '16 в 06:24 2016-06-29 06:24 · Accepted Answer · 2016-06-29 06:24

Нет, если вы не определили формально все возможные переходы в каждое состояние и из каждого состояния, и ваше пространство состояний включает все возможные состояния, в которых может находиться система.

В формальном определении для компьютерной системы это также должно включать неожиданные переходы, такие как сбои компьютера. Анализ дерева отказов может помочь в определении всех возможных состояний.

Смотрите википедию