Статичний аналіз - це процес дослідження коду без його виконання. Він спрямований на пошук дефектів і збоїв у програмних додатках. Він виявився швидким і простим способом виявлення вразливостей безпеки та якості, а також помилок, які не можуть бути знайдені компіляторами.

Компанії, що займаються тестуванням програмного забезпечення, в основному використовують цю техніку невиконання для виявлення дефектів на ранніх стадіях процесу розробки. Статичний аналіз передбачає абстрагування необхідних даних з коду, які використовуються в синтаксичному аналізі та аналізі процесу управління.

Воно допомагає виявити дефекти, які занадто складно виявити під час динамічного тестування. На відміну від статичного, динамічне тестування перевіряє поведінку вихідного коду під час його виконання. Статичне тестування, як і процес рецензування, фокусується на пошуку дефектів, а не на невідповідностях.

Власне, статичний аналіз виконується за допомогою спеціалізованих інструментів, які досліджують код програм, а також згенерований код, наприклад, HTML або XML. Процеси статичного та динамічного тестування часто використовуються компанії, що займаються тестуванням на проникнення підвищити продуктивність та якість життєвого циклу розробки програмного забезпечення. Перо-тестери допомагають виявити слабкі місця в системі безпеки, які призводять до витоку конфіденційних даних і навіть збоїв у роботі системи.

Переваги статичного аналізу

• Раннє виявлення дефектів до етапу виконання тесту.
• Раннє попередження проблем у вихідному коді або дизайні за допомогою певних метрик, таких як коефіцієнт складності.
• Виявлення дефектів, які важко виявити за допомогою динамічного тестування.
• Оцінка залежностей і невідповідностей у різних версіях програмного забезпечення, наприклад, таких як посилання.
• Покращення супроводжуваності коду та дизайну.
• Попередження дефектів завдяки досвіду, набутому на етапі розробки.

Щоб забезпечити успіх статичного тестування, більшість компаній прагнуть передавати QA на аутсорсинг оскільки знають, що незалежні постачальники послуг є експертами в галузі тестування програмного забезпечення. Знову ж таки, їхня робота коштує дешевше, ніж робота внутрішніх QA-відділів.

Типові дефекти, які можна знайти під час статичного аналізу

• Змінна-посилання, якій не було присвоєно значення.
• Незбалансовані інтерфейси між модулями та компонентами.
• Вразливості в системі безпеки.
• Змінні, які не використовуються або неправильно оголошені.
• Проблеми з виконанням деяких ділянок коду.
• Відхилення від стандартів програмування.
• Відсутня або помилкова логіка (наприклад, нескінченні цикли).
• Занадто складний дизайн.