Terms for subject Programming containing detection of errors

English	Russian
detection of potential software errors	выявление потенциальных ошибок в программном обеспечении (корпорации AdaCore Alex_Odeychuk)
static analysis for upfront detection of potential errors	статический анализ с целью заблаговременного выявления потенциальный ошибок (корпорации AdaCore Alex_Odeychuk)