Интелтек форум

Хотелось бы обсудить вопросы качества кодирования программ. Недавно попалась неплохая статья на эту тему: http://skipy.ru/philosophy/cqComponents.html#conventions (http://skipy.ru/philosophy/cqComponents.html#conventions).
Автор, по-моему, совершенно правильно разделяет качество кодирования программ и качество ПО (в общепризнанной трактовке этого понятия). Возможно несколько спорным выглядит их полное противопоставление: наверное найдется не очень много случаев, когда очень плохой программный код обладает высокой надежностью, другим характеристикам качества он также явно не удовлетворяет.
Составной частью качества кодирования является стиль программирования, но качество кодирования не определяется исключительно соблюдением правил выбранного стиля (если, конечно, не трактовать понятие стиля программирования очеь широко). И.В. Поттосиным в свое время введено понятие добротности программы, которое является более емким понятием, характеризующим высококачественное кодирование, нежели, чем понятие стиля программирования. Однако он считал, что добротная программа не может содержать ошибки и быть ненадежной. В этом отношении позиция Поттосина отлична от точки зрения автора указанной выше статьи.
Наверное в каждой компании, занимающейся разработкой ПО, выработаны те или иные требования к качеству программного кода. Такие требования имеются и в нашей компании. С этой точки зрения было бы интересно обсудить имеющиеся подходы и попробовать выработать какие-то общие критерии качества кода или хотя бы наметить пути к выработке таких критериев.
Интерес представляют способы и инструменты автоматической и автоматизированной проверки соблюдений требований к качеству программного кода. Интересно было бы обсудить возможности и направления развития методов и средств такой автоматизации.