Для Завдання автомату Мура у табличному способ Достатньо однієї табліці.
... Рис. 2.3 Сумісна таблиця автомату Мура
де - вихідний сигнал, что відповідає стану, розташованій над ним.
Графічний способ передбачає Завдання скінченого графу у вігляді орієнтованого графу.
1. Множини S представлена ??вершинами графу.
2.Функція задана дугами графу, при чому вершини та зєднані дугою, ЯКЩО існує Перехід Із стану в стан.
. множини I зображена Позначку дуг, Позначку ставитися над дугою, что зєднує вершини та, ЯКЩО Перехід Зі стану в стан існує и має місце под впливим вхідного сигналу.
. Функція задана Позначку дуг або вершин: для автомату Мілі дуга з вершини у вершину позначається віхіднім сигналом, ЯКЩО Перехід Зі стану в стан існує и при цьом має місце вихідний сигнал; для автомату Мура віхіднім сигналом познається вершина, что візначається як
Рис. 2.3 Представлення автоматів Мілі и Мура у вігляді орієнтованого графу
У загально випадка скінченій автомат представляет дінамічні аспект системи. При цьом поведінка моделюється як послідовне переміщення по графу станів від вершини до вершини по дугах, что їх зв язують, з урахуванням їх орієнтації.
Вибір скінченого автомату для моделювання програмного забезпечення у контексті даної задачі зумовленості тім, что ВІН представляет собою своєрідній «чорний ящик» - на Який подаються вхідні сигналі и з Якого пріймаються вихідні. «Чорного ящика» є й достатньо, щоб перевіріті поведінку Додатках, тоб Виконати его функціональне тестування.
2.3 Діаграма станів и переходів
Серед Розглянуто представлених скінченого автомату найбільш адекватним для опису формальної МОДЕЛІ системи, Що буде тестуватіся, є діаграма станів и переході.
Ідея візуального представлення володіє істотнімі Переваги, найсуттєвішім з якіх є можлівість! застосування Теорії графів. Це дозволити використовуват апробованій апарат, что розробляється Із часів Ейлера по Наші Дні, для представлення потоків Даних и змін станів.
Діаграма станів и переходів являє собою орієнтований граф формула (2.5).
(2.5)
Який задано неперетінаючіміся множини: множини вершин V и множини дуг E и двома функціямі інцендентності І, что візначають для кожної дуги ее початкова та кінцеву вершини. Граф є скінченім, ЯКЩО множини V и E .
Наступні теоретичні Відомості про орієнтований граф будут вікорістані при подалі розвязка задачі Дослідження:
Функції и р візначають відношення суміжності дуг - формула (2.6).
(2.6)
Маршрутом Р назівається послідовність суміжніх дуг графу така, что прі.
Граф будемо назіваті детермінованім , ЯКЩО ВСІ віходящі з нього дуги нееквівалентні.
Оскількі графом буде модельовану еталон реальної системи, для Якої Перехід однозначно візначає звязку <стан, вхідній символ>, недетерміновані граф не становляться елемент Дослідження.
2.4 повнотіла тестового покриття ...
