ДИНАМИЧЕСКИЕ МОДЕЛИ ОТЛАДКИ ПРОГРАММ C ВЕРОЯТНОСТНЫМ ОБНАРУЖЕНИЕМ ОШИБОК И РАСПРЕДЕЛЕНИЕМ ЭРЛАНГА ДЛИТЕЛЬНОСТИ ИХ ИСПРАВЛЕНИЯ
Аннотация:
Предмет исследования.Исследованы модели надежности и планирования тестирования программных средств с учетом вероятностного характера процессов внесения и поиска ошибок. Моделирование процессов испытаний программ позволяет планировать ресурсы и финальное качество на ранних этапах реализации проектов. Методы. Предложены две усовершенствованные модели испытаний программных средств. Процесс обнаружения ошибок аппроксимируется экспоненциальным законом, а процесс устранения – двухэтапным неоднородным распределением Эрланга. Процесс отладки программных средств после аппроксимации представлен канонической марковской цепью (системой) с дискретным множеством состояний и непрерывным временем. При этом предусмотрена возможность использования вероятностей обнаружения ошибок для каждого модуля при их тестировании. Для каждой стратегии приведены модифицированные размеченные графы и системы дифференциальных уравнений, численное решение которых позволяет вычислить вероятностные показатели процессов испытаний и состояния программных средств: вероятности пребывания системы в определенных состояниях, функции распределения времени обнаружения и устранения ошибок, математические ожидания случайных величин, количество обнаруженных или устраненных ошибок. Апробация результатов. Разработанные модели применены при расчете вероятностных показателей реализованных проектов. Приведены результаты расчетов для каждой стратегии. Проведено сравнение стратегий. Определено требуемое время отладки для достижения заданных показателей качества. Результаты расчетов использованы для планирования времени и ресурсов на новые проекты. Практическая значимость. Разработанные модели позволяют учитывать оценки надежности для каждого модуля в отдельности, а аппроксимация двухэтапным неоднородным распределением Эрланга снимает ограничения на использование законов распределений времени устранения ошибок. Это обобщает известные модели, повышает точность моделирования процессов отладки программ и позволяет учитывать состоятельность (мощность) тестов, искать пути повышения показателей надежности программ путем формирования тестов, обнаруживающих ошибки с высокой вероятностью.
Ключевые слова:
Постоянный URL
Статьи в номере
- АКТУАЛЬНЫЕ ЗАДАЧИ И ДОСТИЖЕНИЯ СИСТЕМ ПАРАЛИНГВИСТИЧЕСКОГО АНАЛИЗА РЕЧИ
- МЕТОДЫ ПОСТРОЕНИЯ ВЫСОКОСТАБИЛЬНЫХ ЭРБИЕВЫХ СУПЕРЛЮМИНЕСЦЕНТНЫХ ВОЛОКОННЫХ ИСТОЧНИКОВ ОПТИЧЕСКОГО ИЗЛУЧЕНИЯ
- АНАЛИЗ ПЕЛЕНГАЦИОННЫХ ХАРАКТЕРИСТИК ИМПУЛЬСНОГО ОПТИЧЕСКОГО КООРДИНАТОРА ЦЕЛИ ПРИ ОБЛУЧЕНИИ САМОЛЕТОВ-ЦЕЛЕЙ
- ВЛИЯНИЕ МЕТОДОВ ОБРАБОТКИ И ОЧИСТКИ ПОВЕРХНОСТИ СИТАЛЛА СО-115М НА ПРОЧНОСТЬ ОПТИЧЕСКОГО КОНТАКТА
- РОБАСТНЫЕ АЛГОРИТМЫ ПАРАМЕТРИЧЕСКОГО ОЦЕНИВАНИЯ В НЕКОТОРЫХ ЗАДАЧАХ ОБЕСПЕЧЕНИЯ УСТОЙЧИВОСТИ
- ИНТЕРВАЛЬНАЯ ОЦЕНКА СОСТОЯНИЙ СИНГУЛЯРНЫХ СИСТЕМ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ С ЗАПАЗДЫВАНИЕМ
- ИСПОЛЬЗОВАНИЕ ПУЛЬСАЦИЙ ДАВЛЕНИЯ КОЛЕБЛЮЩЕГОСЯ ГАЗОВОГО ПОТОКА ДЛЯ ОБРАБОТКИ ТЕРМОУПРОЧНЕННЫХ ОБРАЗЦОВ СТАЛИ 40Х
- СИНТЕЗ, СТРУКТУРА И СПЕКТРАЛЬНЫЕ СВОЙСТВА КАЛИЕВО-АЛЮМОБОРАТНЫХ СТЕКОЛ С НАНОКРИСТАЛЛАМИ ФЕРРИТА МАРГАНЦА
- КРИТЕРИИ ОЦЕНКИ И МОДЕЛИ ИНФОРМАЦИОННЫХ СИСТЕМ, ОБЛАДАЮЩИХ СВОЙСТВОМ ПОВЕДЕНИЯ
- ИЗМЕРЕНИЕ РАССТОЯНИЯ ПО ЕДИНСТВЕННОМУ ДЕФОКУСИРОВАННОМУ СНИМКУ
- ПРИМЕНЕНИЕ БИНАРНЫХ ДЕСКРИПТОРОВ ДЛЯ ТРЕКИНГА МНОЖЕСТВА ЛИЦ В СИСТЕМАХ ВИДЕОНАБЛЮДЕНИЯ
- ТОЧНОСТЬ, СКОРОСТЬ И СЛОЖНОСТЬ УСТРОЙСТВ КОДИРОВАНИЯ ИЗОБРАЖЕНИЙ ПО ОПОРНЫМ ТОЧКАМ
- СИСТЕМА ОБУЧЕНИЯ ВИЗУАЛЬНЫМ ПОНЯТИЯМ НА ОСНОВЕ СООТНЕСЕНИЯ ЛЕКСЕМ И КЛЮЧЕВЫХ ТОЧЕК
- РЕАЛИЗАЦИЯ ТЕХНОЛОГИИ ОБНАРУЖЕНИЯ УТЕЧКИ ИНФОРМАЦИИ ПРИ ПРОВЕДЕНИИ АТАК ПО СТОРОННИМ КАНАЛАМ, ОСНОВАННОЙ НА МЕТОДЕ ВЫЧИСЛЕНИЯ НОРМАЛИЗОВАННОЙ ВНУТРИКЛАССОВОЙ ДИСПЕРСИИ
- РАЗРАБОТКА СИСТЕМЫ АВТОМАТИЧЕСКОГО РАСПОЗНАВАНИЯ РЕЧИ ДЛЯ ЕГИПЕТСКОГО ДИАЛЕКТА АРАБСКОГО ЯЗЫКА В ТЕЛЕФОННОМ КАНАЛЕ
- РАСПРЕДЕЛЕНИЕ И АДАПТАЦИЯ ВИДЕОПОТОКА В ФОРМАТЕ SVC В ГЕТЕРОГЕННОЙ СЕТИ
- МОЛЕКУЛЯРНО-ДИНАМИЧЕСКОЕ МОДЕЛИРОВАНИЕ ВЗАИМОДЕЙСТВИЯ ЛИЗИНОВОГО ДЕНДРИМЕРА И ПЕПТИДОВ СЕМАКС
- ВОЛЬТ-АМПЕРНЫЕ ХАРАКТЕРИСТИКИ ДЛЯ ДВУХ СИСТЕМ КВАНТОВЫХ ВОЛНОВОДОВ С ПРИСОЕДИНЕННЫМИ КВАНТОВЫМИ РЕЗОНАТОРАМИ
- МОДЕЛЬНОЕ ИССЛЕДОВАНИЕ МАШИНЫ ДВОЙНОГО ПИТАНИЯ С ТОКОВЫМ УПРАВЛЕНИЕМ
- КОМПЬЮТЕРНОЕ МОДЕЛИРОВАНИЕ ПРОЧНОСТНЫХ ХАРАКТЕРИСТИК ДАТЧИКА ИНДУКЦИОННОГО ЛАГА
- ИССЛЕДОВАНИЕ РЕЖИМА СИЛЬНОГО КОНФАЙНМЕНТА КВАНТОВЫХ ТОЧЕК СЕЛЕНИДА КАДМИЯ ВО ФТОРОФОСФАТНЫХ СТЕКЛАХ
- СИСТЕМА ТЕХНИЧЕСКОГО ЗРЕНИЯ ДЛЯ РОБОТИЗИРОВАННОГО МАКЕТА НАДВОДНОГО СУДНА
- ИССЛЕДОВАНИЕ РОСТА НАНОКРИСТАЛЛОВ ХЛОРИДА СЕРЕБРА ВО ФТОРОФОСФАТНОМ СТЕКЛЕ