Geum.ru

В. В. Черняев московский инженерно-физический институт (государственный университет) автоматизация процессов конфигурационного контроля в задача

Вид материалаЗадача
Подобный материал:

УДК 004.4(06) Технологии разработки программных систем


Д.В. ДЕНИСЕНКО, В.А. СОЛОГУБ, В.В. ЧЕРНЯЕВ

Московский инженерно-физический институт (государственный университет)


АВТОМАТИЗАЦИЯ ПРОЦЕССОВ КОНФИГУРАЦИОННОГО КОНТРОЛЯ В ЗАДАЧАХ ТЕСТИРОВАНИЯ ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ


Рассматривается общая схема процедур принятия решений в задачах тестирования бортового программного обеспечения.


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

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

Поэтому весьма желательна разработка инструментального средства, благодаря которому руководитель (в докладе рассматривается конкретный уровень тематической группы) имел бы возможность «настроить» требуемую для него систему контроля-оповещения. Универсальность, простота, ориентированность на конечного пользователя, должны гарантировать единую по своей «логической» сути системную реализуемость для всего производства.

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

В целом по материалам доклада описывается конкретный пример объекта конфигурационного управления (ОКУ), использованного для задачи тестирования автопилота. Описаны объекты контроля, типы объекта, множество используемых атрибутов, множество динамически изменяемых состояний объекта, и отношений между ними. Определены основные процедуры управления конфигурацией:
  • конфигурационная идентификация (правила идентификации и нумерации, идентификация требований к продукту, идентификация изменений в данных, базовые версии, спецификации, идентификация данных по релизам);
  • контроль конфигурации (критерии утверждения изменений, контроля конфигурации, организация контроля изменений);
  • учет состояния конфигурации (ведение истории изменений конфигурации продукта, ведение истории состояний утвержденных изменений, ведение истории верификации конфигурации, учет авторизации изменений);
  • аудит и ревизия конфигурации (формальные квалификационные ревизии, функциональный аудит конфигурации, физический аудит конфигурации).

Зафиксированные объекты конфигурации (модели, требования, загрузочные библиотеки, протоколы прогона тестов, различных видов замечания по выявленным ошибкам, протоколы внутреннего аудита, так называемые формальные инспекции), а также их взаимосвязи, позволили с помощью основных процедур управления конфигурацией формализовать жизненный цикл ОКУ, определить роли, определить возможные и доступные в определенный момент действия над ОКУ, а также организовать алгоритм версионного контроля ОКУ [2].


Список литературы


  1. Липаев В.В. Сопровождение и управление конфигурацией сложных программных средств. – М.: СИНТЕГ, 2006. – 372 с.
  2. Уайт Б. Управление конфигурацией программных средств. Практическое руководство по Rational ClearCase. – М.: ДМК Пресс, 2002. – 272 с.




ISBN 978-5-7262-0883-1. НАУЧНАЯ СЕССИЯ МИФИ-2008. Том 11