-------------------- Название профиля -------------------- Создание технологии разработки тестов программного обеспечения авиационных бортовых систем -------------------- Буквенный и цифровой код -------------------- ULCTT 321017 -------------------- Тип профиля -------------------- Запрос -------------------- Дата размещения -------------------- 2011-10-17 -------------------- Активен до -------------------- 2012-04-30 -------------------- Страна -------------------- Россия -------------------- Сети -------------------- RTTN - Российская сеть трансфера технологий / Russian Technology Transfer Network RFR - Франко-Российская технологическая сеть / French-Russian Technology Network RuBIN - Russian Business Innovation Networks / Российская бизнес-инновационая сеть -------------------- Сектор - технологическое направление -------------------- Промышленные технологии Информационные технологии -------------------- Аннотация запроса -------------------- Коллектив исследователей из г. Ульяновска разрабатывает технологию разработки тестов программного обеспечения авиационных бортовых систем на основе автоматической обработки проектной документации. В перспективе технология позволит существенно сократить время подготовки тестов и снизить количество ошибок в тестах. Коллектив ищет партнеров для развития исследований в данной области. -------------------- Описание запроса -------------------- Современные технологии разработки тестов для программного обеспечения авиационных бортовых систем предполагают использование математических спецификаций или составления тестов вручную. Использование этих подходов требует высокой квалификации исполнителей и существенных временных затрат для получения тестовых наборов, удовлетворяющих всем требованиям, предъявляемым международным стандартом DO-178B (полнота тестирования программного кода, точность локализации обнаруживаемых ошибок и т.д.). Разрабатываемая технология позволит значительно сократить время, затрачиваемое на формирование тестовых наборов с сохранением уровня качества результатов. В качестве исходных данных предполагается использование описания проекта программного обеспечения. На выходе предполагается получать тестовую последовательность в файле tsf-формата, предназначенном для работы в среде автоматического тестирования LDRA TBrun. Исследователи ищут партнеров среди научно-исследовательских групп и институтов для научно-технического сотрудничества по следующим направлениям: разработка методов автоматической обработки проектной документации и описаний проектов программного обеспечения. -------------------- Техническая спецификация/Особые технические требования запроса -------------------- Компетенции партнеров должны охватывать одно или несколько из следующих направлений: - автоматическое тестирование программного обеспечения; - обработка текстов естественного языка (natural language processing); - тестирование программного обеспечения на основе формальных спецификаций. -------------------- Дополнительная информация (технические подробности, относящиеся к профилю) -------------------- -------------------- Технологические ключевые слова, характеризующие профиль -------------------- Программное обеспечение компьютеров Искусственный интеллект (ИИ) -------------------- Текущая стадия развития -------------------- -------------------- Права интеллектуальной собственности -------------------- -------------------- Комментарии, дата и номер патента, если есть -------------------- -------------------- Рыночные применения -------------------- Языки/инструменты для разработки программ Программы, связанные с искусственным интеллектом -------------------- Существующие и потенциальные рыночные применения -------------------- -------------------- Тип требующегося сотрудничества -------------------- Совместная дальнейшая разработка -------------------- Тип искомого партнера -------------------- Научно-исследовательские группы и институты -------------------- Область деятельности партнера -------------------- Научные исследования в области тестирования программного обеспечения, а также в области обработки естественного языка -------------------- Задачи, стоящие перед партнером -------------------- Совместная разработка технологии и инструментальных средств разработки тестов программного обеспечения бортовых систем. -------------------- Предпочитаемые страны -------------------- -------------------- Тип организации – автора профиля -------------------- Исследовательский институт / Университет -------------------- Размер организации – автора профиля -------------------- более 500 -------------------- Центр – член сети, представляющий информацию по профилю -------------------- Ульяновский государственный технический университет. Ульяновский областной Центр трансфера технологий (г.Ульяновск) -------------------- Адрес центра -------------------- ул. Северный Венец, д. 32 -------------------- Почтовый адрес -------------------- 432027, г. Ульяновск, ул. Северный Венец, д. 32