Автоматизация тестирования оптимизаторов моделей встроенных систеи управления.
Стадии проекта
Предложение принято
Конкурс завершен
Выполнение этапа проекта
Проект
02.442.11.7173
Организация
ИСП РАН
Продолжительность работ
2005, 1 мес.
Бюджетные средства
0,36 млн
Внебюджетные средства
0 млн
Информация отсутствует
Этапы проекта
1
27.10.2005 - 25.11.2005
Целью выполнения предлагаемого исследования является повышение эффективности методов проверки качества программного обеспечения в сфере разработки встроенных систем управления.
Разработаны методы автоматизации тестирования оптимизаторов моделей встроенных систем управления.
Созданы прототипы генераторов тестовых данных для двух подобных оптимизаторов.
Использование разработанной технической документации и данных экспериментальных исследований в ОКР в области информационных технологий.
Разработаны методы автоматизации тестирования оптимизаторов моделей встроенных систем управления.
Созданы прототипы генераторов тестовых данных для двух подобных оптимизаторов.
Использование разработанной технической документации и данных экспериментальных исследований в ОКР в области информационных технологий.
Программа
Программа "Исследования и разработки по приоритетным направлениям развития науки и техники" на 2002-2006 годы
Программное мероприятие
1.9 Проведение молодыми учеными научных исследований по приоритетным направлениям науки, высоких технологий и образования
Разработка системы автоматизации регрессионного тестирования программного обеспечения для мейнфреймов, работающих под управлением операционной системы z/OS
Продолжительность работ
2010 - 2011, 12 мес.
Бюджетные средства
0,4 млн
Организация
ФГАОУ ВО "ЮУрГУ (НИУ)"
профинансировано
Методы автоматизации тестирования драйверов и модулей ядра операционной системы Linux
профинансировано
Продолжительность работ
2007 - 2008, 18 мес.
Бюджетные средства
25 млн
Организация
НИЦ "Курчатовский институт"
профинансировано
Продолжительность работ
2005, 1 мес.
Бюджетные средства
0,36 млн
Организация
Томский государственный университет, НИ ТГУ, ТГУ
профинансировано
Разработка моделей и алгоритмов тестирования знаний с динамической логической структурой
профинансировано