70. Оценка качества при разработке программного обеспечения. Верификация и валидация.

Приложения должны удовлетворять заранее определенному уровню качества. Для достижения требуемого уровня качества применяются следующие методы.

• Инспектирование. Командный процесс обеспечения качества, применяется на всех стадиях проекта.

• Формальные методы. К ним относятся математические методики для доказательства правильности программы, то есть того, что она делает то, что предполагается. Применяются выборочно.

• Тестирование:

• на уровне модуля (компонента);

• на уровне целого приложения.

• Методы управления проектом:

• предсказание стоимости и сроков;

• управление артефактами (версиями, документами и т. д.).

Верификация и валидация (V&V — Verification and Validation) являются составной частью плана контроля качества. Верификация отвечает на вопрос «Правильно ли построен наш объект?». Или более детально: «Делаем ли мы на данной фазе в точности то, что было запланировано в предыдущей фазе?». Валидация же отвечает на вопрос: «Делаем ли мы то, что нужно?». Или другими словами: «Отвечает ли построенный объект пожеланиям и нуждам заказчика?».

71. Оценка качества при разработке программного обеспечения. Метод «белого» ящика и метод «черного» ящика.

В дополнение к ответственности индивидуальных разработчиков и проверкам работы их коллег многие организации определили процесс раздельной систематической и полной проверки, в дальнейшем — контроль качества (QA — quality assurance). В функции контроля качества входят проверки, инспектирование (формальный тип проверки, приводимый ниже) и тестирование. Контроль качества должен начинаться вместе с запуском каждого проекта. Лучше всего привлекать контроль качества и для проверки правильности используемого процесса и актуальности документации. Представитель группы контроля качества часто принимает участие в инспектировании. В идеале контроль качества должен осуществляться некоторой независимой организацией.

В случае контроля качества методом «черного ящика» приложение (или какая-либо его законченная часть) анализируется как целое. Этот метод используется для проверки того, что приложение (его часть) отвечает предъявляемым требованиям. Контроль качества методом «белого {стеклянного) ящика» осуществляется на уровне компонентов, из которых построено тестируемое приложение (его часть). Промежуточным является метод «серого ящика» (ситуация, когда вы проверяете основные компоненты телевизора).

Чаще всего о методах «черного» и «белого ящика» говорят в контексте тестирования. Однако эти методы применимы и к другим способам контроля качества. Метод «белого ящика» основан на рассмотрении анализируемого артефакта с точки зрения его структуры, формы и назначения; здесь применяются формальные методы и рассматриваемое в следующем разделе инспектирование. Метод «черного ящика» задается вопросом: «Обладает ли построенный объект требуемым поведением?».

72. Понятие процесса.

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

Процесс— последовательная смена состояний объекта во времени.

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

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