рамі. На цьому етапі також можна виявити умовні оператори з надлишковими умовами.
. Аналіз інтерфейсу. Перевірка узгодженості різних частин програми, правильність оголошення процедур та їх використання. Даний етап є зайвим, якщо використовується мову зі строгим контролем типів.
. Аналіз потоків даних. Визначаються залежності між вхідними і вихідними змінними. Такий аналіз не дозволяє виявити конкретних помилок, він дає повний список значень, які у програмі. Отже, легко виявляється помилковий висновок даних.
. Аналіз гілок програми. На цьому етапі семантичного аналізу визначаються всі гілки програми і виділяються оператори, виконувані в кожній гілці. Такий аналіз допомагає розібратися в управлінні програмою і дозволяє проаналізувати кожну гілку окремо.
Слід зазначити, що аналіз потоку даних і аналіз гілок програми генерують величезну кількість інформації, яка не виявляє конкретних помилок, а представляє програму в різних аспектах. Через великий обсяг генерованої інформації ці етапи часто виключають з процесу аналізу і використовують тільки на ранніх стадіях для виявлення аномалій в розробляється програмі. Статичні аналізатори корисні в тих випадках, коли використовуються мови програмування, подібні С, так як в них немає строгого контролю типів, і тому перевірка, що здійснюється компілятором мови С, обмежена. У цьому випадку засобами статичної аналізу виявляється широкий спектр помилок, що особливо важливо при розробці критичних систем.
Аналіз за допомогою інструментальних засобів не може замінити інспектування, так як існують такі типи помилок, що не виявляються за допомогою статичного аналізу. Зокрема, аналізатори можуть виявити неоголошені змінні, але неправильне присвоєння вони виявити не зможуть. У підсумку статичний аналіз є найбільш ефективним при виявленні помилок у мовах, подібних С. ??
5. Метод «чиста кімната»
Software Engineering (методологія «чистої кімнати») - процес розробки програмного забезпечення, призначений для створення програмного забезпечення з сертіфіціруемие рівнем надійності. Основний принцип cleanroom полягає в тому, що попередження дефектів краще, ніж їх усунення. Назва Cleanroom («чиста кімната») взято з електронної промисловості - так називаються приміщення з високим ступенем захисту від забруднень, що дозволяють запобігти появі дефектів у процесі виробництва напівпровідників. Вперше процес був застосований в середині-кінці 80-х років.
Основні принципи методу.
· Розробка програмного забезпечення грунтується на формальних методах
· інкрементальних реалізації в рамках статистичного контролю якості
· Статистичне тестування
· Формальна верифікація
Найбільш важливі для замовника системні функції перевіряються найбільшу кількість разів. Метод «чистої кімнати» дозволяє виявити дефекти ще до виконання програми. Ці дефекти виправляються в процесі розробки ПЗ. Такий метод найбільш ефективний при розробці систем з найвищим рівнем надійності.
. Верифікація та атестація критичних систем
Верифікація та атестація систем, критичних щодо забезпечення безпеки, має багато спільного з тестуванням будь-яки...
