Файл: Иногда невозможно разработать автоматические или чётко формализованные ручные тесты для проверки функциональности программной системы.docx

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 25.10.2023

Просмотров: 14

Скачиваний: 2

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

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

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

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

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

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

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

Формальная инспекция включает пять этапов, каждый из которых выполняет свою роль в процессе:

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

Планирование: на этом этапе определяются временные рамки и расписание проведения инспекции, планируется встреча или сессия инспекции. Также устанавливаются критерии оценки качества документов и определяются методы обсуждения и принятия решений.

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

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

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