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

Loading...
Thumbnail Image

Date

2000

Journal Title

Journal ISSN

Volume Title

Publisher

Вісник КМУЦА. – 2000. – №1–2. – C.127–133.

Abstract

Основным средством проверки соответствия ПО КП вышеприведенным требованиям является тестирование. Тестирование позволяет обнаружить ошибки в программах и программных комплексах, а в случае отсутствия ошибок тестируемое ПО признается работоспособным. ПО КП будем считать надежным, если оно удовлетворяет требованиям, изложенным в документах [1], [2], [3]. Программные комплексы контроля полетов достаточно сложны, поэтому целесообразно проводить их тестирование поэтапно: модуль  программа  подсистема  система  комплекс. В данной работе рассмотрены вопросы тестирования модулей, входящих в состав основных программных комплексов контроля полетов.

Description

Keywords

Программное обеспечение контроля полетов,

Citation

Программное обеспечение контроля полетов используется для решения задач контроля при эксплуатации ВС, а также при расследовании летных происшествий. Результаты решения этих задач непосредственно связаны с обеспечением безопасности полетов и поэтому ПО КП должно удовлетворять требованиям полноты решения задач воспроизведения и контроля. Требования к ПО КП изложены в нормативных документах [1], [2] и могут быть представлены в виде следующих групп: