ПОСТРОЕНИЕ УПРАВЛЯЮЩЕГО ГРАФА ПРОГРАММЫ, СОДЕРЖАЩЕЙ НЕЯВНЫЙ ПОТОК УПРАВЛЕНИЯ
Аннотация:
Рассмотрены проблемы тестирования программ, написанных на объектно-ориентированном языке и содержащих неявный поток управления, обусловленный присутствием конструкций обработки исключений. Предложены алгоритмы построения управляющего графа таких программ. Приведено пошаговое описание алгоритма построения внутрипроцедурного и межпроцедурного управляющего графа.
Ключевые слова:
Постоянный URL
Статьи в номере
- ИССЛЕДОВАНИЕ ТЕПЛООБМЕНА И ГИДРОДИНАМИКИ НА ПОВЕРХНОСТЯХ СО СФЕРИЧЕСКИМИ УГЛУБЛЕНИЯМИ ПРИ РАЗЛИЧНЫХ ЧИСЛАХ РЕЙНОЛЬДСА
- МЕТОД ИЗМЕРЕНИЯ ТЕПЛОПРОВОДНОСТИ АНИЗОТРОПНЫХ ВЫСОКОТЕПЛОПРОВОДНЫХ ТЕЛ В ВИДЕ СТЕРЖНЕЙ И ПЛАСТИН
- ВЫДЕЛЕНИЕ СТРУКТУРНЫХ ПРИЗНАКОВ РАСПОЗНАВАЕМЫХ СИМВОЛОВ НА ОСНОВЕ НАБОРА КЛЕТОЧНЫХ АВТОМАТОВ
- СРАВНЕНИЕ ПЕРЕХОДНЫХ ХАРАКТЕРИСТИК СТАНДАРТНЫХ СИГНАЛОВ И ПОЛИНОМОВ УОЛША
- ЗАКОН ДВИЖЕНИЯ МЕХАНИЗМА ПЛЕТЕНИЯ СПИРАЛЬНО-АНИЗОТРОПНЫХ НИТЕЙ
- КОНСТРУКТИВНАЯ РЕАЛИЗАЦИЯ ДИАМЕТРАЛЬНОЙ СХЕМЫ ГИРОИНКЛИНОМЕТРА С ДОПОЛНИТЕЛЬНЫМ РАЗВОРОТОМ КОРПУСА СКВАЖИННОГО ПРИБОРА
- ВЛИЯНИЕ ТЕМПЕРАТУРЫ НА ЧАСТОТНЫЕ ХАРАКТЕРИСТИКИ МИКРОАКУСТИЧЕСКИХ ДАТЧИКОВ НА ПОВЕРХНОСТНЫХ И ОБЪЕМНЫХ АКУСТИЧЕСКИХ ВОЛНАХ
- МЕТОДИКА ИНФОРМАЦИОННОЙ ОЦЕНКИ ВОСПРИЯТИЯ ИЗОБРАЖЕНИЙ
- СРАВНЕНИЕ ДЕФОРМАЦИЙ АЛЮМИНИЕВЫХ И КРЕМНИЕВЫХ БАЛОК И ПЛАСТИН В ТЕПЛОВЫХ ПОЛЯХ
- ВОССТАНОВЛЕНИЕ ДЕФОКУСИРОВАННЫХ ИЗОБРАЖЕНИЙ МЕТОДОМ ДВУМЕРНОГО ПРЕОБРАЗОВАНИЯ ФУРЬЕ И РЕГУЛЯРИЗАЦИИ ТИХОНОВА
- ОПТИЧЕСКИЕ ХАРАКТЕРИСТИКИ МИКРОЛИНЗ, ПОЛУЧЕННЫХ МЕТОДОМ ЛАЗЕРНО-ИНДУЦИРОВАННОЙ АМОРФИЗАЦИИ СТЕКЛОКЕРАМИК
- РАСЧЕТ УСИЛИЯ В КЛЕММНЫХ СОЕДИНЕНИЯХ
- МЕТОДЫ И СРЕДСТВА ОЦЕНКИ ДИНАМИЧЕСКОЙ ОСТРОТЫ ЗРЕНИЯ
- БЕСКОНТАКТНЫЙ СПОСОБ ИЗМЕРЕНИЯ ГЕОМЕТРИЧЕСКИХ РАЗМЕРОВ ТЕЛ
- РАБОТА С ПАКЕТОМ ПРОГРАММ OPEN COMPUTER VISION
- ФРАКТАЛЬНЫЙ ГЕНЕРАТОР КОХА ДЛЯ КОВРА СЕРПИНСКОГО
- МОДЕРНИЗАЦИЯ ТРИБОМЕТРИЧЕСКОЙ СИСТЕМЫ «ТРИБАЛ»
- ВЛИЯНИЕ МИКРОГЕОМЕТРИИ ПОВЕРХНОСТИ НА ЕЕ ИЗНОСОСТОЙКОСТЬ – ПЛАНИРОВАНИЕ ЭКСПЕРИМЕНТА
- ИНТЕГРАЦИЯ КОНСТРУКТОРСКИХ И ТЕХНОЛОГИЧЕСКИХ САПР НА ОСНОВЕ ФОРМАТА 3DXML
- ФОРМИРОВАНИЕ БАЗЫ ЗНАНИЙ ДЛЯ ТПО
- ПРОЕКТИРОВАНИЕ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ С ИСПОЛЬЗОВАНИЕМ УДАЛЕННОЙ САПР ТП
- ПРОЕКТИРОВАНИЕ ТЕХНОЛОГИЧЕСКИХ ПРОЦЕССОВ В PDM- СИСТЕМЕ ЛОЦМАН: PLM
- ПОСТРОЕНИЕ БАЗЫ ДАННЫХ РЕЖУЩЕГО ИНСТРУМЕНТА В АСТПП
- МИКРОГЕОМЕТРИЯ ПОВЕРХНОСТИ И ЕЕ ФУНКЦИОНАЛЬНЫЕ СВОЙСТВА
- ОБ АРХИТЕКТУРЕ РОБОТОВ И ИНТЕЛЛЕКТУАЛЬНОМ УПРАВЛЕНИИ ИМИ
- ОПТИМИЗАЦИЯ КОНФИГУРИРОВАНИЯ И РАСПРЕДЕЛЕНИЯ ЗАКАЗОВ ВИРТУАЛЬНОГО ПРЕДПРИЯТИЯ
- РАЗРАБОТКА УЧЕБНО-МЕТОДИЧЕСКОГО ВЗАИМОДЕЙСТВИЯ УЧЕБНО-МЕТОДИЧЕСКОГО КОМПЛЕКСА С INTERNET
- РАСЧЕТ ИЗГИБНЫХ И КОНТАКТНЫХ НАПРЯЖЕНИЙ ЗУБЧАТЫХ КОЛЕС С НЕСИММЕТРИЧНЫМ ПРОФИЛЕМ ЗУБА МЕТОДОМ КОНЕЧНЫХ ЭЛЕМЕНТОВ
- ТАБЛИЧНЫЙ ПРОЦЕССОР ДЛЯ РЕШЕНИЯ ТЕХНОЛОГИЧЕСКИХ ЗАДАЧ
- ФОРМИРОВАНИЕ ОТЕЧЕСТВЕННЫХ СТАНДАРТОВ КАЧЕСТВА ЗУБЧАТЫХ КОЛЕС И ПЕРЕДАЧ, НЕ ПРОТИВОРЕЧАЩИХ РЕКОМЕНДАЦИЯМ ISO
- ИСПОЛЬЗОВАНИЕ ЭЛЕКТРОННОЙ МОДЕЛИ ДЕТАЛИ ПРИ РАЗРАБОТКЕ ТЕХНОЛОГИЧЕСКОГО ПРОЦЕССА
- ПРИНЦИПЫ ОРГАНИЗАЦИИ И ИНТЕРФЕЙС УНИФИЦИРОВАННОГО МОДУЛЯ ИНТЕГРАЦИИ PDM- И CAD-СИСТЕМ
- ЭВОЛЮЦИЯ МЕТОДОВ И ТЕХНОЛОГИЙ ПРОГРАММИРОВАНИЯ
- ПРОГРАММИСТЫ, КОМПИЛЯТОРЫ, ПРОЦЕССОРЫ – ПОИСК ЕДИНОГО ВЕКТОРА
- ИЗГОТОВЛЕНИЕ ПРОТОТИПОВ ПЕЧАТНЫХ ПЛАТ В УСЛОВИЯХ ЕДИНИЧНОГО ПРОИЗВОДСТВА
- ITSM В ITIL – СТРУКТУРНО-ОБРАЗУЮЩИЙ ПОДХОД К ПРОЕКТИРОВАНИЮ, ВНЕДРЕНИЮ И УПРАВЛЕНИЮ ИТ-СИСТЕМАМИ КЛАССА HELP (SERVICE) DESK