3.4.9. Методика комплексирования функциональных компонентов:

• тестирование идентичность исходного текста функционального компонента, представленного на носителе данных, с исходным текстом, представленным в программном документе на крупную функциональную задачу;

• комплексирование в статике модулей и компонентов, входящих и функциональный компонент, проверка интерфейсов между модулями и выявлены их нестыковки с описаниями в спецификациях на функциональный компонент;

• устранение невязок интерфейсов между модулями и компонентами, входящими в функциональный компонент;

• анализ потоков управления и установления степени покрытия тестами графовой модели функционального компонента при тестировании программы по выделенным маршрутам функционального компонента:

  • установить наличие или отсутствие тупиковых ветвей в маршрутах;

  • установить наличие хотя бы одного маршрута исполнения программы для каждой из заданных в спецификации функции компонента;

  • выделить имеющиеся на маршрутах циклы функционального компонента и определить порядок их тестирования;

  • используя логические условия в вершинах графа, описывающего потоки управления функционального компонента, сформировать исходные данные для создания тестовых наборов входных данных для проверки каждого выделенного маршрута;

• анализ потоков данных установить связь наборов входных переменных программы и выходных, участвующих в исполнении функционального компонента по определенному маршруту, соответствие между областями определения наборов данных (входных и выходных) и маршрутами их обработки в функциональном компоненте;

• оценка результатов тестирования, качества и корректности конкретного функционального компонента статике без взаимодействия (другими функциональными компонентами;

  • функциональный компонент имеет корректную структуру;

  • для каждой из функций компонента существует непустое множество маршрутов ее реализации;

  • каждый из функциональных маршрутов завершается за конечное число шагов;

  • не обнаружено нереализованных и тупиковых функциональных маршрутов;

  • программная документация соответствует требованиям стандартов и реализуемым функциям компонента;

• подготовка тестов и сценариев для тестирования функционального компонента в статике, во взаимодействии с другими функциональными компонентами при некоторых постоянных значениях времени в соответствии с заданной временной диаграммой комплекса программ;

• комплексирование взаимодействия функционального компонента с другими компонентами и с базой данных вне реального времени;

• подключение функционального компонента к операционной системе в реализующей ЭВМ и оценка возможности достаточно полного решения соответствующих функциональных задач в статике при постоянных значениях реального времени;

• завершение тестирования функционального компонента с другими группами программ, наращивание состава компонентов до полного комплекта реализуемых функциональных задач в ПС;

• обработка результатов отладки, оценка качества и корректности функционального компонента во взаимодействии с другими группами в статике, вывод о достаточности данного набора тестов полностью проверить декларируемые в документах функциональные возможности;

• подготовка тестов для тестирования функционального компонента в реальном времени, сценарии тестирования и диаграммы изменения реального времени, которым соответствуют определенные содержания тестов в имитируемой внешней среде;

• завершение тестирования качества функционального компонента в реальном времени, программ ввода-вывода и взаимодействия с внешней средой, визуализации и организации всего вычислительного процесса в реальном времени;

• обработка результатов тестирования и оценка качества функционального компонента в реальном времени, в полном его окружении с другими функциональными компонентами, удовлетворяющими критериям качества, передача от его разработчиков на комплексирование специалистам, ответственным за тестирование комплекса программ в целом.