Требования к программному обеспечению бортовой аппаратуры и систем КТ-178B (1015672), страница 21
Текст из файла (страница 21)
b(*) (*)Результатыверификации ПО11.14(2) (2)6.4.4.2 а6.4.4 b(*) (*) ( )Результатыверификации ПО11.14(2) (2) (2)6.4.4.2 с(*) (*) ( )Результатыверификации ПО11.14(2) (2) (2)()Формат А487КТ-178В________________________________________________________________________________ТАБЛИЦА А – 8ПРОЦЕСС УПРАВЛЕНИЯ КОНФИГУРАЦИЕЙ ПОЦель№Описание цели123456Единицы конфигурацииидентифицированыБазовые версии итрассируемостьустановленыПорядок сообщения опроблемах, управленияизменениями,рассмотренияизменений и учетасостоянияконфигурацииустановленПорядокархивирования,воспроизведения ивыпуска установленКонтроль загрузки ПОустановленКонтроль за средойжизненного цикла ПОустановленПунктдокумента7.2.17.2.2Применимо кПО уровняA B C DВыходной документНаименование()()()()Протоколы УКПО()()()()Каталог комплектацииПОПротоколы УКПОСообщения опроблемахПротоколы УКПО()()()Категорияконтроля дляПО уровняA B C DПунктдокумента11.18(2) (2) (2) (2)11.1611.18(1) (1) (1) (1)(2) (2) (2) (2)11.1711.18(2) (2) (2) (2)(2) (2) (2) (2)7.2.37.2.47.2.57.2.6()7.2.7()()()()Протоколы УКПО11.18(2) (2) (2) (2)7.2.8()()()()Протоколы УКПО11.18(2) (2) (2) (2)7.2.9()()()()Каталог средыжизненного цикла ПОПротоколы УКПО11.1511.18(1) (1) (1) (2)(2) (2) (2) (2)Примечание:(1) Несмотря на то, что цели управления конфигурацией ПО Раздела 7 не зависят отуровня ПО, назначаемая категория контроля документов жизненного цикла ПО может изменяться.(2) Цели Раздела 7 обеспечивают достаточную основу целостности мероприятиипроцесса УКПО без применения критерия независимости© НИИАО 2002.Формат А488КТ-178В________________________________________________________________________________ТАБЛИЦА А – 9ПРОЦЕСС ГАРАНТИИ КАЧЕСТВА ПОЦель№Описание цели123Получена гарантиятого, что процессыразработки ПО иинтегральныепроцессысоответствуютутвержденнымПолучена гарантиятого, что критерииперехода дляпроцессов жизненногоцикла ПОудовлетворяютсяРассмотрениесоответствия ПОтребованиямпроводится© НИИАО 2002.Пунктдокумента8.1 аПрименимо кПО уровняA B C DВыходной документНаименование(*) (*) (*) (*) Протоколы ГКПОКатегорияконтроля дляПО уровняA B C DПунктдокумента11.19(2) (2) (2) (2)8.1 b(*) (*)Протоколы ГКПО11.19(2) (2)8.1 c8.3(*) (*) (*) (*) Протоколы ГКПО11.19(2) (2) (2) (2)Формат А489КТ-178В________________________________________________________________________________ТАБЛИЦА А – 10ПРОЦЕСС ВЗАИМОДЕЙСТВИЯ ЗАЯВИТЕЛЯ И СЕРТИФИЦИРУЮЩЕГО ОРГАНАЦель№Описание цели123Взаимодействие ивзаимопониманиемежду Заявителем исертифицирующиморганом установленыМетоду определениясоответствияпредложены, «Плансертификации ПО»согласованОбоснованиесоответствияприведеноПунктдокумента9Применимо кПО уровняA B C DКатегорияконтроля дляПО уровняA B C DВыходной документНаименование()()()()План сертификацииПО9.1()()()()План сертификацииПО9.2()()()()Итоговое заключение оПОКаталог комплектацииПОПунктдокумента11.1(1) (1) (1) (1)11.1(1) (1) (1) (1)11.20(1) (1) (1) (1)11.16(1) (1) (1) (1)Примечание: «План сертификации ПО» и «Каталог комплектации ПО» являютсярезультатами других процессов.
Они включены данную таблицу, чтобы показать успешноезавершение процесса взаимодействия Заявителя и сертифицирующего органа.© НИИАО 2002.Формат А490КТ-178В________________________________________________________________________________ПРИЛОЖЕНИЕ ВТермины и определенияПриведенные ниже определения даны для терминов, используемых в тексте этогодокумента.Если термин не определён в данном приложении, возможно, что его определение дано втексте.Алгоритм (Algorithm) – Конечный набор хорошо определённых правил, указывающихпоследовательность действий для решения конкретной задачи.Анализ покрытия (Coverage analysis) – Процесс определения, в какой степени предложенныемероприятия процесса верификации ПО достигают их целей.Архитектура ПО (Software architecture) – Структура программного обеспечения, выбранная дляреализации требований к ПО.Архитектура системы (System architecture) – Структура аппаратных и программных средств,выбранная для реализации требований к системе.Аудиторская проверка/Аудит (Audit) – Независимая проверка процессов жизненного цикла ПО иих результатов для подтверждения требуемых свойств.База данных (Database) – Набор данных, часть или целое другого набора данных, состоящий, покрайней мере, из одного файла, достаточного для определённого применения или дляопределенной системы обработки данных.Базовая версия (Baseline) – Утверждённая зарегистрированная конфигурация одной или болееединиц конфигурации, которая в дальнейшем служит основой для последующей разработки иизменяется только в соответствии с процедурами управления изменениями.Библиотека ПО (Software library) – Находящееся под контролем хранилище, в которомсодержатся программы, связанные с ними данные и документы, предназначенные для поддержкиразработки ПО, его применения или модификации.Примерами являются: библиотека разработки ПО, библиотека шаблонов, библиотекапроизводства, библиотека программ и хранилище программного обеспечения.Блочный номер (Part number) – Набор цифр, букв и других символов, используемых дляидентификации единицы конфигурации.Верификация (Verification) – Оценка результатов некоторого процесса для гарантии егокорректности и соответствия входным данным и стандартам, определенным для этого процесса.Выпуск (Release) – Акт, формально открывающий доступ к тиражируемой единице конфигурациии разрешающий её использование.Гарантия (Assurance) – Плановые и систематические действия, необходимые для обеспечениядостаточной степени доверия и получения доказательных материалов, подтверждающих, чтопродукт или процесс удовлетворяет данным требованиям.Готовое коммерческое ПО (Commercial-off-the-shelf software) – Имеющееся на рынке ПО,продажа которого осуществляется по каталогам.Готовое коммерческое ПО не создается и не совершенствуется по заказу.Программное обеспечение, созданное по контракту для конкретного применения, неявляется готовым коммерческим ПО.© НИИАО 2002.Формат А491КТ-178В________________________________________________________________________________Доказательство правильности (Proof of correctness) – Логическое обоснование того, чтопрограмма удовлетворяет предъявляемым к ней требованиям.Единица конфигурации (Configuration item):(1) Одна или более аппаратных или программных компонент, которые в целях управленияконфигурацией рассматриваются как единое целое.(2) Данные жизненного цикла ПО, которые в целях управления конфигурациейрассматриваются как единое целое.Жизненный цикл ПО (Software life cycle):(1) Упорядоченная совокупность процессов, определенная разработчиком (организацией)как достаточная и отвечающая требованиям создания программного продукта.(2) Период времени от момента принятия решения о создании или модификациипрограммного продукта до момента снятия его с эксплуатации.Заархивированный период эксплуатации изделия (Product service history) – Временнойпериод, наиболее близкий к настоящему моменту времени, в течение которого ПО работало визвестных условиях и выполнялась регистрация отказов.Задача (Task) – Основная единица работы с точки зрения управляющей программы.«Заплата» (Patch) – Модификация в объектной программе, в результате которой пропускаетсяодин или несколько шагов перекомпиляции, переассемблирования или редактирования связей.Данные используемые для идентификации, например, блочные номера и контрольныесуммы, не считаются «заплатами».Заявитель (Applicant) – Разработчик, подавший в Авиарегистр заявку на получение Сертификататипа на создаваемую или созданную им авиационную технику.Идентификация конфигурации (Configuration identification):(1) Процесс определения единиц конфигурации в системе и регистрации иххарактеристик.(2) Одобренная документация, которая определяет единицу конфигурации.Изменение ПО (Software change) – Изменение по сравнению с базовой версией в исходном коде,объектном коде, исполняемом объектном коде или в соответствующей документации.Имитатор (Simulator) – Устройство, компьютерная программа или система, используемое приверификации ПО, которое принимает те же входные данные, формирует те же выходные данные,что и заданная система, используя для этого объектный код, который получен из объектного кодаоригинала.Инструмент (инструмент ПО) (Software tool) – Программа, используемая для облегченияразработки, испытаний, анализа, генерации или модификации (внесения изменений) другихпрограмм.Примерами таких инструментов являются компиляторы, средства для испытаний ивнесения изменений, а также средства автоматизированного проектирования.Инструментальная ЭВМ (Host computer) – ЭВМ, используемая для разработки ПО целевоговычислителя.Интегральный процесс (Integral process) – Процесс, который поддерживает процессыразработки ПО и другие интегральные процессы и который, по этой причине, выполняется втечение всего жизненного цикла программного обеспечения.Интегральными процессами являются: процесс верификации ПО, процесс гарантиикачества ПО, процесс управления конфигурацией ПО и процесс взаимодействия Заявителя ссертифицирующим органом.© НИИАО 2002.Формат А492КТ-178В________________________________________________________________________________Интеграция аппаратных и программных средств (Hardware/software integration) – Процессразмещения ПО в целевом вычислителе.Интеграция ПО (Software integration) – Процесс объединения компонент программы.Испытание (Testing) – Процесс исполнения задания системой или её компонентой для проверки,что она соответствует конкретным требованиям, и для обнаружения ошибок.Исходный код (Source code) – Код, записанный на исходном языке, таком как язык ассемблераи/или язык высокого уровня, в форме, пригодной для машинного считывания, для ввода вассемблер или компилятор.Квалификация инструмента (Tool qualification) – Процесс, необходимый для получениясертификационного зачета для инструмента применительно к конкретной бортовой системе.Класс эквивалентности (Equivalence class) – Такая часть входных данных программы, чтоиспытание, выполненное для репрезентативного значения из этого класса, эквивалентноиспытанию с другими значениями из этого класса.Код (Code) – Представление конкретных данных или конкретной программы в символьной форме– такой, как исходный код, объектный код или машинный код.Компилятор (Compiler) – Программа, транслирующая операторы исходного кода, записанные наязыке высокого уровня, в объектный код.Компонента (Component) – Автономная часть, комбинация частей, сборочный узел или блок,выполняющая отдельную функцию системы.Контроль (Слежение) (Monitoring):1.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
