Лекция 12. Инструменты поддержки ЖЦ (1185238)

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Текст из файла

ЛабораторияВычислительныхКомплексовИНФОРМАЦИОННО-УПРАВЛЯЮЩИЕСИСТЕМЫ РЕАЛЬНОГО ВРЕМЕНИЛекция 12:Жизненный цикл ПО ИУС РВ иинструментальные средства его поддержкиКафедра АСВК,Лаборатория Вычислительных КомплексовБалашов В.В.РАЗРАБОТКА ПО ИУС РВ –ТЕХНОЛОГИЧЕСКИ ИОРГАНИЗАЦИОННО СЛОЖНЫЙПРОЦЕССНа примере разработки бортовых ИУС РВ2Комплекс бортового оборудованияуправление и контрольдвигателейсистемы навигации исвязи, РЛСсреда передачи данныхмежду компонентамиКБОинформационновычислительнаясистемасложнаянеоднороднаяраспределённаявычислительнаясистемасредства отображенияинформации, органыуправленияСпецифика бортовых ИУС РВВысокая сложностьФункционирование в реальном времениТребованияВычисленияИнформационный обменФункциональностьНадёжностьРеальное время разнообразиеКритичностьНеоднородностьКаналы: точка-точка, шина, коммутатор; 12 kbps, 1 Mbps, 1 GbpsУстройства: датчики, индикаторы, вычислители, органыуправления, исполнительные устройстваДанные: аналоговые, цифровые; числовые массивы, видеопотокиБортовые ИУС РВ и их ПО требуют систематическогоподхода к проектированию, реализации и тестированию4Бортовые устройства5Уровень сложности комплексабортового оборудованияПО ИУС: 700+ тыс.

строк кода6Жизненный цикл бортового ПО7Жизненный цикл бортового ПОИнформационноесопряжениеТестирование,интеграция,отработка– тестирование на каждом уровнеПроцессы ЖЦ по стандарту DO-178BSoftware Considerations in Airborne Systems and EquipmentПроцесс планирования и управления проектомПроцесс разработки ПОРазработка требованийПроектированиеКодирование, отладка и интеграцияИнтегральные процессыУправление конфигурациейВерификацияУправление качествомСертификационное взаимодействие(в данном курсе не рассматривается)Влияние на состав фаз ЖЦ9ПроцессыПроцессПланирование иПодпроцессыОсновные целиОпределение основнойОсновные артефактыПланы (разработки, тестирования ПО,управлениеметодологии разработки,конфигурационного управления,проектомнаписание планов разработки, управления качеством и т.д.); отчеты оопределение инструментоврецензировании планов; графики;разработки, определение истандарты; шаблоны артефактовпроведение необходимых(документов) проекта; протоколытренингов, определениесовещаний; официальные письма; рабочаяметодов мониторинга проекта.

