Какие существуют методы оптимизации использования символьных наборов в информационных системах?

Некоторые методы оптимизации использования символьных наборов в информационных системах:

• Сокращение числа путей выполнения. www.ispras.ru Позволяет снизить вычислительную сложность обхода путей выполнения и уменьшить время, необходимое для анализа программы. www.ispras.ru
• Использование SMT-решателей. se.math.spbu.ru С их помощью проверяют выполнимость условий, в которых участвуют символьные константы. se.math.spbu.ru Например, проверка выполнимости условия сразу при встрече условного оператора (eager evaluation) помогает не тратить ресурсы на заведомо недостижимые ветви работы программы. se.math.spbu.ru
• Инструментация кода. www.ispras.ru Подразумевает модификацию кода путём внедрения кода, который не нарушает исходную функциональность программы и позволяет извлекать дополнительную информацию при её выполнении. www.ispras.ru
• Оптимизация читаемости тестов. ispranproceedings.elpub.ru Метод улучшает читаемость тестов, автоматически сгенерированных при помощи символьных вычислений, что положительно сказывается на процессе верификации результатов тестирования человеком. ispranproceedings.elpub.ru