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