Ағылшыншамен салыстырыңыз: абзацты басыңыз — түпнұсқа терезеде ашылады. Абзац астындағы EN түймесі оны мәтін ішінде көрсетеді.
Кіріспе
Автоматтандырылған кодты тексеру бағдарламалық жасақтамасы бастапқы кодты алдын ала белгіленген ережелер немесе ең жақсы тәжірибелерге сәйкестігін тексереді. Қателерді немесе қауіпсіздік мәселелерін анықтау үшін аналитикалық әдістерді пайдаланып бастапқы кодты тексеру және қарау – ашық кодты және коммерциялық бағдарламалық жасақтаманы дамытудың қалыпты тәжірибесі болып табылады. Бұл процесті қолмен де, автоматтандырылған түрде де жүзеге асыруға болады. Автоматтандыру кезінде бағдарламалық құралдар кодты қарау және тексеру процесіне көмектеседі. Қарау бағдарламасы немесе құралы әдетте ескертулер тізімін (бағдарламалау стандарттарын бұзулар) көрсетеді. Қарау бағдарламасы табылған мәселелерді автоматты түрде немесе бағдарламашының көмегімен түзету мүмкіндігін де ұсына алады. Бұл бағдарламалық жасақтаманы оңай меңгеруге көмектесетін құрал. Бұл Бағдарламалық Интеллект практикасына үлес қосады. Бұл процесс көбінесе "линтинг" деп аталады, себебі статикалық кодты талдаудың алғашқы құралдарының бірі Lint деп аталған. Кейбір статикалық кодты талдау құралдарын кодты автоматты түрде тексеруге көмектесу үшін пайдалануға болады. Олар қолмен тексеруге қарағанда нашар болғанымен, оларды жылдамырақ және тиімдірек орындауға болады. Бұл құралдар сонымен қатар осы типтегі талдауды жүргізу үшін қажетті негізгі ережелер мен семантика туралы терең білімді қамтиды, сондықтан адам кодты тексеруші сарапшы аудитордың деңгейінде білікті болуы міндетті емес. Microsoft Visual Studio IDE кодты қарауды жеңілдететін түрлі плагиндерді қолдайды. Статикалық кодты талдау құралдарынан басқа, бағдарламалық жасақтаманы талдайтын және визуализациялайтын, оны жақсырақ түсінуге көмектесетін құралдар да бар. Мұндай жүйелер көбінесе талдауға бағытталған, өйткені оларда бағдарламалық жасақтаманы тексеру үшін алдын ала белгіленген ережелер жиынтығы болмайды. Бұл құралдардың кейбіреулері (мысалы, Imagix 4D, Resharper, SonarJ, Sotoarc, Structure101, ACTool) мақсатты архитектураларды анықтауға және нақты бағдарламалық жасақтаманың іске асырылуы мақсатты архитектура шектеулерін бұзбауын қамтамасыз етуге мүмкіндік береді.
Automated code review software checks source code for compliance with a predefined set of rules or best practices. The use of analytical methods to inspect and review source code to detect bugs or security issues has been a standard development practice in both Open Source and commercial software domains. This process can be accomplished both manually and in an automated fashion. With automation, software tools provide assistance with the code review and inspection process. The review program or tool typically displays a list of warnings (violations of programming standards). A review program can also provide an automated or a programmer assisted way to correct the issues found. This is a component for mastering easily software. This is contributing to the Software Intelligence practice. This process is usually called "linting" since one of the first tools for static code analysis was called Lint. Some static code analysis tools can be used to help with automated code review. They do not compare favorably to manual reviews, however they can be done faster and more efficiently. These tools also encapsulate deep knowledge of underlying rules and semantics required to perform this type analysis such that it does not require the human code reviewer to have the same level of expertise as an expert human auditor. and Microsoft Visual Studio IDEs support a variety of plugins that facilitate code review. Next to static code analysis tools, there are also tools that analyze and visualize software structures and help humans to better understand these. Such systems are geared more to analysis because they typically do not contain a predefined set of rules to check software against. Some of these tools (e. g. Imagix 4D, Resharper, SonarJ, Sotoarc, Structure101, ACTool) allow one to define target architectures and enforce that target architecture constraints are not violated by the actual software implementation.