 |
анализ достижимости
| состояний
| анализ достижимости | |
| progr. | accessibility analysis |
| состояние | |
| gen. | case; size |
| состояния | |
| Makarov. | annunciator |
| X-состояние | |
| IT | X-state |
| Z-состояние | |
| IT | Z-state |
| IT prof.jarg. | floating state |
| d-состояние | |
| Makarov. | d state |
| f-состояние | |
| Makarov. | f state |
| p-состояние | |
| Makarov. | p state |
| |||
| accessibility analysis (алгоритмы проверки моделей обычно базируются на исчерпывающем обзоре множества всех состояний модели системы: для каждого состояния системы проверяется, "ведет ли оно себя корректно" удовлетворяет ли требуемому свойству. В самой простой форме этот метод известен как анализ достижимости ssn) | |||
| анализ достижимости: 3 phrases in 2 subjects |
| Mass media | 1 |
| Programming | 2 |