Предупреждение ошибок. К этой группе относятся принципы и методы, цель которых – не допустить появления ошибок в готовой программе

К этой группе относятся принципы и методы, цель которых – не допустить появления ошибок в готовой программе. Большинство методов концентрируется на отдельных процессах перевода и направлено на предупреждение ошибок в этих процессах. Их можно разбить на следующие категории:

1 методы, позволяющие справиться со сложностью, свести ее к минимуму, так как это – главная причина ошибок перевода;

2 методы достижения большей точности при переводе;

3 методы улучшения обмена информацией;

4 методы немедленного обнаружения и устранения ошибок. Эти методы направлены на обнаружение ошибок на каждом шаге перевода, не откладывая до тестирования программы после ее написания.

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

Лучший способ обеспечить надежность – прежде всего не допустить возникновения ошибок. Гарантировать отсутствие ошибок, однако, невозможно никогда. Другие три группы методов опираются на предположение, что ошибки все–таки будут.