Изучение методов статического тестирования: улучшение качества программного обеспечения перед его выполнением