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