НЕСТАЦИОНАРНЫЕ МОДЕЛИ СТРАТЕГИЙ ИСПЫТАНИЙ ПРОГРАММНЫХ СРЕДСТВ ПРИ ВЕРОЯТНОСТНЫХ ПАРАМЕТРАХ ОБНАРУЖЕНИЯ ОШИБОК

Постановка проблемы: современные стандарты разработки программных средств требуют планировать сроки и ресурсы, необходимые для успешной реализации проектов. Важным аспектом проектов являются работы по обеспече- нию заданных показателей качества разрабатываемых программных средств. Моделирование процессов испытаний программных средств позволяет планировать ресурсы и финальное качество на ранних этапах реализации проектов. Известные модели испытаний программных средств не учитывают вероятностный характер нахождения и исправле- ния ошибок. Модели строятся на результате двоичной классификации модулей программных средств на потенциально приводящие к отказу с вероятностью, равной единице, и надежные. Цель исследования: усовершенствование суще- ствующих моделей испытаний программных средств с учетом вероятностного характера процессов поиска и устра- нения ошибок. Результаты: разработаны три динамические модели процессов (стратегий) испытаний программных средств, в которых предусматривается возможность использования вероятностей обнаружения ошибок для каждого программного модуля. Для всех стратегий испытаний построены модифицированные размеченные графы и системы дифференциальных уравнений. Найдены численные решения систем дифференциальных уравнений, вероятностные показатели процессов испытаний: вероятности пребывания системы во всех состояниях, функции распределения вре- мени обнаружения и устранения ошибок, математические ожидания случайных величин, количество обнаруженных и устраненных ошибок. Проведено сравнение стратегий по показателям качества. Разработаные модели позволяют использовать оценки надежности для каждого модуля в отдельности. Это повышает точность моделирования процессов отладки программ и позволяет учитывать состоятельность (мощность) тестов, искать пути повышения характеристик надежности программных средств путем формирования тестов, обнаруживающих ошибки с высокой вероятностью.

• А. А. Данилов
• А. Д. Хомоненко
• А. И. Данилов

• Общий отдел

• Технические науки. Промышленность
• Физико-математические науки