Методи контролю якості

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

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

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

Ефективність верифікації та валідації, як і ефективність розробки ПЗ в цілому, залежить від повноти й коректності формулювання вимог до програмного продукту

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

Методи контролю якості дозволяють переконатися, що визначені характеристики якості ПЗ досягнуті. Самі по собі вони не можуть допомогти їх досягненню, вони лише допомагають визначити, чи вдалося одержати в результаті те, що хотілося, чи ні, а також знайти помилки, дефекти та відхилення від вимог. Методи контролю якості ПЗ можна класифікувати у такий спосіб:

• Методи й техніки, пов'язані із з'ясуванням властивостей ПЗ під час його роботи.

Це, насамперед, всі види тестування, а також профілювання і вимір кількісних показників якості, які можна визначити за результатами роботи ПЗ - ефективності за часом і іншими ресурсами, надійності, доступності та ін.

• Методи й техніки визначення показників якості на основі симуляції роботи ПЗ за допомогою моделей різного роду.

До цього виду належать перевірка на моделях (model checking), а також прототипування (макетування), використовуване для оцінки якості прийнятих рішень

• Методи й техніки, націлені на виявлення порушень формалізованих правил побудови вихідного коду ПЗ, проектних моделей і документації.

До методів такого роду належить інспектування коду, що полягає в цілеспрямованому пошуку певних дефектів і порушень вимог у коді на основі набору шаблонів, автоматизовані методи пошуку помилок у коді, не засновані на його виконанні, методи перевірки документації на погодженість і відповідність стандартам

• Методи й техніки звичайного або формалізованого аналізу проектної документації й вихідного коду для виявлення їхніх властивостей.

До цієї групи ставляться численні методи аналізу архітектури ПЗ, про які піде мова далі, методи формального доказу властивостей ПЗ й формального аналізу ефективності застосовуваних алгоритмів

Методи забезпечення якості

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

Методи контролю якості дозволяють переконатися, що визначені характеристики якості ПЗ досягнуті. Самі по собі вони не можуть допомогти їх досягненню, вони лише допомагають визначити, чи вдалося одержати в результаті те, що хотілося, чи ні, а також знайти помилки, дефекти та відхилення від вимог. Методи контролю якості ПЗ можна класифікувати у такий спосіб:

• Методи й техніки, пов'язані із з'ясуванням властивостей ПЗ під час його роботи.

Це, насамперед, всі види тестування, а також профілювання і вимір кількісних показників якості, які можна визначити за результатами роботи ПЗ - ефективності за часом і іншими ресурсами, надійності, доступності та ін.

• Методи й техніки визначення показників якості на основі симуляції роботи ПЗ за допомогою моделей різного роду.

До цього виду належать перевірка на моделях (model checking), а також прототипування (макетування), використовуване для оцінки якості прийнятих рішень

• Методи й техніки, націлені на виявлення порушень формалізованих правил побудови вихідного коду ПЗ, проектних моделей і документації.

До методів такого роду належить інспектування коду, що полягає в цілеспрямованому пошуку певних дефектів і порушень вимог у коді на основі набору шаблонів, автоматизовані методи пошуку помилок у коді, не засновані на його виконанні, методи перевірки документації на погодженість і відповідність стандартам

• Методи й техніки звичайного або формалізованого аналізу проектної документації й вихідного коду для виявлення їхніх властивостей.

До цієї групи ставляться численні методи аналізу архітектури ПЗ, про які піде мова далі, методи формального доказу властивостей ПЗ й формального аналізу ефективності застосовуваних алгоритмів