Лекции. Системы реального времени (2015) (all in one) (1185224), страница 12

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

Текст из файла (страница 12)

строк кода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Проверка того, что элементыконфигурации отвечают всем функциональным(Функциональный аудиттребованиям, в том числе требованиям попрограммныхпроизводительности.

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

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