Эксπир
Регистрация / Вход

Верификация программ посредством их параметризованного тестирования специализаторами на базе моделей этих программ, реализация верификатора для языка программирования Java.

Стадии проекта
Предложение принято
Конкурс завершен
Проект закончен
Проект
02.514.11.4049
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
6 млн
Внебюджетные средства
1,3 млн

Разработка технологии верификации программного обеспечения на языках общего назначения, на базе моделей и с учетом специфики предметной области

Соисполнители

Предложения

Разработка теоретических основ и технологии создания автоматизированной системы для тестирования трансляции формальных моделей при разработке информационных систем.
Тема
Разработка теоретических основ и технологии создания автоматизированной системы для тестирования трансляции формальных моделей при разработке информационных систем.
Входящий номер
727
Организация
СПИИРАН
Руководитель организации-инициатора
Юсупов Рафаэль Мидхатович
Исследование и разработка методов обнаружения дефектов в программном обеспечении
Тема
Исследование и разработка методов обнаружения дефектов в программном обеспечении
Входящий номер
1930
Организация
ИСП РАН
Руководитель организации-инициатора
Аветисян Арутюн Ишханович

Этапы проекта

1
18.05.2007 - 30.09.2007
Проведен анализ научно-технической литературы, нормативно-технической документации и других материалов, относящихся к разрабатываемой теме.
Обоснованы основные принципы технологии верификации управляющих программ со сложным поведением на базе моделей этих программ.
Исследован процесс верификации как параметризованного тестирования.
Разработаны рабочие гипотезы и модель объекта исследований.
Разработаны методы построения тестовых гипотез, указывающих на возможные ошибки в программах.
Выполнены выбор и обоснование языка спецификаций для постановки задач на верификацию.
Проведены патентные исследования по ГОСТ 15.011-96.
Подготовлен промежуточный отчет о НИР.
Развернуть
2
01.10.2007 - 31.12.2007
Разработаны алгоритмы прототипа верификатора Java программ.
Разработаны тестовые программы.
Разработана программная документация на тестовые программы.
Проведены патентные исследования в соответствии с ГОСТ 15.011-96.
Подготовлен промежуточный отчет о НИР.
Подготовлен отчет по патентным исследованиям.
Развернуть
3
01.01.2008 - 31.07.2008
Разработан прототип верификатора для языка программирования Java.
Разработана программная документация.
Разработана Программа и методика экспериментов.
Проведено тестирование разрабатываемого верификатора Java программ на:
1) разработанном наборе тестовых Java программ;
2) внешних Java программах.
Проведены патентные исследования в соответствии с ГОСТ 15.011-96.
Подготовлен промежуточный отчет о НИР.
Подготовлен отчет по патентным исследованиям.
Развернуть
4
01.08.2008 - 31.10.2008
Проведено обобщение результатов предыдущих этапов работ, в том числе с целью оценки полноты решения задач и эффективности полученных результатов в сравнении с современным научно-техническим уровнем, разработаны методические рекомендации по верификации систем со сложным поведением с использованием инструментальных средств верификации с открытыми исходными кодами. Подготовлен заключительный отчет о НИР.
Разработан проект технических требований на проведение ОКР по разработке прикладных систем верификации управляющих программ со сложным поведением на базе моделей этих программ.
Проведены патентные исследования в соответствии с ГОСТ 15.011-96, подготовлен отчет по патентным исследованиям.
Развернуть

Программа

Программа "Исследования и разработки по приоритетным направлениям развития научно-технологического комплекса России на 2007-2013 годы"

Программное мероприятие

1.4 Проведение проблемно-ориентированных поисковых исследований и создание научно-технического задела по перспективным технологиям в области информационно-телекоммуникационных систем
Продолжительность работ
2005, 1 мес.
Бюджетные средства
0,36 млн
Организация
ИСП РАН
профинансировано
Тема
Разработка технологий верификации программного обеспечения
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
18 млн
Количество заявок
13
Тема
Разработки в области языков программирования и моделирования программного обеспечения, технологий и инструментальных средств проектирования программ
Продолжительность работ
2007 - 2008, 17 мес.
Бюджетные средства
24 млн
Количество заявок
8
Тема
Технология автоматного программирования: применение и инструментальные средства
Продолжительность работ
2005 - 2006, 23 мес.
Бюджетные средства
15 млн
Количество заявок
2
Тема
Разработка и формирование комплекта учебно-методических материалов по преподаванию русского языка как иностранного с учетом страновой и региональной специфики систем образования Испании.
Продолжительность работ
2014, 0 мес.
Бюджетные средства
2,14 млн
Количество заявок
1
Тема
Разработка и формирование комплекта учебно-методических материалов по преподаванию русского языка как иностранного с учетом страновой и региональной специфики систем образования Сирии
Продолжительность работ
2014, 0 мес.
Бюджетные средства
2,14 млн
Количество заявок
1