лекция надежность. Лекция #1 Вводная лекция 1 Цели и задачи курса 2
 Скачать 1.51 Mb.
|
|
Цели и задачи курса 2 МДК.03.02 Обеспечение качества функционирования компьютерных систем Включает 2 раздела: 1. Основные методы обеспечения качества функционирования 2. Методы и средства защиты компьютерных систем Литература 3 1. Б.В. Черников, Управление качеством программного обеспечения 2. Б.В. Черников, ОЦЕНКА КАЧЕСТВА ПРОГРАММНОГО ОБЕСПЕЧЕНИЯ 3. Г.Н. Федорова, Разработка, внедрение и адаптация программного обеспечения отраслевой направленности УКАЗ о качестве января 11 дня 1723 года Повелеваю хозяина Тульской фабрики Корнилу Белоглазова бить кнутом и сослать на работу в монастыри, понеже он, подлец, осмелился войску Государеву продавать негодные пищали и фузеи. Старшину альдермалов Фрола Фукса бить кнутом и сослать в Азов, пусть не ставит клейма на плохие ружья. Приказано оружейной канцелярии из Петербурга переехать в Тулу и денно и нощно блюсти исправность ружей. Пусть дьяки и подьячие смотрят, как альдермалы клейма ставят. Буде сомнение возьмет, самим проверить осмотром и стрельбою. А два ружья каждый месяц, стрелять, пока не испортятся. 4 Буде заминка в войске приключится при сражении, по недогляду дьяков и подьячих, бить оных кнутом по оголенному месту. Хозяину - 25 кнутов и пени по червонцу за ружье. Старшину альдермалов бить до бесчувствия. Старшего дьяка отдать в унтер-офицеры. Дьяка отдать в писари. Подьячего лишить воскресной чарки сроком на один год. Новому хозяину ружейной фабрики Демидову повелеваю построить дьякам и подьячим избы, чтобы не хуже хозяйской были. Буде хуже, пусть Демидов не обижается. Повелеваю живота лишить. Петр I 5 Какие требования к качественному программному обеспечению предъявили бы Вы? 6 Ответы Легко использовать Хорошая производительность Нет ошибок Не портит пользовательские данные при сбоях Можно использовать на разных платформах Может работать 24 часа в сутки и 7 дней в неделю Легко добавлять новые возможности Удовлетворяет потребности пользователей Хорошо документировано 7 Основные теоретические сведения о ПО Программы - это данные, предназначенные для управления конкретными компонентами системы обработки информации в целях реализации определенного алгоритма Программное средство - объект, состоящий из программ, процедур, правил и документов, относящихся к функционированию системы обработки информации Программный продукт - это программное средство, предназначенное для поставки, передачи, продажи пользователю Жизненный цикл (ЖЦ) программного средства или системы – это совокупность процессов, работ и задач, включающая в себя разработку, эксплуатацию и сопровождение ПС или системы, охватывающая жизнь ПС или системы от установления требований к ним до прекращения их использования 8 Утилитарные программы («программы для себя») предназначены для удовлетворения нужд их разработчиков. Чаще всего утилитарные программы выполняют роль сервиса в технологии обработки данных либо являются программами решения функциональных задач, не предназначенных для широкого распространения. Программные продукты (изделия) предназначены для удовлетворения потребностей пользователей, широкого распространения и продажи. 9 Основные характеристики программ - алгоритмическая сложность (логика алгоритмов обработки информации); - состав и глубина проработки реализованных функций обработки; -полнота и системность функций обработки; - объём файлов программ; -требования к ОС и техническим средствам обработки со стороны программного средства; - объём дисковой памяти; - размер оперативной памяти для запуска программ; -тип процессора; - версия операционной системы; - наличие вычислительной сети и др. 10 Программные продукты имеют многообразие показателей качества, которые отражают различные аспекты. Основная характеристика программного продукта – это его общая полезность, которая включает в себя мобильность, исходную полезность и удобство эксплуатации 11 На процессы разработки и оценки качества ПС оказывают влияние следующие обобщенные показатели ПС : • область применения и назначение ПС; • тип решаемых функциональных задач; • объем и сложность ПС; • необходимый состав и требуемые значения характеристик качества ПС и величина допустимого ущерба из-за недостаточного их качества; • степень связи решаемых задач с реальным масштабом времени или допустимой длительностью ожидания результатов решения задачи; • прогнозируемые значения длительности эксплуатации и перспектива создания множества версий ПС; • предполагаемый тираж производства и применения ПС; • степень необходимой документированности ПС. 12 Модель качества ПО 13 Качество продукта достигается процедурами контроля промежуточных продуктов на процессах ЖЦ, проверкой их на достижение необходимого качества, а также методами сопровождения продукта. Эффект от внедрения ПС в значительной степени зависит от знаний обслуживающего персонала функций продукта и правил их выполнения. Модель качества ПО имеет следующие четыре уровня представления. 14 ПЕРВЫЙ УРОВЕНЬ соответствует определению характеристик (показателей) качества ПО, каждая из которых отражает отдельную точку зрения пользователя на качество. - функциональность (functionality); - надежность (realibility); - удобство (usability); - эффективность (efficiency); - сопровождаемость (maitainnability); - переносимость (portability). 15 Второму уровню соответствуют атрибуты для каждой характеристики качества, которые детализируют разные аспекты конкретной характеристики. Набор атрибутов характеристик качества используется при оценке качества. 16 Третий уровень предназначен для измерения качества с помощью метрик, каждая из них согласно стандарту определяется как комбинация метода измерения атрибута и шкалы измерения значений атрибутов. Для оценки атрибутов качества на этапах ЖЦ (при просмотре документации, программ и результатов тестирования программ) используются метрики с заданным оценочным весом для нивелирования результатов метрического анализа совокупных атрибутов конкретного показателя и качества в целом. Атрибут качества определяется с помощью одной или нескольких методик оценки на этапах ЖЦ и на завершающем этапе разработки ПО. 17 Четвертый уровень - это оценочный элемент метрики (вес), который используется для оценки количественного или качественного значения отдельного атрибута показателя ПО. В зависимости от назначения, особенностей и условий сопровождения ПО выбираются наиболее важные характеристики качества и их атрибуты 18 19 Функциональность совокупность свойств, определяющих способность ПО выполнять перечень функций в заданной среде и в соответствии с требованиями к обработке и общесистемным средствам. К атрибутам функциональности относятся: функциональная полнота - свойство компонента, которое показывает степень достаточности основных функций для решения задач в соответствии с назначением ПО; правильность (точность) - атрибут, который показывает степень достижения правильных результатов; интероперабельность - атрибут, который показывает возможность взаимодействовать на ПО специальными системами и средами (ОС, сеть); защищенность - атрибут, который показывает на способность ПО предотвращать несанкционированный доступ (случайный или умышленный) к программам и данным. 20 Надежность совокупность атрибутов, которые определяют способность ПО преобразовывать исходные данные в результаты при условиях, зависящих от периода времени жизни (износ и его старение не учитываются). Снижение надежности ПО происходит из-за ошибок в требованиях, проектировании и выполнении. Отказы и ошибки в программах появляются на заданном промежутке времени 21 Удобство применения характеризуется множеством атрибутов, которые показывают на необходимые и пригодные условия использования (диалоговое или не диалоговое) ПО заданным кругом пользователей для получения соответствующих результатов. В стандарте удобство применения определено как специфическое множество атрибутов программного продукта, характеризующих его эргономичность. 22 определение «качества ПО в контексте международных стандартов : 23 1 ) качество программного обеспечения – это степень, в которой программное обеспечение обладает требуемой комбинацией свойств. [1061-1998 IEEE Standard for Software Quality Metrics Methodology]; 24 2 ) качество программного средства – совокупность свойств программного средства (ПС), которые обусловливают его пригодность удовлетворять заданные или подразумеваемые потребности в соответствии с его назначением [ГОСТ 28806–90 «Качество программных средств. Термины и определения»]. 25 На данный момент наиболее распространена и используется многоуровневая модель качества программного обеспечения, представленная в наборе стандартов ISO 9126. Основой регламентирования показателей качества систем является международный стандарт ISO 9126 «Информационная технология. Оценка программного продукта. Характеристики качества и руководство по их применению» 26 Под качеством любого изделия понимается совокупность свойств и характеристик изделия, относящихся к его способности удовлетворять установленные или предполагаемые потребности. Качество программного средства определяется как совокупность свойств программного средства, обуславливающая его пригодность удовлетворять заданные или подразумеваемые потребности в соответствии с его назначением. качество функционирования ПС - множество свойств, обусловливающих пригодность ПС обеспечивать надежное и своевременное представление требуемой информации потребителю для ее дальнейшего использования по назначению. Атрибут - измеримое физическое или абстрактное свойство ПС. Атрибуты могут быть внутренними и внешними. 27 Критерий оценки - это совокупность принятых в установленном порядке правил и условий, с помощью которых устанавливается приемлемость в целом качества программного средства Характеристика качества ПС - набор свойств программного средства, посредством которых описывается и оценивается его качество Подхарактеристика качества ПС - это характеристика качества программного средства, входящая в состав другой характеристики качества Метрика - определенные метод и шкала измерения подхарактеристики качества [18]. Метрики качества ПС базируются на внутренних атрибутах ПС и внешнем поведении вычислительной системы (ВС), в состав которой входит ПС. 28 Показатель качества ПС -характеристика качества программного средства, обладающая количественным значением Уровень пригодности ПС (уровень качества функционирования ПС) - это степень удовлетворения потребности, представленная посредством конкретного набора значений характеристик качества программного средства Мера (measure) - это число или категория, присвоенная атрибуту объекта путем измерения Измерение (measurement) - это использование метрики для присвоения атрибуту значения (числа или категории) из шкалы Каждый показатель качества может использоваться, если определена его метрика, способы измерения и сопоставления с требующимся значением. Шкала - набор значений с определенными свойствами 29 При оценке качества используются следующие типы шкал номинальная - соответствует набору категорий; упорядоченная - соответствует упорядоченному набору делений шкалы; интервальная - соответствует упорядоченной шкале с равноудаленными делениями; относительная - соответствует упорядоченной шкале с равноудаленными делениями, оцененными в относительных единицах (относительно некоторой абсолютной величины). Метрики, использующие номинальную и упорядоченную шкалы, применяются для оценки качественных показателей, которые нельзя измерить количественно. Метрики, использующие интервальную и относительную шкалы, применяются для оценки количественных показателей. 30 Общая структура качества Качество ПО – комплексная характеристика свойств ПО с точек зрения различных участников Стандартная модель качества ПО представлена в ISO 9126 31 Основными критериями качества ПО (criteria of software quality) являются: -функциональность (Способность ПО выполнять набор функций (действий), удовлетворяющих заданным или подразумеваемым потребностям пользователей.Набор указанных функций определяется во внешнем описании ПО) -надежность (это его способность с достаточно большой вероятностью безотказно выполнять определенные функции при заданных условиях и в течение заданного периода времени) -эффективность (Соотношение уровня услуг, предоставляемых ПО пользователю при заданных условиях, и объема используемых для этого ресурсов. К числу таких ресурсов могут относиться требуемые аппаратные средства, время выполнения программ, затраты на подготовку данных и интерпретацию результатов) -эргономичность (Характеристики ПО, которые позволяют минимизировать усилия пользователя по подготовке исходных данных, применению ПО и оценке полученных результатов, а также вызывать положительные эмоции определенного или подразумеваемого пользователя) -модифицируемость (Характеристики ПО, которые позволяют минимизировать усилия по внесению изменений для устранения ошибок и по его модификации в соответствии с изменяющимися потребностями пользователей. Модифицируемость ПО существенно зависит от степени и качества его документированности) -мобильность (Способность ПО быть перенесенным из одной среды (окружения) в другую, в частности, с одной аппаратной платформы на другую) 32 1. Методы и средства разработки программных продуктов Технология программирования – совокупность принципов разработки, обеспечивающих массовое производство ПО требуемого качества в установленные сроки. Методами технологии программирования называются способы и приемы организации производственных процессов при разработке программных средств. Методы ТП определяют организационную структуру коллектива разработчиков, способы разбиения процесса разработки на отдельные этапы, последовательность этих этапов и т.д. Средствами технологии программирования называются утилиты, обеспечивающие автоматизированную или автоматическую поддержку методов. 33 Совместно используемые утилиты объединяются в системы автоматизированной разработки ПО. Такие системы принято называть CASE- средствами (Computer Aided Software Engineering) 34 Качество ПО Качество ПО – комплексная характеристика свойств ПО с точек зрения различных участников Стандартная модель качества ПО представлена в ISO 9126 35 Качество ПО 36 Стандарт ISO 9126 учитывает точки зрения Разработчиков – внутреннее качество ПО Руководства и аттестации ПО – внешнее качество ПО Конечных пользователей – качество ПО при использовании Качество ПО включает 6 факторов 27 атрибутов – для качественной оценки факторов метрики или показатели – для количественной оценки атрибутов ГОСТ Р ИСО/МЭК 9126 Функциональность 37 Функциональность – способность ПО в определенных условиях решать задачи, нужные пользователям Функциональная пригодность – способность решать нужный набор задач Точность – способность выдавать нужные результаты Способность к взаимодействию, совместимость – способность взаимодействовать с нужным набором других систем Соответствие стандартам и правилам – соответствие ПО имеющимся стандартам, нормативным и законодательным актам, другим регулирующим нормам Защищенность – способность предотвращать неавторизованный и не разрешенный доступ к данным, коммуникациям и др Надежность 38 Надежность – способность ПО выполнять свои функции в заданных условиях Зрелость – величина, обратная частоте критических отказов, вызванных ошибками в ПО Устойчивость к отказам – способность поддерживать заданный уровень работоспособности при внутренних и внешних отказах Способность к восстановлению – способность восстанавливать определенный уровень работоспособности и целостность данных после отказа Соответствие стандартам надежности Удобство сопровождения 39 Удобство сопровождения – удобство проведения всех видов деятельности, связанных с сопровождение программ Удобство проведения анализа – удобство проведения анализа ошибок, дефектов и недостатков, а также удобство анализа необходимости изменений и их возможных последствий Удобство проверки – показатель, обратный трудозатратам на проведение тестирования и других видов проверки того, что внесенные изменения привели к нужным результатам Удобство внесения изменений – показатель, обратный трудозатратам на выполнение необходимых изменений Стабильность – показатель, обратный риску возникновения неожиданных эффектов при внесении необходимых изменений Соответствие стандартам удобства сопровождения Эффективность 40 Эффективность (производительность) – свойство ПО при заданных условиях обеспечивать необходимую работоспособность по отношению к выделяемым ресурсам Временная эффективность – способность ПО решать определенные задачи за отведенное время Эффективность использования ресурсов – способность решать нужные задачи с использованием заданных объемов ресурсов определенных видов (ресурсоемкость) Соответствие стандартам производительности Удобство использования 41 Удобство использования – способность ПО быть удобным в обучении и использовании Понятность – показатель, обратный к усилиям, которые затрачиваются пользователями на восприятие основных понятий ПО и осознание способов их использования для решения своих задач Удобство обучения – показатель, обратный к усилиям, затрачиваемым пользователями на обучение работе с ПО Удобство работы – показатель, обратный трудоемкости решения пользователями задач с помощью ПО Привлекательность – способность ПО быть привлекательным для пользователей Соответствие стандартам удобства использования Переносимость 42 Переносимость ( мобильность) – способность ПО сохранять работоспособность при переносе из одного окружения в другое ( аппаратное, программное окружение) Адаптируемость – способность ПО приспосабливаться к различным окружениям без специальных действий Удобство установки – способность ПО быть установленным или развернутым в определенном окружении Способность к сосуществованию – способность ПО сосуществовать в общем окружении с другими программами, разделяя с ними общие ресурсы Удобство замены другого ПО данным – возможность применения данного ПО вместо других программных систем для решения тех же задач в определенном окружении Соответствие стандартам переносимости Вопросы рассматриваемые в курсе 43 Функциональность Функциональная пригодность – проверка программы на соответствие функциональной спецификации Защищенность – проверка программы на наличие уязвимостей безопасности Надежность Зрелость – обнаружение ошибок, имеющихся в программе, оценка числа оставшихся ошибок и их влияния на работу программы Эффективность Оценки эффективности Удобство сопровождения Удобство проведения анализа Удобство проверки Причины недостаточного качества 44 Функциональность Функциональные ошибки – несоответствия требованиям пользователей, функциональной спецификации и т.п. Надежность Нефункциональные ошибки – нарушение правил языка программирования, использования библиотечных функций и сторонних компонентов и т.п. Эффективность Ошибки анализа необходимого количества ресурсов, обычно проявляются только в определенных ситуациях Задачи обеспечения качества 45 Обеспечение качества Измерение (оценка) качества программы Применение методов повышения качества Повышение качества Обнаружение ошибок и неудовлетворительных мест в программе Исправление ошибок и другие изменения программы Необходимость оценки качества Контроль текущего прогресса Оценка эффективности затрат на повышение качества Выбор наиболее эффективных методов повышения качества Основа для измерения и повышения качества – анализ ПО Методы анализа ПО 46 Ручные методы 47 Персональные проверки Аудит кода Парное программирование Ручная верификация Не наши методы !!! Динамические методы 48 Динамические методы используют результаты выполнения программы Тестирование Модульное Системное Нагрузочное Мониторинг Профилирование Анализ трасс выполнения Статические методы 49 Статические методы используют различные артефакты получаемые в процессе проектирования ПО (требования, спецификации, исходные код программы) Методы формальной верификации Дедуктивная верификация Верификация на основе проверки моделей Статический анализ исходного кода Гибридные методы 50 Гибридные методы используют несколько разных методов Создание тестов на основе статического анализа Статический анализ для автоматического формирования моделей, для которых применяются формальные методы проверки моделей Уточнение результатов статического анализа с помощью методов проверки моделей Комбинирование результатов статического анализа и тестирования для повышения точности результатов Методы повышения качества 51 Методы повышения надежности Динамические, на основе тестирования, анализа трасс выполнения и др. Статические, на основе статического анализа и верификации Методы улучшения функциональности Динамические, на основе тестирования, анализа трасс выполнения и др. Статические, на основе методов формальной верификации Методы оценки качества 52 Методы оценки надежности Динамические, на основе прогнозных моделей Статические, на основе метрик сложности и обнаружения дефектов Архитектурные, на основе анализа архитектуры ПО и надежности отдельных компонентов Методы оценки функциональности Динамические, на основе тестирования программы Статические, на основе методов формальной верификации Методы оценки эффективности Динамические, на основе профилирования Статические, на основе анализа возможных путей выполнения Разделы курса 53 Вводная лекция 1. Динамические методы анализа ПО. Тестирование 2. Статический анализ ПО 3. Верификация ПО на основе моделей 4. Дедуктивная верификация ПО 5. Оценка качества ПО Динамические методы анализа ПО 54 1. Основы тестирования 2. Полнота тестирования: оценка и обеспечение 3. Тестирование и жизненный цикл ПО ЛР №1. Тестирование ПО Статический анализ ПО 55 1. Теоретические основы статического анализа ПО 2. Обнаружение программных дефектов методами статического анализа 3. Статический анализ параллельных программ 4. Системы типов и эффектов ЛР №2. Современные средства статического анализа программ (MS SCA, Aegis) ЛР №3. Применение систем типов для анализа ПО (Coq) Верификация ПО на основе моделей 56 1. Введение в верификацию на основе проверки модели 2. Метод проверки модели. Методы снижения размерности задачи 3. Построение абстрактных программ с помощью SAT- solvers ЛР №4. Верификация ПО на основе проверки моделей (SPIN) ЛР №5. Верификация программ с помощью SAT solvers (SatAbs) Методы дедуктивной верификации 57 1. Математический аппарат дедуктивной верификации ПО 2. Изоморфизм Карри-Говарда ЛР №6. Дедуктивная верификация (Frama-C) Оценка качества ПО 1. Обзор методов оценки качества ПО Надежность ПО 59 Надежность по является одной из важнейшей характеристик качества Надежность ПО – вероятность его работы без отказов в течении периода времени, рассчитанная с учетом стоимости каждого отказа (Майерс) Надежность ПО должна учитывать не только частоту проявления ошибок, но и серьезность их последствий для пользователя системы. Оценивать и повышать надежность можно на любой стадии проектирования, на основе одного или нескольких представлений программы, при этом можно говорить только о надежности исполняемой программы Требования к надежности ПО 60 Для каждой программы можно определить необходимый уровень надежности Назначение Область применения Требования к надежности Программа, демонстрирующая возможности транзакций Курс лабораторных работ по предмету « Базы данных» Время работы – единицы минут, корректно работает при заранее определенных действиях пользователя Программа расчета заработной платы Финансовый отдел предприятия Время работы – десятки часов, устойчива к любым действиям пользователя, обеспечивает восстановление данных после сбоя. Программа управления срабатыванием подушки безопасности Автомобиль Время работы – десятки тысяч часов, устойчива к любым внешним воздействиям, определяет случаи перехода в нерабочее состояние. Программа управления опасным объектом Промышленность, авиация и космос, ВС ??? Причины ненадежности 61 Основными источниками ненадежности аппаратных систем являются внешние факторы, обычно неподвластные человеку: скачки напряжения питания; электромагнитное излучение; радиация; … Источником ненадежности программ являются ошибки, сделанные разработчиками программ, на разных стадиях проектирования Будем считать программу правильной, если она не содержит ошибок разработчиков, такая программа не дает неверных результатов Абсолютно надежна Источники ошибок в ПО 62 Что такое ошибка в программе ? Если программа не соответствует Спецификации – в ней то же могут быть ошибки Неформальным требованиям пользователя – пользователь может не учесть всех возможных ситуаций или неправильно сформулировать свои требования, у программы может быть много пользователей с различными требованиями Непредусмотренные входные данные и воздействия Ошибки окружения программы – некорректная работа другого ПО и аппаратуры Является ли луна вражеским объектом ? Одна из первых компьютерных систем противовоздушной обороны США (60-е годы) в первое же дежурство подняла тревогу, приняв восходящую из-за горизонта Луну за вражескую ракету, поскольку этот «объект» приближался к территории США и не подавал сигналов что он «свой» Определение надежной программы 63 В программе имеется ошибка, если она не выполняет действия, которые ожидает от нее некий абстрактный пользователь(эксперт), в том числе и при недопустимых внешних воздействиях и входных данных, а также при отказах другого ПО и сбоях и отказах аппаратуры. Наличие ошибки – функция самой программы и нереализованных ожиданий ее пользователей (Майерс) Из этого определения следует: Программа не имеющая ошибок может давать неверные результаты, однако стремится минимизировать возможный ущерб Такой программы не существует Ошибки в программах 64 Ошибки имеются практически во всех программах Для программ на языке C в среднем 0,25 ошибок на 1 KLOC Примерно 45% ошибок являются критическими В ядре ОС Android (765 KLOC) найдено 359 ошибок* * Coverity Scan: 2010 Open Source Integrity Report Последствия ошибок в программах 65 Переоблучение больных из за ошибки в программе управления радиотерапевтической установкой Печально известная ошибка в линейном ускорителе Therac-25 стала причиной гибели нескольких больных, получивших смертельные дозы радиации во время лечения, проводимого с июня 1985-го по январь 1987 года в нескольких онкологических клиниках в США и Канаде. Эти дозы, как было оценено позже, более чем в 100 раз превышали те, что обычно применяются при лечении. Частично причиной этих несчастий стала ошибка типа race condition. Последствия ошибок в программах Авария при запуске французской ракеты «Ариан-5» (1996) на 37-й секунде полёта компьютер, находившийся на борту ракеты, получил от датчиков системы управления неверную информацию о пространственной ориентации ракеты. Исходя из этой информации, компьютер начал корректировать траекторию полёта для того, чтобы компенсировать несуществующую на самом деле погрешность. Ракета стала отклоняться от курса, что привело к возрастанию нагрузок на её корпус. В результате чрезмерных нагрузок верхняя часть ракеты отвалилась, и по команде земли ракета была взорвана. 66 Последствия ошибок в программах 67 Неудача при запуске первого американского спутника к Венере Единственная ошибка в программе на Фортране – вместо требуемой в операторе запятой программист поставил точку. В результате Потеря связи с космической станцией «Фобос-1» Произошла из-за ошибочной команды, переданной с Земли на бортовой компьютер Ошибка не учета отрицательной высоты При полетах над Мертвым морем американских самолетов произошла ошибка деления на ноль что привело к перезагрузке системы Падение спутников системы ГЛОНАСС Три спутника навигационной системы ГЛОНАСС упали в Тихий океан недалеко от Гавайских островов вскоре после их запуска. Причина аварии была признана ошибка в программировании, которая привела к тому, что в ракету залили неправильное количество топлива. Фобос-Грунт «… никаких фатальных ошибок и дефектов при создании станции обнаружено не было". Причиной возникновения "нештатной ситуации", установили специалисты, стал " перезапуск двух полукомплектов устройства ЦВМ22 БВК, выполнявших на этом участке полета управление КА " Фобос-Грунт"… 68 |