переписка (e-mail); метрики и индикаторы,Выпуск необходимыхотражающие состояние процессов ишаблонов.прогресс, презентации; спискимероприятий.10ПроцессыПроцессПодпроцессыОсновные целиРазработкаПроцесс разработкиСоздание и контрольпрограммноготребований к ПО итребований верхнего и Если требования разрабатываются с использованиемобеспеченияпроцесснижнего уровня наинструментальных средств, то модули в форматепроектирования ПОразработкуинструментального средства.программногоОсновные артефактыСпецификации требований в текстовом формате.Формальные спецификации (данные,обеспечения.приготовленные для автоматической генерации кода) вКонтроль полноты иформате их редакторов; формальные спецификации внепротиворечивостиформате HTML, или текстовом формате; отчеты отребований,рецензировании формальных спецификаций; описаниепрослеживаемости играфической информации в необходимом объеме;тестируемости.Результаты автоматического контроляформальных спецификаций; матрица соответствияэлементов формальных спецификаций и требований кним с отчетом о рецензировании; сгенерированный код.11ПроцессыПроцессПодпроцессыОсновные целиОсновные артефактыРазработкаПроцессРазработка программногоКод, разработанный вручную;программногокодирования ПОкода в соответствии сослужебные файлы, необходимые дляобеспеченияи процессспецификациями, получениекомпиляции и сборки кода; матрицаинтеграциизагрузочных файлов.покрытия требований кодом; код,В процессе кодированияисходный код составляется насгенерированный автоматическимисредствами генерации.основе архитектуры ПО иОбъектные файлы.требований нижнего уровня.Загрузочный файлФормированиеисполняемого кода, загрузкаисполняемого объектного кода нацелевой вычислитель дляинтеграции ПО и аппаратныхсредств.12ПроцессыПроцессВерификацияОсновные целиИнтегральный процесс, цельюпрограммногокоторого является обнаружение иобеспечениярегистрация ошибок, которые моглиОсновные артефактыОтчет об автоматическом анализе кода,отчеты о рецензировании кода.Тестовые процедуры и скрипты в форматепоявиться в процессе разработки ПО.редакторов тестов и текстовом формате,Эти цели достигаются через рядв случае использования инструментальныхмероприятий: написание тестовыхсредств разработки требований и тестовыхпроцедур в соответствии спроцедур – модули в форматетребованиями, проведение анализа кода инструментального средства; отчеты ои тестовых процедур, проведениерецензировании тестов; отчеты оформального тестирования, анализрецензировании результатов тестирования;полученных результатов, написаниематрица покрытия требований тестами с отчетомсообщений о проблемах, найденных во её рецензировании; матрица результатовпроцессе различных верификационныхтестирования с отчетом о её рецензировании;активностях, создание и выпуск отчетовреестр со списком всех верификационныхо проведенном тестировании.документов для версии ПО.13ПроцессыПроцессУправлениекачествомОсновные целиОсновные артефактыИнтегральный процесс,Отчеты (протоколы) проверкицелью которого является контролькачества продукции; отчеты (протоколы)качества продукта и контрольпроверки процессов; планы проверки.соблюдения процессов.14ПроцессыПроцессКонфигурационноеуправление, включаяуправлениеизменениямиОсновные целиИнтегральный процесс, цельюкоторого является:определение и идентификацияпродукта,контроль выпуска и измененияверсий в течение жизненного цикла,контроль корректности и полнотыверсии,Основные артефактыПоставки (файлы-архивы) и сопровождающиефайлы-отчеты по каждому из процессов; описаниеверсии ПО; сопровождающая документация;носитель версии (оптический диск), если этооговорено – с необходимыми атрибутами(наклейками или другой идентифицирующейинформацией); конфигурационный переченьартефактов проекта.версионный контроль всехартефактов проекта.Определение конфигурационнойБазы данных проблем - описания проблем (вформате, пригодном для импорта в средствоструктуры, обеспечение однозначнойуправления изменениями; в текстовом, или иномконфигурационной идентификацииудобном для чтения формате), протоколыартефактов проекта.совещаний по управлению конфигурацией.

