Наукова періодика України | Радіоелектронні і комп’ютерні системи | ||
Летичевський О. О. Символьні методи у верифікації та тестуванні високонадійних систем / О. О. Летичевський // Радіоелектронні і комп’ютерні системи. - 2016. - № 5. - С. 78–83. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2016_5_14 Висвітлено питання рішення задачі розробки високонадійних систем, зокрема тих, що критичні до безпеки. Розглянуто проблеми тестування та верифікації, які актуальні на кожній стадії процесу розробки. Окрім того під час розробки мають бути дотримані такі стандарти розробки систем як досяжність 100 % тестового покриття та застосування технології модельного тестування для розподільних і недетермінованих систем. Запропоновано розв'язання проблеми з використання символьних методів на основі теорії інсерційного моделювання та предикатних перетворювачів. Як формальні специфікації, що визначають модель системи використовується мова Live UCM, як композиція стандартної мови UCM (Use Case Maps) та мова базових протоколів. Запропоновані методи реалізовані в низці програмних систем та апробовані на прикладах перевірки властивостей безпеки в моделях у проектах в різних галузях сучасної індустрії. Цитованість авторів публікації: Бібліографічний опис для цитування: Летичевський О. О. Символьні методи у верифікації та тестуванні високонадійних систем / О. О. Летичевський // Радіоелектронні і комп’ютерні системи. - 2016. - № 5. - С. 78–83. - Режим доступу: http://nbuv.gov.ua/UJRN/recs_2016_5_14.Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|
|
Всі права захищені © Національна бібліотека України імені В. І. Вернадського |