Уважаемые коллеги!
Я написал текст и собираюсь вставить его в мою очередную книгу.
Прошу высказать критические замечания. И пожелания по исправлению и улучшению текста.
Цитата:
ОШИБКИ И СРЕДСТВА БОРЬБЫ С НИМИ
Ошибки в алгоритмах и программах (software bugs) — чрезвычайно важная проблема. Для предотвращения, поиска и исправления ошибок используют разнообразные средства:
1. требования к программному обеспечению (software requirements);
2. спецификация требований программного обеспечения (software requirements specification);
3. просмотр кода (code review);
4. статический анализ кода (static code analysis);
5. тестирование (software testing);
6. отладка (debugging);
7. защитное программирование (defensive programming)
8. рефакторинг (refactoring)
9. система отслеживания ошибок (bug tracking system),
10. формальная верификация (formal verification)
11. проверка моделей (model checking)
12. стандарт оформления кода, стиль программирования (coding standard, coding convention, programming style).