Главная » Просмотр файлов » Требования к программному обеспечению бортовой аппаратуры и систем КТ-178B

Требования к программному обеспечению бортовой аппаратуры и систем КТ-178B (1015672), страница 15

Файл №1015672 Требования к программному обеспечению бортовой аппаратуры и систем КТ-178B (Требования к программному обеспечению бортовой аппаратуры и систем КТ-178B) 15 страницаТребования к программному обеспечению бортовой аппаратуры и систем КТ-178B (1015672) страница 152017-06-18СтудИзба
Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

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

Соображения, связанные с обособлением.Если применяется метод обособления, то указываются также методы верификациицелостности обособления.g. Допущения относительно компилятора.Описание допущений, принятых Заявителем относительно корректности компилятора,редактора связей и загрузчика (п. 4.4.2).h. Инструкции повторной верификации.Описание методов определения частей ПО, затронутых изменениями, а также методовопределения измененных частей «Исполняемого объектного кода».Повторная верификации должна гарантировать, что ранее выявленные ошибки иликлассы ошибок устранены.i. Ранее разработанное ПО.Если первоначальные методы определения соответствия базовой версии ранееразработанного ПО в части процесса верификации не соответствуют настоящему документу, топриводится описание методов для достижения целей настоящего документа.j.

Многоверсионное разнородное ПО.Если применяется такое программное обеспечение, то описываются соответствующиемероприятия процесса верификации (п. 12.3.3).11.4. План управления конфигурацией ПОВ плане УКПО устанавливаются методы, которые предполагается использовать напротяжении жизненного цикла ПО для достижения целей процесса управления конфигурациейПО.Данный план должен содержать:a. Среда УКПО.Описание среды, которую предполагается использовать для УКПО, в том числе описаниепроцедур, инструментов, методов, стандартов, ответственности и взаимодействия привыполнении мероприятий.b Мероприятия.Описание мероприятий процесса УКПО, проводимых в течение жизненного цикла ПО длядостижения целей:(1) Идентификация конфигурации: единицы, подлежащие идентификации, когда онибудут идентифицироваться; правила идентификации данных жизненного цикла ПО (например,правила присвоения блочных номеров), а также связь идентификации ПО и идентификациибортовой системы или оборудования.© НИИАО 2002.Формат А460КТ-178В________________________________________________________________________________(2) Базовые версии и трассируемость: правила введения базовых версий, когда онибудут вводиться, контроль библиотек ПО, трассируемость единиц конфигурации и базовой версии.(3) Сообщения о проблемах: содержание и идентификация сообщений о проблемах впрограммном продукте и в процессах жизненного цикла ПО, когда они выпускаются; порядокзакрытия сообщений о проблемах; связь сообщений о проблемах с мероприятиями управленияизменениями.(4) Управление изменениями: единицы конфигурации и базовые версии, подлежащиеуправлению (контролю); когда они будут контролироваться; мероприятия по управлениюпроблемами/изменениями, с помощью которых осуществляется контроль единиц конфигурации ибазовых версий; управление до сертификации и после сертификации; методы сохраненияцелостности базовых версий и единиц конфигурации.(5) Рассмотрение изменений: порядок организации обратных связей от одних процессовжизненного цикла ПО к другим; порядок оценки и назначения приоритетов проблемам,утверждения изменений, порядок разрешения возникающих проблем или реализации изменений;связь этих правил с мероприятиями сообщений о проблемах и управления изменениями.(6) Учет состояния конфигурации: данные, которые предполагается регистрировать дляучета состоянии конфигурации; где эти данные будут храниться; как они могут быть получены длясоставления отчетов, и когда они появятся.(7) Архивирование, воспроизведение и выпуск: контроль целостности, порядок иполномочия на выпуск, хранение данных.(8) Контроль загрузки ПО: описание мер предосторожности при загрузки ПО и протоколазагрузки.(9) Контроль среды жизненного цикла ПО: контроль инструментов, используемых дляразработки, производства, верификации и загрузки ПО, с учетом приведенных выше пунктов с (1)по (7).Это включает и контроль инструментов, подлежащих квалификации.(10) Контроль данных (документов) жизненного цикла ПО: процедуры,соответствующие 1-й и 2-й категориям контроля данных (документов).c.

Критерии перехода.Критерии перехода к процессу УКПО.d. Документы УКПО.Определение документов, составляемых в результате мероприятий УКПО жизненногоцикла ПО, включая «Протоколы УКПО», «Каталог комплектации ПО» и «Каталог среды жизненногоцикла ПО».e. Контроль поставщика.Порядок распространения требований процесса УКПО на соисполнителей-поставщиков.11.5. План гарантии качества ПО«План гарантии качества ПО» устанавливает методы, которые предполагаетсяиспользовать для достижения целей процесса гарантии качества ПО, «План ГКПО» можетвключать описание мероприятий в части улучшения процесса, описание метрик и описаниепрогрессивных методов организации работ.Данный план должен содержать:а.

