Форум за въпроси

Автоматично намиране на бъгове

Автоматично намиране на бъгове

by Трифон Трифонов -
Number of replies: 0

В тази статия можете да видите как една система успява автоматично да намери бъгове в GNU coreutils пакета.

Използваният инструмент се казва Klee и представлява символен дебъгер базиран на LLVM, който автоматично генерира тестове за дадена функция.