Page 106 - ЭВМ

– путем конфигурирования прикладного ПО и настройки сис-
темных таблиц ОС;
– распределения памяти прикладного ПО;
– трансляции и получения объектных модулей программ и

входных данных БПО;
– подготовки задания на компоновку в соответствии с распре-
делением памяти;
– настройки (кодирования) таблиц контроллера памяти MMU;
– сборки БПО и получения исполняемого кода.
Файл сборки БПО формируется из файлов компоновки ПО каж-
дой системы в соответствии с заявкой на запись в архив кода.

В архиве кода находится только один вариант фаз БПО для каж-
дого этапа испытаний изделия.
Архив связей содержит данные для проведения совместной
компоновки подсистем и включает sym-файлы модулей библиотек
ПО БКУ и области связи ПО систем, предназначенные для разреше-
ния внешних ссылок и связей на этапе компиляции файлов БПО.

Компоненты архива связей БПО поступают от разработчиков
ПО систем [15].
Требования к верификации и подтверждению БПО. Критерием
завершения автономного тестирования программ БПО является дос-
тижение 100%-ого покрытия программы набором тестов по критерию
С1 (критерий тестирования ветвей). По критерию С достигается мак-
симально возможный процент покрытия, за исключением недости-

жимых случаев в связи с особенностями алгоритма программы, кото-
рые не могут учесть средства измерения:
1. Условие критерия тестирования команд (критерий С0) – на-
бор тестов, который в совокупности должен обеспечить прохождение
каждой команды не менее одного раза.

2. Условие критерия тестирования ветвей (критерий С1) – набор
тестов, который в совокупности должен обеспечить прохождение ка-
ждой ветви не менее одного раза.
3. Условие критерия тестирования путей (критерий С2) – набор
тестов, который в совокупности должен обеспечить прохождение ка-
ждого пути не менее одного раза.
Достигнутое значение критериев вычисляется путем прогона
пакета тестов для данной программы через средства измерения из со-

става ТКПП БПО.
Расчет и подтверждение эксплуатационных характеристик про-
грамм БПО осуществляется средствами измерения состава ТКПП БПО.

103