Статическое тестирование программного обеспечения: Методология и примеры