К этой группе относятся принципы и методы, цель которых – не допустить появления ошибок в готовой программе. Большинство методов концентрируется на отдельных процессах перевода и направлено на предупреждение ошибок в этих процессах. Их можно разбить на следующие категории:
1 методы, позволяющие справиться со сложностью, свести ее к минимуму, так как это – главная причина ошибок перевода;
2 методы достижения большей точности при переводе;
3 методы улучшения обмена информацией;
4 методы немедленного обнаружения и устранения ошибок. Эти методы направлены на обнаружение ошибок на каждом шаге перевода, не откладывая до тестирования программы после ее написания.
Очевидно, что предупреждение ошибок – оптимальный путь к достижению надежности программного обеспечения.
Лучший способ обеспечить надежность – прежде всего не допустить возникновения ошибок. Гарантировать отсутствие ошибок, однако, невозможно никогда. Другие три группы методов опираются на предположение, что ошибки все–таки будут.