On Monday 27 March 2006 16:30, Artem Chuprina wrote: > А высокоуровневые рассуждения, конечно, надежнее... Они, конечно, > доказываются и доказательства проверяют несколько хороших специалистов в > computer science? Каждый раз после малейшего изменения в программе?
Достаточно определить правила использования разделяемых ресурсов, и при каждом использовании проверять нарушение правил. Такие места обычно поддаются учёту, даже в больших проектах. А про юнит-тесты таки да, можно подумать во всех остальных, линейных случаях. Часто я сам такие даже делаю, когда хочется отладить какую-то логику. -- Anton Petrusevich -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
