Например, Бобцов

ДИНАМИЧЕСКИЕ МОДЕЛИ ОТЛАДКИ ПРОГРАММ C ВЕРОЯТНОСТНЫМ ОБНАРУЖЕНИЕМ ОШИБОК И РАСПРЕДЕЛЕНИЕМ ЭРЛАНГА ДЛИТЕЛЬНОСТИ ИХ ИСПРАВЛЕНИЯ

Аннотация:

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

Ключевые слова:

Постоянный URL

Статьи в номере

Содержание © 1993–2024 Университет ИТМО
Разработка © 2015 Университет ИТМО