Рассмотрена проблема представления требований к поведению интерактивной системы в виде формальных спецификаций, а также ее верификация и генерация трасс, используемых для создания тестовых наборов. Исследован специальный класс спецификаций, представленный в виде базовых протоколов, в котором рассматриваются возможные виды противоречивости и неполноты. С помощью символьного моделирования требований, произведено порождение символьных трасс, используемых для тестирования создаваемой системы по различным критериям.

• Летичевський Олександр Олександрович (1960–) (фізико-математичні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"