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