Среда.Описание среды ГКПО, включая описание сферы действия ГКПО, распределениеответственности и взаимодействие, стандарты, процедуры, инструменты и методы.b. Полномочия.Положение о полномочиях ГКПО, ответственность и независимость, включая полномочияутверждения программных продуктов.с.

Мероприятия.Мероприятия ГКПО, проводимые в течение жизненного цикла ПО применительно ккаждому процессу этого цикла, включая:(1) Методы и средства ГКПО, например, рассмотрения, аудиторские проверки,составление актов, инспекции и непрерывный контроль процессов жизненного цикла ПО;© НИИАО 2002.Формат А461КТ-178В________________________________________________________________________________(2) Мероприятия, связанные с сообщениями о проблемах, отслеживанием икорректирующими действиями;(3) Описание рассмотрения соответствия ПО требованиям.d. Критерии перехода.Критерии перехода к процессам ГКПО.е. Синхронизация.Временная привязка мероприятий процесса ГКПО к мероприятиям процессов жизненногоцикла ПО.f. Протоколы ГКПО.Определение протоколов, составляемых в процессе ГКПО.g.

Контроль поставщика.Описание методов и средств, гарантирующих, что процессы соисполнителей –поставщиков, и выходные результаты соисполнителей-поставщиков соответствуют «ПлануГКПО».11.6. Стандарты на разработку требований ПО«Стандарты на разработку требований ПО» определяют методы, правила и инструменты,которые предполагается использовать для разработки требований высокого уровня.Эти стандарты должны содержать:а. Методы, которые предполагается использовать для разработки требований к ПО,такие, как методы структурирования;b. Методы и способы обозначений, которые предполагается использовать дляформулирования требований, такие, как структурные схемы потоков данных, языки формальныхспецификаций;с.

Ограничения на использование инструментов при разработке требований;d. Метод, который предполагается использовать для разработки производныхтребований.11.7. Стандарты на проектирование ПО«Стандарты на проектирование ПО» определяют методы, правила и инструменты,которые предполагается использовать для разработки архитектуры программного обеспечения итребований низкого уровня.Эти стандарты должны содержать:а. Используемые методы описания проекта.b.

Используемые правила наименования.с. Ограничения, накладываемые на разрешенные методы проектирования, например на:- диспетчеризацию,- использование прерываний,- использование архитектур, управляемых событиями,- динамическое управление задачами,- использование повторного входа,- глобальные данные,- обработку особых ситуаций,и обоснование использования вышеуказанных ограничений.d. Ограничения на использование инструментов проектирования.е. Ограничения на проект, например, исключение рекурсии, динамических объектов,альтернативных имен данных, компактных выражений.f.

Ограничения на сложность, например, на максимальную вложенность вызовов илиусловных операторов, на использование безусловных переходов, количество точек входа/выходав компоненты программы.© НИИАО 2002.Формат А462КТ-178В________________________________________________________________________________11.8. Стандарты на кодирование«Стандарты на кодирование» определяют языки программирования, методы, правила иинструменты, которые предполагается использовать для кодирования.Эти стандарты должны содержать:а.

Языки программирования, которые предполагается использовать и/или ихподмножества.Документы, характеризующие язык программирования и однозначно определяющие егосинтаксис, управление данными и побочные эффекты.Это может потребовать введения ограничений на использование некоторых особенностейязыка.b. Стандарты на форму представления «Исходного кода», например, ограничения надлины строк, отступы и использование пустых строк, а также стандарты на документацию«Исходного кода», например, имя автора, хронология версий, входы и выходы программы,изменяемые глобальные данные.с.

Правила наименования компонент, подпрограмм, переменных и констант.d. Условия и ограничения, накладываемые на принятые соглашения о приёмахкодирования – такие, как степень взаимосвязи между компонентами программы, сложностьлогических или численных выражений, а также обоснование их применения.е. Ограничения на применение инструментов кодирования.11.9. Требования к ПОВ «Требованиях к ПО» излагаются требования высокого уровня, в том числе производныетребования.Этот документ должен содержать:а. Описание, каким образом требования к системе трансформируются в требования к ПО,с уделением особого внимания требованиям к безопасности и возможным отказным состояниям.b. Функциональные и технические требования для каждого режима работы.с.

Критерии исполнения, например, критерии точности и правильности.d. Временные требования и ограничения.е. Ограничения по памяти.f. Взаимодействие аппаратуры и ПО, например, протоколы, форматы, частоты входных ивыходных сигналов.g. Требования к обнаружению отказов и контролю безопасности.h. Требования к обособлению, относящиеся к ПО; как обособленные компонентывзаимодействуют друг с другом; уровни ПО каждой обособленной компоненты.11.10. Описание проекта ПОВ «Описании проекта ПО» определяются архитектура ПО и требования низкого уровня,удовлетворяющие требованиям к ПО высокого уровня.Этот документ должен содержать:а.

