Символьный (литерный) тип
значениями этого типа являются элементы набора литер, определяемого реализацией языка.
процесс оценки поведения, например производительности памяти, загрузки ЦПУ системы или компонента во время выполнения. Динамическое сравнение (dynamic comparison)
В статье описываются принципы проведения динамического анализа программ с целью обнаружения в них дефектов различного рода при помощи целенаправленной генерации входных данных. Рассматриваются методы преобразования программ для извлечения трасс выполнения, механизмы отслеживания потоков данных и построения входных данных для покрытия путей выполнения. Показывается, как подобный подход позволяет проводить анализ полностью автоматически без привлечения разработчиков и тестировщиков, на основе исполняемого или интерпретируемого кода. Приводится описание инструментов динамического анализа, разработанных в Институте системного программирования РАН, — инструмента Avalanche, основанного на фреймворке Valgrind, и прототипа инструмента, производящего анализ программ на языке Java. В конце обзора приводятся результаты работы инструмента Avalanche на проектах с открытым кодом и результаты проведения динамического анализа Java-программ с целью поиска ошибок синхронизации.
значениями этого типа являются элементы набора литер, определяемого реализацией языка.
способ записи чисел с помощью заданного набора специальных знаков (цифр).
оценивается функцией зависимости объема работы, выполняемой алгоритмом, от размера входных данных.