Re: отладка под gdb
On Monday 27 March 2006 16:30, Artem Chuprina wrote:
> А высокоуровневые рассуждения, конечно, надежнее... Они, конечно,
> доказываются и доказательства проверяют несколько хороших специалистов в
> computer science? Каждый раз после малейшего изменения в программе?
Достаточно определить правила использования разделяемых ресурсов, и при каждом
использовании проверять нарушение правил. Такие места обычно поддаются учёту,
даже в больших проектах. А про юнит-тесты таки да, можно подумать во всех
остальных, линейных случаях. Часто я сам такие даже делаю, когда хочется
отладить какую-то логику.
--
Anton Petrusevich
Reply to: