| |||
| динамическое символьное выполнение (По мере увеличения числа путей растет и количество их уравнений, что делает символьное выполнение малопригодным для тестирования масштабных приложений. Вместо него тестировщики, как правило, используют гибридный подход, называемый конколическим — конкретно-символьным (concolic = concrete + symbolic) выполнением или динамическим символьным выполнением. bartov-e) | |||