Подробное описание того, каким образом ПО удовлетворяет предъявляемым к немутребованиям к ПО высокого уровня, включая алгоритмы, структуры данных, а также кактребования к ПО распределяются по процессорам и задачам.b. Описание архитектуры ПО, определяющей конкретную структуру программногообеспечения для выполнения заданных требований.с. Описание входов/выходов, например, словарь данных, как внутренних, так и внешнихдля выбранной архитектуры.d.

Поток данных и поток управления для данного проекта.е. Ограничения на ресурсы; распределение ресурсов и связанные с этим ограничения;запасы по ресурсам и методы их измерения; например, запас по быстродействию и объёмупамяти.© НИИАО 2002.Формат А463КТ-178В________________________________________________________________________________f. Процедуры диспетчеризации и схемы межпроцессорного и межзадачного обмена,включая жесткое временное упорядочивание, принудительное разделение времени, рандевуязыка Ада и прерывания.g. Методы проектирования и подробные сведения относительно их применения,например: загрузка данных; ПО, модифицируемое пользователем или многоверсионноеразнородное ПО.h.

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

Список файлов учебной работы

Свежие статьи
Популярно сейчас
Зачем заказывать выполнение своего задания, если оно уже было выполнено много много раз? Его можно просто купить или даже скачать бесплатно на СтудИзбе. Найдите нужный учебный материал у нас!
Ответы на популярные вопросы
Да! Наши авторы собирают и выкладывают те работы, которые сдаются в Вашем учебном заведении ежегодно и уже проверены преподавателями.
Да! У нас любой человек может выложить любую учебную работу и зарабатывать на её продажах! Но каждый учебный материал публикуется только после тщательной проверки администрацией.
Вернём деньги! А если быть более точными, то автору даётся немного времени на исправление, а если не исправит или выйдет время, то вернём деньги в полном объёме!
Да! На равне с готовыми студенческими работами у нас продаются услуги. Цены на услуги видны сразу, то есть Вам нужно только указать параметры и сразу можно оплачивать.
Отзывы студентов
Ставлю 10/10
Все нравится, очень удобный сайт, помогает в учебе. Кроме этого, можно заработать самому, выставляя готовые учебные материалы на продажу здесь. Рейтинги и отзывы на преподавателей очень помогают сориентироваться в начале нового семестра. Спасибо за такую функцию. Ставлю максимальную оценку.
Лучшая платформа для успешной сдачи сессии
Познакомился со СтудИзбой благодаря своему другу, очень нравится интерфейс, количество доступных файлов, цена, в общем, все прекрасно. Даже сам продаю какие-то свои работы.
Студизба ван лав ❤
Очень офигенный сайт для студентов. Много полезных учебных материалов. Пользуюсь студизбой с октября 2021 года. Серьёзных нареканий нет. Хотелось бы, что бы ввели подписочную модель и сделали материалы дешевле 300 рублей в рамках подписки бесплатными.
Отличный сайт
Лично меня всё устраивает - и покупка, и продажа; и цены, и возможность предпросмотра куска файла, и обилие бесплатных файлов (в подборках по авторам, читай, ВУЗам и факультетам). Есть определённые баги, но всё решаемо, да и администраторы реагируют в течение суток.
Маленький отзыв о большом помощнике!
Студизба спасает в те моменты, когда сроки горят, а работ накопилось достаточно. Довольно удобный сайт с простой навигацией и огромным количеством материалов.
Студ. Изба как крупнейший сборник работ для студентов
Тут дофига бывает всего полезного. Печально, что бывают предметы по которым даже одного бесплатного решения нет, но это скорее вопрос к студентам. В остальном всё здорово.
Спасательный островок
Если уже не успеваешь разобраться или застрял на каком-то задание поможет тебе быстро и недорого решить твою проблему.
Всё и так отлично
Всё очень удобно. Особенно круто, что есть система бонусов и можно выводить остатки денег. Очень много качественных бесплатных файлов.
Отзыв о системе "Студизба"
Отличная платформа для распространения работ, востребованных студентами. Хорошо налаженная и качественная работа сайта, огромная база заданий и аудитория.
Отличный помощник
Отличный сайт с кучей полезных файлов, позволяющий найти много методичек / учебников / отзывов о вузах и преподователях.
Отлично помогает студентам в любой момент для решения трудных и незамедлительных задач
Хотелось бы больше конкретной информации о преподавателях. А так в принципе хороший сайт, всегда им пользуюсь и ни разу не было желания прекратить. Хороший сайт для помощи студентам, удобный и приятный интерфейс. Из недостатков можно выделить только отсутствия небольшого количества файлов.
Спасибо за шикарный сайт
Великолепный сайт на котором студент за не большие деньги может найти помощь с дз, проектами курсовыми, лабораторными, а также узнать отзывы на преподавателей и бесплатно скачать пособия.
Популярные преподаватели
Добавляйте материалы
и зарабатывайте!
Продажи идут автоматически
6376
Авторов
на СтудИзбе
309
Средний доход
с одного платного файла
Обучение Подробнее