6. Спецификации. Моделирования. Верификация методом проверки понятности

Спецификации

Спецификация программной системы - описание системы, которое полностью определяет ее цель и функциональные возможности. Различают: - словесные спецификации на естественном языке; - модельные спецификации; - формальные спецификации.

Моделирование

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

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

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

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

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

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

Еще раз следует подчеркнуть, что главное достоинство моделей - представление информации в наглядной графической форме. Для одинакового понимания графического представления разными людьми графическая нотация должна быть унифицирована, то есть должен использоваться язык, определяющий такую нотацию и ее семантику. Именно таковым и является Unified Modeling Language (UML).

Процесс верификации. Цель процесса - убедиться, что каждый программный продукт (и/или сервис) проекта отражает согласованные требования к их реализации. Этот процесс основывается:

• на стратегии и критериях верификации применительно ко всем рабочим программным продуктам;

• на выполнении действий стандарта по верификации;

• на устранении недостатков, обнаруженных в программных (рабочих и промежуточных) продуктах;

• на согласовании результатов верификации с заказчиком.

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

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