Заключение

Эскизный, технический проекты и рабочая документация — это последовательное построение все более точных проектных решений. Допускается исключать стадию «Эскизный проект» и отдельные этапы работ на всех стадиях, объединять стадии «Технический проект» и «Рабочая документация» в «Технорабочий проект», параллельно выполнять различные этапы и работы, включать дополнительные.

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

Экономить на затратах на этапе проектирования нельзя, это сегодня уже непозволительная роскошь. Попытка экономить на этом этапе выливается в очень значительные затраты на этапе эксплуатации, когда все погрешности проявляются в процессе работы.

Стандарт ГОСТ 34.601-90 не вполне подходит для проведения разработок в настоящее время: многие процессы отражены недостаточно, а некоторые положения устарели.

Литература

1. ГОСТ 34.601-90. Автоматизированные системы. Стадии создания.

2. ГОСТ 34.201-89. Виды, комплектность и обозначение документации при создании автоматизированных систем.

3. РД 50-34.698-90. Автоматизированные системы. Требования к содержанию документов.

4. ГОСТ 34.602-89. Техническое задание на создание автоматизированной системы.

5. ГОСТ 34.603-92. Информационная технология. Виды испытаний автоматизированных систем.

6. ГОСТ Р 21.1703-2000. Система проектной документации для строительства. Правила выполнения рабочей документации проводных средств связи.

7. ГОСТ 21.110-95. Система проектной документации для строительства. Правила выполнения спецификации оборудования, изделий и материалов.

8. ГОСТ 2.106-95. Единая система конструкторской документации. Текстовые документы.

9. ГОСТ Р ИСО/МЭК 12207-99 (международный стандарт ИСО/МЭК 12207—95). Информационная технология. Процессы жизненного цикла.

Верификация — это подтверждение соответствия конечного продукта предопределённым эталонным требованиям.

Формальная верификация — доказательство с помощью формальных методов правильности или неправильности программы (системы) в соответствии с формальным описанием свойств программы (системы).

Методы верификации:

• Метод аксиоматической семантики Хоара

• Метод индуктивных утверждений Флойда

• Доказательное программирование (proofing programming)

• Автоматическое доказательство теорем (Theorem proving)

• Проверка моделей (Model checking)

• Символьное выполнение (Symbolic execution)

• Абстрактная интерпретация (Abstract Interpretation)

В российском государственном стандарте ГОСТ Р ИСО 9000-2008(который является аутентичным переводом международного стандарта ISO 9000:2000) «верификация» определена следующим образом:

3.8.4 верификация (en verification; fr verification): Подтверждение на основе представления объективных свидетельств (3.8.1) того, что установленные требования (3.1.2) были выполнены.

Аттестация ПС- это авторитетное подтверждение качества ПС. Обычно для аттестации ПС создается представительная (аттестационная) комиссия из экспертов, представителей заказчика и представителей разработчика. Эта комиссия проводит испытания ПС с целью получения необходимой информации для оценки его качества. Под испытанием ПС мы будем понимать процесс проведения комплекса мероприятий, исследующих пригодность ПС для успешной его эксплуатации (применения и сопровождения) в соответствии с требованиями заказчика. Этот комплекс включает проверку полноты и точности программной документации, изучение и обсуждение других ее свойств, а также необходимое тестирование программ, входящих в состав ПС, и, в частности, соответствия этих программ имеющейся документации.

Верификацией и аттестацией называются процессы проверки и анализа, в ходе которых проверяется соответствие программного обеспечения своей спецификации и требованиям заказчиков. Верификация и аттестация охватывают весь цикл жизни ПО – они начинаются на этапе анализа требований и завершаются проверкой программного кода на этапе тестирования программной системы.

Верификация и аттестация – абсолютно разные понятия, однако часто их путают. Для того, чтобы различать их, выведем главное различие между этими терминами. Верификация отвечает на вопрос, правильно ли создана система, а аттестация отвечает на вопрос, правильно ли работает система. Из этого следует, что верификация проверяет соответствие ПО системной спецификации, в частности функциональным и нефункциональным требованиям. Аттестация – это более общий процесс. Во время аттестации цель исполнителя – доказать заказчику, что продукт оправдывает ожидания последнего. Аттестация проводится после верификации.

9