«Безошибочно» как в «безупречном?» Как в «написано Богом и ангелами, а не людьми?» (мы говорим здесь о программно-логических и, возможно, аппаратно-логических ошибках)
Я не могу честно сказать даже о одной единственной строке кода, что она без ошибок. Это потому что мы, люди, ну, мы не можем доказать никаких негативных гипотез!
Лучшее, что я могу сказать, это то, что вероятность ошибки - это число от 0 до 1. Я достигаю этого числа с помощью хорошо или плохо определенных и хорошо или плохо понятых принципов разработки и тестирования программного обеспечения; по количеству рассматриваемых строк исходного программного обеспечения; понимая, насколько хорошо или плохо я кандидат, бедняга, применяет эти принципы при создании этих строк кода; и более.
И я могу выразить это понимание только как вероятность. Таким образом, термин «логика без ошибок» означает почти ничего.
Если бы я увидел объявление для инженера-программиста, который произвел «безошибочный» код, я бы либо сразу применил, либо сразу бы запустил: компания не особо задумывалась о том, как она разрабатывает, тестирует и поставляет свое программное обеспечение. , Так что это будет либо отличная возможность, либо бесконечный кошмар.
Из любого программного обеспечения, хотя, я могу легко - и нужно - сказать , что я ожидаю код , который не имеет никаких ошибок , которые попадают за пределы , что Sucky, мутной, логико-еу вещи: код , который компилирует и ссылки без ошибок и предупреждений; это «действительный HTML» или «действительный CSS»; JavaScript (скажем), который не генерирует необъяснимых сообщений об ошибках или ошибках браузера. Эту часть я могу измерить прямо и отметить черным по белому на графике.
Эта часть проста, как пирог. Любой может сделать это .
Привет, удачи в поиске :-)