Методические рекомендации по подготовке отчетной документации по результатам выполненных научно-исследовательских, опытно-конструкторских, опытно-технологических работ по государственным контрактам,
| Вид материала | Методические рекомендации |
- Твердить положение о порядке формирования окружного плана научно-исследовательских, 152.62kb.
- Постановление от 24. 12. 2008 №988 Об утверждении перечня научных исследований и опытно-конструкторских, 22.06kb.
- Бухгалтерский учет и налогообложение научно-исследовательских, опытно-конструкторских, 25.57kb.
- Тема Ф. И. О. студента, 51.54kb.
- В. И. Тесленко Техническое оформление, 1460.35kb.
- Ю. К. Толстой гражданское право учебник, 13889.63kb.
- Дзяржа ў ныкам І т э т, 215.19kb.
- План научно-исследовательских, опытно-конструкторских и технологических работ Министерства, 120.24kb.
- 4. зао «Информационно-вычислительные системы», 109.29kb.
- Временные методические рекомендации по определению стартовой стоимости научно, 755.22kb.
Ведомость
соответствия результатов работы требованиям технического задания
(задания на выполнения работ)
Государственного контракта от «09» июня 2009 г. № 02.514.12.4999
по теме
«Проведение прикладных и проблемно-ориентированных поисковых исследований в области информационно-телекоммуникационных систем»
Шифр «2009-4-1.4-00-02-003»
| № п/п | Требования ТЗ | Полученные результаты | Документ, подтверждающий результат | Соответствие результатов требованиям ТЗ | |
| № пункта | Установленные требования | ||||
| 1 | 4.3.2 | В ходе выполнения НИР должны быть разработаны | |||
| 2 | 4.3.2.1 | Методики верификации и синтеза тестов с гарантированной полнотой для недетерминированных автоматов, расширенных автоматов на основе срезов и для временных автоматов в составе: 1) методики синтеза тестов с гарантированной полнотой для недетерминированных автоматов относительно редукции, разделимости и r-различимости; 2) методики синтеза тестов с гарантированной полнотой для временных автоматов относительно функциональной эквивалентности; 3) методики синтеза тестов с гарантированной полнотой для расширенных автоматов на основе срезов относительно эквивалентности; | Разработаны методы верификации и синтеза тестов с гарантированной полнотой для недетерминированных автоматов относительно редукции, разделимости и r-различимости;Разработаны методы синтеза тестов с гарантированной полнотой для временных автоматов относительно функциональной эквивалентности; Разработаны методы синтеза тестов с гарантированной полнотой для расширенных автоматов на основе срезов относительно эквивалентности; | Отчет о НИР (этап 3), раздел 2 Отчет о НИР (этап 2) раздел 3 Отчет о НИР (этап 3) раздел 4 | Соответствует Соответствует Соответствует |
| 3 | 4.3.2.2 | Методики верификации и синтеза тестов с гарантированной полнотой для композиций автоматов различного вида, в том числе методика синтеза тестов для проверки взаимодействия компонент сети в составе: 1) методики синтеза тестов для проверки наличия осцилляций в автоматной сети;2) методики синтеза тестов для проверки функционирования компонент автоматной сети; | Разработаны методы синтеза тестов для проверки наличия осцилляций в автоматной сети;Разработаны методы синтеза тестов для проверки функционирования компонент автоматной сети; | Отчет о НИР (этап 1) раздел 3 Отчет о НИР (этап 1) раздел 4 | Соответствует Соответствует |
| 4 | 4.3.2.3 | Методики пассивного тестирования взаимодействующих реализаций телекоммуникационных протоколов в составе: 1) метода оценки полноты пассивного тестирования;2) метода пассивного тестирования протокольных реализаций на основе инвариант; | Разработан метод оценки полноты пассивного тестирования;Разработан метод пассивного тестирования протокольных реализаций на основе инвариант; | Отчет о НИР (этап 1) раздел 2 Отчет о НИР (этап 1) раздел 3 | Соответствует Соответствует |
| 5 | 4.3.2.4 | Методики решения комбинаторных задач, возникающих при верификации и тестировании, для частных случаев, когда для решения этих проблем существуют алгоритмы полиномиальной сложности для следующих объектов: недетерминированных автоматов; расширенных автоматов; автоматных композиций; | Разработаны методики решения. | Отчет о НИР (этап 3) раздел 5 | Соответствует |
| 6 | 4.3.3 | Разрабатываемый ЭО КПП должен обеспечивать выполнение следующих функций: 1) реализацию последовательных и параллельных алгоритмов для синтеза проверяющих тестов с гарантированной полнотой для детерминированных конечных автоматов;2) реализацию алгоритмов для синтеза проверяющих тестов с гарантированной полнотой для недетерминированных, временных и расширенных автоматов; 3) реализацию пассивного тестирования протокольных реализаций на основе инвариантов; 4) реализацию алгоритмов проверки нарушения информационной безопасности в компьютерных системах, построенных на базе политики дискреционного разграничения доступа | ЭО КПП обеспечивает реализацию последовательных и параллельных алгоритмов для синтеза проверяющих тестов с гарантированной полнотой для детерминированных конечных автоматов ЭО КПП содержит ППП по синтезу проверяющих тестов с гарантированной полнотой для недетерминированных, временных и расширенных автоматов; ЭО КПП содержит ППП «Автоматизированная система для активного и пассивного тестирования реализаций протоколов ЭО КПП содержит ППП для проверки нарушения информационной безопасности в компьютерных системах, построенных на базе политики дискреционного разграничения доступа | Акт испытаний экспериментального образца (отчёт о НИР по этапу 3, приложение Б.) Акт испытаний экспериментального образца (отчёт о НИР по этапу 3, приложение Б.) Акт испытаний экспериментального образца (отчёт о НИР по этапу 3, приложение Б.) Акт испытаний экспериментального образца (отчёт о НИР по этапу 3, приложение Б.) | Соответствует Соответствует Соответствует Соответствует |
| 7 | 4.3.6 | На разрабатываемый ЭО КПП должна быть разработана программная документация в составе | |||
| 8 | 4.3.6.1 | На каждый программный компонент: 1) текст программы в соответствии с ГОСТ 19.401-78 "ЕСПД. Текст программы. Требования к содержанию и оформлению" 2) описание программы в соответствии с ГОСТ 19.402-78 "ЕСПД. Описание программы" | текст программы представлен в соответствии с ГОСТ 19.401-78 "ЕСПД. Текст программы. Требования к содержанию и оформлению" программы описаны в соответствии с ГОСТ 19.402-78 "ЕСПД. Описание программы" | Приложение Б к отчету о НИР (4 этап) Приложения Г - И к отчету о НИР (4 этап) | Соответствует Соответствует |
| 9 | 4.3.6.2 | На ЭО КПП в целом - описание применения в соответствии с ГОСТ 19.502-78 "ЕСПД. Описание применения. Требования к содержанию и оформлению" | На ЭО КПП разработана программная документация, в том числе описание применения ЭО КПП в соответствии с ГОСТ 19.502-78 "ЕСПД. Описание применения. Требования к содержанию и оформлению" | Приложение В к отчету о НИР (4 этап) | Соответствует |
| 10 | 4.3.7 | Должны быть проведены экспериментальные исследования разработанного ЭО КПП с целью оценки его эффективности | Проведены экспериментальные исследования разработанного ЭО КПП с целью оценки его эффективности | Приложения К.3, Л.3, М.3, Н.3, П.3, Р.3 в приложениях К – Р к отчету о НИР (4 этап) | Соответствует |
| 11 | 4.3.8 | Должны быть разработаны программа и методики экспериментальных исследований | Разработаны программа и методики экспериментальных исследований | Приложения К – Р к отчету о НИР (этап 4 ) | Соответствует |