ТЕХНОЛОГІЯ СИМВОЛЬНОГО МОДЕЛЮВАННЯ ДЛЯ ТЕСТУВАННЯ ТА ВЕРИФІКАЦІЇ ВИСОКОНАДІЙНИХ ПРОГРАМНИХ СИСТЕМ
Призначення розробки:
Для використання організаціями, які розробляють програмне забезпечення критичних до безпеки програмних систем
Рекомендована область застосування:
В авіаційній, військовій, телекомунікаційній та медичній галузях.
Технічна характеристика:
Досягає 100 % тестового покриття коду, аналізування 100 % станів системи.
Переваги перед аналогами:
Немає світових аналогів щодо комплексного застосування технології символьних обчислень у процесі розроблення програмного забезпечення.
Стадія завершеності розробки:
Впроваджено в виробництво
Відомості про новизну розробки:
є патентів України -- 1 шт.
Результати дослiджень
Забезпечує отримання стабільних результ
Можливість передачі за кордон:
Спільне виробництво,продаж,эксплуатація
Фотодоповнення
Країна
Україна
Для отримання додаткової інформації звертайтесь:: E-mail: gal@uintei.kiev.ua
|