Метрология стандартизация и сертификация в информационных технологиях

Стандартизация в области информационных технологий

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

ГОСТ 34.601—90. Информационная технология. Комплект стандартов на информационные системы. Автоматизированные системы. Стадия создания.

Именно в этом стандарте установлена регламентация стадий создания автоматизированных систем (АС):

• 1) формирования требований к созданию АС;
• 2) разработка концепции к созданию АС;
• 3) техническое задание (ТЗ);
• 4) эскизный проект;
• 5) технический проект;
• 6) рабочая документация;
• 7) ввод в действие;
• 8) сопровождение.

Область информационных технологий

В многочисленных докладах профессора МГУ В. А. Сухомлина говорится, что область информационных технологий (ИТ) является основой индустрии обработки информации — важнейшего сектора общественного производства, оказывающего воздействие на темпы и характер развития современного общества.

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

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

При создании научно-методических основ информационные технологии рассматриваются в двух формах представления:

• в виде спецификаций ИТ (ИТ-спецификаций), например, в виде описаний функциональных возможностей и поведения систем ИТ, задокументированных в строго регламентированной форме;
• в виде систем ИТ (ИТ-систем), т. е. реализаций спецификаций ИТ.

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

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

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

Кратко рассмотрим основные методы анализа ИТ

• Метод архитектурных спецификаций. Применяется для формирования концептуального базиса и определения семантической структуры важнейших разделов ИТ. Как правило, реализуется посредством разработки так называемых эталонных моделей, образующих методологическое ядро (метазнания) ИТ. Эталонные модели определяют семантическую структуризацию конкретных разделов ИТ, определяя тем самым контекст для разработки базовых стандартов. Эталонные модели фактически осуществляют ортогонализацию всего пространства ИТ. Они могут рассматриваться в качестве фундаментальных моделей (законов) в пространстве ИТ.
• Метод функциональной спецификации ИТ. Предназначен для определения функциональных и поведенческих свойств систем ИТ, которые должны наблюдаться на интерфейсах (границах) систем. Данный метод используется для формирования функционального базиса ИТ в виде базовых и промышленных стандартов.
• Профилирование ИТ. Универсальный метод комплексирова- ния спецификаций ИТ на основе понятия профиля. Позволяет конструировать спецификации комплексных технологий посредством комбинирования базовых и производных от них спецификаций, при этом в процессе построений профиля осуществляется селекция только необходимых для конкретного случая дополнительных возможностей (опций) входящих в его состав спецификаций (стандартов или профилей), а также их параметрическая настройка. По существу профилирование можно рассматривать в качестве композиционного оператора в пространстве ИТ, базисом которого служат спецификации, соответствующие эталонным моделям ИТ.
• Метод конформности (соответствия) реализаций ИТ исходным профилям или стандартам. Предназначен для построения аппарата измерения степени соответствия реализаций (систем ИТ) исходным спецификациям. По сути данный аппарат играет такую же роль для области ИТ, как и ипсилон-дельта аппарат или метрика в математическом анализе, позволяя измерять степень близости реализаций ИТ (приближенных решений) соответствующим предельным точкам, заданным абстрактными спецификациями.
• Процедуры и методы стандартизации и гармонизации спецификаций ИТ. Осуществляются специализированными организациями с целью стандартизации, взаимного согласования, сопровождения типовых решений и процедур в области ИТ. Позволяют формировать и развивать нормативно-методический базис ИТ, являющийся основой для создания систем со стандартными интерфейсами (открытых систем).
• Таксономия (классификационная система) профилей ИТ. Обеспечивает классификацию и уникальность идентификации профилей в пространстве ИТ, явное отражение взаимосвязей между ИТ.
• Методы формализации и алгоритмизации знаний. Включают методологии и методы проектирования систем ИТ, парадигмы и языки программирования, специальные нотации для определения спецификаций.

Продолжая знакомиться с анализом ИТ, рассмотрим некоторые характерные особенности рассматриваемой темы.

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

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

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

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

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

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

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

От математики анализ информационных технологий наследует методы спецификации и алгоритмизации знаний; от философии — идеи системно-структурного подхода и теория понятий, специализированные формы которых воплощаются в парадигмах и концепциях программирования.

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