Автоматизированная проверка кода
 | Эта статья нуждается в дополнительных цитатах для проверки . ( сентябрь 2010 г. ) |
Программное обеспечение для автоматической проверки кода проверяет исходный код на соответствие заранее определенному набору правил или передовым практикам. Использование аналитических методов для проверки и анализа исходного кода для обнаружения ошибок или проблем безопасности было стандартной практикой разработки как в области открытого, так и коммерческого программного обеспечения. [1] Этот процесс может осуществляться как вручную, так и автоматически. [2] [3] Благодаря автоматизации программные инструменты помогают в кода процессе проверки и проверки . Программа или инструмент проверки обычно отображает список предупреждений (нарушений стандартов программирования). Программа проверки также может предоставить автоматизированный или программистский способ исправления обнаруженных проблем. Это компонент для легкого освоения программного обеспечения. Это способствует развитию практики Software Intelligence . Этот процесс обычно называют «линтингом», поскольку один из первых инструментов статического анализа кода назывался Lint .
Некоторые инструменты статического анализа кода можно использовать для автоматической проверки кода. Они не имеют преимуществ перед ручными проверками, однако их можно выполнять быстрее и эффективнее. [ нужна ссылка ] Эти инструменты также инкапсулируют глубокие знания основных правил и семантики, необходимых для выполнения этого типа анализа, так что от человека, проверяющего код, не требуется тот же уровень знаний, что и от эксперта-аудитора. [2] Многие интегрированные среды разработки также предоставляют базовые функции автоматической проверки кода. Например, Затмение [4] и Microsoft Visual Studio [5] IDE поддерживают множество плагинов, упрощающих проверку кода.
Помимо инструментов статического анализа кода , существуют также инструменты, которые анализируют и визуализируют структуры программного обеспечения и помогают людям лучше их понять. Такие системы больше ориентированы на анализ, поскольку обычно не содержат заранее определенного набора правил для проверки программного обеспечения. Некоторые из этих инструментов (например, Imagix 4D , Resharper , SonarJ , Sotoarc, Structure101 , ACTool [6] ) позволяют определять целевые архитектуры и обеспечивать, чтобы ограничения целевой архитектуры не нарушались фактической реализацией программного обеспечения.
Инструменты автоматической проверки кода
[ редактировать ]См. также
[ редактировать ]Ссылки
[ редактировать ]- ^ Макинтош, Шейн и др. «Влияние охвата проверки кода и участия в проверке кода на качество программного обеспечения: пример проектов qt, vtk и itk». Материалы 11-й рабочей конференции по репозиториям программного обеспечения для майнинга. 2014. дои : 10.1145/2597073.2597076
- ^ Jump up to: а б ГОМЕС, Иво; МОРГАДО, Педро; ГОМЕС, Тьяго; Морейра, Родриго (2009). «Обзор подхода статического анализа кода при разработке программного обеспечения» (PDF) . Университет Порту . Проверено 3 октября 2010 г.
- ^ «Трикодер: построение экосистемы программного анализа» . 2015.
- ^ «Разработка инструмента совместной проверки кода» . www.eclipse.org. Архивировано из оригинала 1 апреля 2010 г. Проверено 13 октября 2010 г.
- ^ «Подключаемый модуль проверки кода для Visual Studio 2008, ReviewPal» . www.codeproject.com. 4 ноября 2009 года . Проверено 13 октября 2010 г.
- ^ Плагин согласованности архитектуры для Eclipse