В случаеУстановление и проведениепроцесса управления изменениями.наличия независимых баз данных у различныхучастников кооперации, предусмотреть наличиепроцесса и артефактов для поддержкисинхронизации информации в этих базах данных.15ПроцессыПроцессОсновные целиПоставка ПОПередача разработанного продуктазаказчикузаказчику.Основные артефактыОписание версии ПО; финальная версияпоставляемого ПО; заключение о годности версииПО к натурным испытаниям на целевой системе.16Соотношение фаз и процессов ЖЦ ПО17ФазыНазвание фазыФаза планированияОсновные активностиПрименяемыевнутри фазыинструментальные средстваОпределение методов и инструментовдля производства программного продукта впроцессе написания планов разработки ПО,написание стандартов разработки исоздание необходимых шаблонов.Инструменты, позволяющие:- осуществлять планирование(в т.ч.

создавать графики разработки),- создавать планы разработки итестирования,- создавать шаблоны разработки,- отслеживать ход выполненияпроекта,- осуществлять коммуникацию,взаимодействие различных участниковпроекта.18ФазыНазвание фазыОсновные активностиПрименяемыевнутри фазыинструментальные средстваФаза разработкиАнализ входных требований.Инструменты, позволяющие:требований к ПОНаписание требований верхнего- создавать требования,и нижнего уровня на разработку ПО.Определение бортовыхинтерфейсов, структуры и протоколовсреды обмена.Построение матрицыпрослеживаемости междутребованиями различного уровня.Написание формальныхспецификаций.Начало написания тестовыхпроцедур, соответствующих- создавать связи междутребованиями,- разрабатывать иподдерживать интерфейсы междуразличными компонентами ПО,- проводить необходимыеобзоры артефактов,- создавать тестовыепроцедуры,- разрабатывать формальныеспецификации.требованиям верхнего уровня.19ФазыНазвание фазыФаза проектирования(дизайна) ПООсновные активностиПрименяемыевнутри фазыинструментальные средстваОпределение архитектуры ПО,декомпозиция ПО, декомпозицияраспределения памяти.Определение структуры ПО сучетом требований реального времени.Написание (детализация)Инструменты, позволяющие:- создавать и поддерживатьописание архитектуры ПО,- прослеживать связи междутребованиями различного уровня,- задавать и прослеживатьтестовых процедур в соответствии ссоответствие тестовых процедур иуточнениями и детализациейтребований,требований.Построение предварительнойматрицы покрытия требованийтестовыми процедурами.- осуществлять необходимыеобзоры артефактов,- создавать матрицу покрытиятребований тестовыми процедурами.20ФазыНазвание фазыОсновные активностиПрименяемые инструментальные средствавнутри фазыФаза кодирования,отладки и интеграцииГенерация кода изформальных спецификаций.Разработка ручного кода.Интеграция всехИнструменты, позволяющие:- генерировать код на языке высокого уровня изформальных спецификаций;- разрабатывать ручной код;разработанных программных- проводить компиляцию исходного кода;компонент в единый модуль.- проводить компоновку двоичного кода;Загрузка программногомодуля на целевой вычислитель.Отладка разработанногокода и, параллельно, тестовыхпроцедур.В конце фазы происходит«заморозка» программного кода итестовых процедур.- проводить загрузку на целевой вычислитель иинтеграцию;- проводить отладку на целевых вычислителях;- выполнять интеграционные тесты с имитациейданных на входах целевых вычислителей;- проводить коррекцию программного кода итестовых процедур в случае обнаружения ошибок;- разрабатывать и выпускать необходимуюдокументацию.21ФазыНазвание фазыОсновные активностиПрименяемые инструментальные средствавнутри фазыФормальнаяверификацияПроведение прогонаразработанных тестовых процедурна «замороженной» версии ПО(тестирование).Анализ результатовтестирования.Создание сообщений оИнструменты и средства, позволяющие:- осуществлять прогон тестируемого ПО нацелевом вычислителе,- выполнять тесты с имитацией данных навходах целевых вычислителей,- собирать результаты тестирования, в т.ч.формировать протоколы тестирования,проблемах по результатам- проводить необходимые обзоры артефактов,тестирования.- оформлять сообщения о проблемах,Финализация матрицы- модифицировать матрицу покрытия.покрытия.22ФазыНазвание фазыОсновные активностиПрименяемые инструментальные средствавнутри фазыПодготовка финальнойВыпуск итоговых документов попоставкисоставу версии.Инструменты, позволяющие создавать,модифицировать и выпускать итоговые документыпроекта23Активностипо фазамЖЦ ПО24ВехиВехиРусскоеназваниеОбзор плановАнглийскоеАббревиа-названиеPlan ProcessPPRSoftwareSSRОдобрение, официальный выпускSpecificationтребований на разработку ПО и началоReviewфазы предварительного дизайнаПредварительный обзор Preliminary Design PDRархитектурыОдобрение, официальный выпускпланов разработкиReviewОбзор спецификацийОписаниетураОдобрение, официальный выпускпредварительного дизайна (архитектурыReviewПО) и начало активностей поопределению детального дизайнаКритический обзорCritical DesignархитектурыReviewОбзор готовностиTest ReadinessтестовReviewCDRОдобрение, официальный выпускдетального дизайна ПОTRRНачало выполнения формальнойверификации (формальноготестирования)25ВехиВехиРусскоеАнглийскоеАббревиа-названиеназваниеФункциональныйFunctionalконфигурационный аудитConfiguration AuditОписаниетураFCAПроверка того, что элементыконфигурации отвечают всем функциональным(Функциональный аудиттребованиям, в том числе требованиям попрограммныхпроизводительности.

Характеристики

Тип файла PDF

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

Например, если Вам нужно распечатать чертёж из автокада, Вы сохраните чертёж на флешку, но будет ли автокад в пункте печати? А если будет, то нужная версия с нужными библиотеками? Именно для этого и нужен формат PDF - в нём точно будет показано верно вне зависимости от того, в какой программе создали PDF-файл и есть ли нужная программа для его просмотра.

Список файлов лекций