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