OberonCore

Библиотека  Wiki  Форум  BlackBox  Компоненты  Проекты
Текущее время: Четверг, 28 Март, 2024 15:35

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 9 ] 
Автор Сообщение
 Заголовок сообщения: Ошибки и средства борьбы с ними
СообщениеДобавлено: Вторник, 21 Ноябрь, 2017 17:28 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 470
Откуда: Москва
Уважаемые коллеги!

Я написал текст и собираюсь вставить его в мою очередную книгу.
Прошу высказать критические замечания. И пожелания по исправлению и улучшению текста.

Цитата:
ОШИБКИ И СРЕДСТВА БОРЬБЫ С НИМИ

Ошибки в алгоритмах и программах (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).


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки и средства борьбы с ними
СообщениеДобавлено: Вторник, 21 Ноябрь, 2017 18:58 

Зарегистрирован: Пятница, 13 Март, 2009 16:36
Сообщения: 987
Откуда: Казань
Мне нравятся советы Клеменса Шиперского во вложении.


Вложения:
eth-38713-02_Page_213.png
eth-38713-02_Page_213.png [ 73.91 КБ | Просмотров: 5821 ]
eth-38713-02_Page_214.png
eth-38713-02_Page_214.png [ 85.16 КБ | Просмотров: 5822 ]
eth-38713-02_Page_215.png
eth-38713-02_Page_215.png [ 93.2 КБ | Просмотров: 5821 ]
eth-38713-02_Page_216.png
eth-38713-02_Page_216.png [ 87.14 КБ | Просмотров: 5821 ]
eth-38713-02_Page_217.png
eth-38713-02_Page_217.png [ 77.55 КБ | Просмотров: 5821 ]
Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки и средства борьбы с ними
СообщениеДобавлено: Среда, 22 Ноябрь, 2017 12:33 

Зарегистрирован: Пятница, 13 Март, 2009 16:36
Сообщения: 987
Откуда: Казань
Еще один метод борьбы с ошибками - структурное программирование.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки и средства борьбы с ними
СообщениеДобавлено: Вторник, 30 Октябрь, 2018 14:38 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3261
Откуда: Астрахань
Ну и добавлю: обработку ошибок надо проектировать так же, как и собственно, весь остальной проект.
И обработка ошибок должна быть локализована в отдельной подсистеме... :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки и средства борьбы с ними
СообщениеДобавлено: Вторник, 30 Октябрь, 2018 22:45 

Зарегистрирован: Пятница, 13 Март, 2015 16:40
Сообщения: 597
Владимир Паронджанов писал(а):
...
8. рефакторинг (refactoring)
...

Все пункты переведены, а 8-й по-русски не бывает?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки и средства борьбы с ними
СообщениеДобавлено: Среда, 31 Октябрь, 2018 20:49 
Аватара пользователя

Зарегистрирован: Суббота, 29 Март, 2008 19:27
Сообщения: 1053
Откуда: Россия, Чебоксары
Artyemov писал(а):
Все пункты переведены, а 8-й по-русски не бывает?
"Переработка".
Но почему-то никто не использует очевидное.
Английское звучание круче, привносит запах элитарности. :wink:
Забавно, что то же и в словарях. :shock:


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки и средства борьбы с ними
СообщениеДобавлено: Среда, 31 Октябрь, 2018 20:59 

Зарегистрирован: Четверг, 08 Май, 2008 19:13
Сообщения: 1447
Откуда: Киев
Refactoring и для англоязычных звучит круче, чем remake, да и по смыслу отличается.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки и средства борьбы с ними
СообщениеДобавлено: Среда, 31 Октябрь, 2018 21:20 

Зарегистрирован: Пятница, 20 Июль, 2007 17:26
Сообщения: 710
Откуда: Псков
Разговнокодирование :)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Ошибки и средства борьбы с ними
СообщениеДобавлено: Четверг, 01 Ноябрь, 2018 16:51 

Зарегистрирован: Суббота, 07 Март, 2009 15:39
Сообщения: 3261
Откуда: Астрахань
albobin писал(а):
Разговнокодирование :)

ЭТО ПЯТЬ!!! :mrgreen: :mrgreen: :mrgreen:


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 9 ] 

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 4


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2005-2024, участники конференции «OberonCore», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Без разрешения участников и ссылки на конференцию «OberonCore» любое воспроизведение и/или копирование высказываний полностью и/или по частям запрещено.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB