Тестирование программ и математическая модель поиска ошибок в программном комплексе

Тестирование программ актуально для аудита качества программы и его соответствия исходным спецификациям, требованиям надежности, функциональности, полноты комплекса и др. В последнее время актуален и учет соответствия программного продукта потребительским и рыночным условиям. Это требует новых подходов и методов, инструментов и технологий верификации и тестирования программ в реальном коде и реальном режиме эксплуатации. Цель работы – системный анализ тестирующих сред и моделирование процесса отладки, тестирования. С помощью общих системных методов (анализ-синтез, композиция-декомпозиция, моделирование и др.), математического моделирования получены следующие результаты: 1) проведен анализ целей, типов, методов тестирования; 2) проведена классификация методов; 3) при определенных исходных гипотезах относительно распределения ошибок в программном комплексе построена и исследована математическая модель оценивания количества ошибок (уязвимостей) в программной системе, их динамики с использованием аппарата класса обыкновенных дифференциальных уравнений «с насыщением». Предложены варианты развития постановок задач (гипотез), моделей, алгоритмов идентификации моделей для улучшения доказательности и охвата более широкого класса тестовых ситуаций. Результаты исследований можно использовать для практического аудита, управления процессом тестирования.