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