WikiSort.ru - Программирование

Программирование методом подбора, который иногда называют «случайным программированием», это подход к разработке программного обеспечения, при котором программист решает проблему итеративно, делая небольшие изменения (перестановки) и тестирование каждого изменения, чтобы увидеть, ведёт ли оно себя, как хотелось бы.

Такой подход иногда кажется привлекательным, когда программист не в полной мере понимает код и считает, что одно или несколько небольших изменений может привести к коду, который является правильным.

Пример

Например, следующий пример кода C (предназначен для поиска и копирования последовательности цифр с большой строки) имеет несколько проблем:

char* buffer = "123abc";
char destination[10];

int i = 0;
int j = 0;
int l = strlen(buffer);

while (i < l) {
    if (isdigit(buffer[i])) {
        destination[j++] = buffer[i++];
    }
    ++i;
}

destination[j] = '\0';
printf("%s\n", destination);

Но это не даёт правильного результата. Для заданной начальной строки он печатает «13», в то время как правильным результатом является «123». Программист, не видящий структурной проблемы, может ухватиться за одну команду, сказав «ага, здесь лишнее увеличение на единицу». Он удаляет строку «++i», но при тестировании программа зацикливается. «Ой, неверное увеличение». Команда возвращается на место и удаляется post-increment переменной i строкой выше:

    if (isdigit(buffer[i])) {
        destination[j++] = buffer[i];
    }

В ходе тестирования код теперь выдаёт правильный ответ, "123". Однако, поскольку программист не затруднил себя полным пониманием кода, остаются следующие проблемы:

• Если ввод содержит несколько чисел, разделённых нецифровыми символами, например "123аб456", в целевой буфер попадут все цифры подряд
• Если ввод длиннее целевого буфера то целевой буфер переполнится
• Если ввод длиннее INT_MAX то поведение становится неопределённым, поскольку strlen() возвращает беззнаковое целочисленное значение типа size_t, в котором может храниться значение, большее максимума для знакового целочисленного
• Если на используемой платформе тип char - знаковый и ввод содержит символы не из диапазона от 0 до UCHAR_MAX после приведения к int то вызов isdigit() приводит к неопределённому поведению.

Хотя решение окажется подходящим для определённого набора вводимых данных, оно не является корректным для всех таких наборов, и замечания к такому коду будут возникать в течение долгого времени.

Примечания

Это заготовка статьи о программировании. Вы можете помочь проекту, дополнив её.

В этой статье не хватает ссылок на источники информации. Информация должна быть проверяема, иначе она может быть поставлена под сомнение и удалена. Вы можете отредактировать эту статью, добавив ссылки на авторитетные источники. Эта отметка установлена 23 февраля 2013 года.