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

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

Разработаны алгоритмы прототипа верификатора Java программ.
Разработаны тестовые программы.
Разработана программная документация на тестовые программы.
Проведены патентные исследования в соответствии с ГОСТ 15.011-96.
Подготовлен промежуточный отчет о НИР.
Подготовлен отчет по патентным исследованиям.

Разработан прототип верификатора для языка программирования Java.
Разработана программная документация.
Разработана Программа и методика экспериментов.
Проведено тестирование разрабатываемого верификатора Java программ на:
1) разработанном наборе тестовых Java программ;
2) внешних Java программах.
Проведены патентные исследования в соответствии с ГОСТ 15.011-96.
Подготовлен промежуточный отчет о НИР.
Подготовлен отчет по патентным исследованиям.

Проведено обобщение результатов предыдущих этапов работ, в том числе с целью оценки полноты решения задач и эффективности полученных результатов в сравнении с современным научно-техническим уровнем, разработаны методические рекомендации по верификации систем со сложным поведением с использованием инструментальных средств верификации с открытыми исходными кодами. Подготовлен заключительный отчет о НИР.
Разработан проект технических требований на проведение ОКР по разработке прикладных систем верификации управляющих программ со сложным поведением на базе моделей этих программ.
Проведены патентные исследования в соответствии с ГОСТ 15.011-96, подготовлен отчет по патентным исследованиям.