Аннотация запроса

Коллектив исследователей из г. Ульяновска разрабатывает технологию разработки тестов программного обеспечения авиационных бортовых систем на основе автоматической обработки проектной документации. В перспективе технология позволит существенно сократить время подготовки тестов и снизить количество ошибок в тестах. Коллектив ищет партнеров для развития исследований в данной области.

Описание запроса

Современные технологии разработки тестов для программного обеспечения авиационных бортовых систем предполагают использование математических спецификаций или составления тестов вручную. Использование этих подходов требует высокой квалификации исполнителей и существенных временных затрат для получения тестовых наборов, удовлетворяющих всем требованиям, предъявляемым международным стандартом DO-178B (полнота тестирования программного кода, точность локализации обнаруживаемых ошибок и т.д.). Разрабатываемая технология позволит значительно сократить время, затрачиваемое на формирование тестовых наборов с сохранением уровня качества результатов. В качестве исходных данных предполагается использование описания проекта программного обеспечения. На выходе предполагается получать тестовую последовательность в файле tsf-формата, предназначенном для работы в среде автоматического тестирования LDRA TBrun.
Исследователи ищут партнеров среди научно-исследовательских групп и институтов для научно-технического сотрудничества по следующим направлениям: разработка методов автоматической обработки проектной документации и описаний проектов программного обеспечения.

Техническая спецификация/Особые технические требования запроса

Компетенции партнеров должны охватывать одно или несколько из следующих направлений:
- автоматическое тестирование программного обеспечения;
- обработка текстов естественного языка (natural language processing);
- тестирование программного обеспечения на основе формальных спецификаций.

Описание необходимого сотрудничества

Тип требующегося сотрудничества	Совместная дальнейшая разработка
Тип искомого партнера	Научно-исследовательские группы и институты
Область деятельности партнера	Научные исследования в области тестирования программного обеспечения, а также в области обработки естественного языка
Задачи, стоящие перед партнером	Совместная разработка технологии и инструментальных средств разработки тестов программного обеспечения бортовых систем.