Личный кабинет
Подробное описание документа
Казаков Г. В.
Метод определения количества бездефектных испытаний программного обеспечения автоматизированной системы подготовки данных полета беспилотных летательных аппаратов / Казаков Г. В., Корянов В. В. - DOI 10.18698/2308-6033-2022-6-2188 // Инженерный журнал: наука и инновации. - 2022. - № 6. -
Скачать документ
Особенность расчета показателя надежности программного обеспечения автоматизированной системы подготовки данных полета беспилотных летательных аппаратов заключается в том, что их можно запускать с любого из множества разрешенных пунктов отправления, однако с какого именно — заранее определить не представляется возможным. Поскольку для контроля качества данных требуется значительное время, необходимо выбрать критерий, согласно которому весь объем данных либо принимается, либо отвергается, и тогда испытания продолжаются. Существующие методы оценки показателя надежности программного обеспечения имеют недостатки, препятствующие их применению для оценки качества данных полета. В связи с этим был предложен новый метод, основанный на контроле выборки тестовых вариантов входных данных из допустимой области с использованием результатов синтаксического и семантического контроля минимально требуемого объема тестовых вариантов. Такой метод, обеспечивающий получение оценки показателя качества данных полета беспилотных летательных аппаратов с заданной вероятностью ошибки второго рода, легко реализуется на практике. Для этого введено понятие вспомогательного плана выборочного контроля, доказаны лемма о единственности этого плана и теоремы о существовании квазиоптимальных планов выборочного контроля по критерию минимума зоны нечувствительности принятия положительного решения при двух и одном отрицательных исходах испытаний, а также бездефектного плана. Разработаны решающие правила принятия положительного или отрицательного решения по результатам проведенных испытаний программного обеспечения.
Статья опубликована в следующих изданиях
№ 6. - 2022.
