Методи пошуку помилок в програмах

Сентябрь 3, 2022

Главная
Алгебра
Методи пошуку помилок в програмах

Содержание

2. Поняття і визначення, пов'язані з процесом тестування Тестування – процес виконання програми з метою виявлення помилки.
3. Поняття і визначення, пов'язані з процесом тестування Хороший тестовий випадок – це випадок з великою вірогідністю
4. Поняття і визначення, пов'язані з процесом тестування Помилка – дія програміста на етапі розроблення, яка приводить
5. В процесі тестування програмного забезпечення перевіряють таке: програмне забезпечення відповідає вимогам; у ситуаціях, не відображених у
6. Тестування/ верифікація / валідація Верифікація (verification) забезпечує відповідність результатів конкретної фази процесу розроблення вимогам поточної і
7. Методи тестування
8. Методи "чорної скриньки" Всі матеріали, що доступні тестувальнику: вимоги до системи, що описують її поведінку; сама
9. Методи "чорної скриньки" Завдання тестувальника: перевірка відповідності поведінки системи вимогам; перевірка роботи системи в критичних ситуаціях.
10. Методи "білої (скляної) скриньки" тестувальник має доступ не тільки до вимог до системи, її входів і
11. Методи тестування при різних стратегіях
12. Методи пошуку помилок у програмах. Що шукаємо?
13. Типи програмних інцидентів Помилка (error) - стан програми, за якого видаються неправильні результати, причиною яких є
14. Типи програмних інцидентів Відмова (failure) - це відхилення програми від функціонування або неможливість програми виконувати функції,
15. Причини відмов: помилкова специфікація або пропущена вимога, яка означає, що специфікація точно не відображає того, що
16. Помилки на етапах процесу розроблення Джерела виникнення : ненавмисне відхилення розробників від робочих стандартів або планів
17. В процесі розроблення вимог Помилки аналітиків під час специфікації верхнього рівня системи і побудові концептуальної моделі
18. В процесі проектування. Можуть виникати при описі алгоритмів, логіки управління, структур даних, інтерфейсів, логіки моделювання потоків
19. Пов'язані з: некоректним завданням даних і їх структур при описі окремих компонентів і ПЗ загалом; некоректним
20. На етапі кодування. виникають помилки внаслідок дефектів проектування, помилок програмістів і менеджерів у процесі розроблення і
21. В процесі тестування. помилки допускаються програмістами і тестувальниками під час виконання технології складання і тестування, вибору
22. В процесі супроводу причиною помилок є недоліки і дефекти експлуатаційної документації, недостатні показники модифікованості і легкості
23. Класи помилок: логічні і функціональні помилки; помилки обчислень і часу виконання; помилки вводу/виводу і маніпулювання даними;
24. Боротьба з помилками вдосконалення організації процесу розроблення, тестування і супроводу ПЗ. Аналіз відмов і помилок для
25. Аналіз відмов і помилок зіставлення помилок людини, що допускаються на певному процесі розроблення, і дефектів в
26. Класифікація типів відмов: апаратний, при якому загальносистемне ПЗ непрацездатне; інформаційний, спричинений помилками у вхідних даних і
27. IBM: Ортогональна класифікація дефектів
28. IBM: вартість аналізу і формування вимог, внесення в них змін ≈ 10 %; вартість специфікації продукту
29. Hewlett-Packard: Процентне співвідношення помилок підчас розроблення ПЗ
30. Контрольні питання: Дайте визначення процесу тестування. Які методи тестування ви знаєте? У чому полягає статичне тестування?
32. Скачать презентацию

Слайд 2

Поняття і визначення, пов'язані з процесом тестування
Тестування – процес виконання програми

з метою виявлення помилки.
Тестові дані – входи, які використовуються для перевірки програми.
Тестовий випадок (test-case) - це набір умов і/або змінних, за допомогою яких тестувальник визначатиме, наскільки повно і правильно об'єкт тестування задовольняє вимоги до нього.

Слайд 3

Поняття і визначення, пов'язані з процесом тестування
Хороший тестовий випадок – це

випадок з великою вірогідністю виявлення поки що не виявленої помилки.
Вдалий тест – такий, що виявив поки що не виявлену помилку.

Слайд 4

Поняття і визначення, пов'язані з процесом тестування
Помилка – дія програміста на

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

Слайд 5

В процесі тестування програмного забезпечення перевіряють таке:
програмне забезпечення відповідає вимогам;
у ситуаціях,

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

Слайд 6

Тестування/ верифікація / валідація
Верифікація (verification) забезпечує відповідність результатів конкретної фази процесу

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

Слайд 7

Методи тестування

Слайд 8

Методи "чорної скриньки"
Всі матеріали, що доступні тестувальнику:
вимоги до системи, що

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

Слайд 9

Методи "чорної скриньки"
Завдання тестувальника:
перевірка відповідності поведінки системи вимогам;
перевірка роботи

системи в критичних ситуаціях.
Два типи проблем системи:
Невідповідність поведінки системи вимогам.
Неадекватна поведінка системи в ситуаціях, не передбачених вимогами.

Слайд 10

Методи "білої (скляної) скриньки"
тестувальник має доступ не тільки до вимог до

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

Слайд 11

Методи тестування при різних стратегіях

Слайд 12

Методи пошуку помилок у програмах. Що шукаємо?

Слайд 13

Типи програмних інцидентів
Помилка (error) - стан програми, за якого видаються неправильні

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

Слайд 14

Типи програмних інцидентів
Відмова (failure) - це відхилення програми від функціонування або

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

Слайд 15

Причини відмов:
помилкова специфікація або пропущена вимога, яка означає, що специфікація точно

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

Слайд 16

Помилки на етапах процесу розроблення
Джерела виникнення :
ненавмисне відхилення розробників від робочих

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

Слайд 17

В процесі розроблення вимог
Помилки аналітиків під час специфікації верхнього рівня системи

і побудові концептуальної моделі предметної області;
неадекватність специфікації вимог кінцевим користувачам;
некоректність специфікації взаємодії ПЗ з середовищем функціонування або з користувачами;
невідповідність вимог замовника окремим і загальним властивостям ПЗ;
некоректність опису функціональних характеристик;
…………….

Слайд 18

В процесі проектування.
Можуть виникати при описі алгоритмів, логіки управління, структур даних,

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

Слайд 19

Пов'язані з:
некоректним завданням даних і їх структур при описі окремих компонентів

і ПЗ загалом;
некоректним описом алгоритмів модулів;
визначенням умов виникнення можливих помилок в програмі;
порушенням прийнятих для проекту стандартів і технологій.

Слайд 20

На етапі кодування.
виникають помилки внаслідок дефектів проектування, помилок програмістів і менеджерів

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

Слайд 21

В процесі тестування.
помилки допускаються програмістами і тестувальниками під час виконання технології

складання і тестування, вибору тестових наборів і сценаріїв тестування та ін.

Слайд 22

В процесі супроводу
причиною помилок є недоліки і дефекти експлуатаційної документації, недостатні

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

Слайд 23

Класи помилок:
логічні і функціональні помилки;
помилки обчислень і часу виконання;
помилки вводу/виводу і

маніпулювання даними;
помилки інтерфейсів;
помилки об'єму даних;
………….

Слайд 24

Боротьба з помилками
вдосконалення організації процесу розроблення, тестування і супроводу ПЗ.
Аналіз відмов

і помилок для визначення методів і засобів тестування і виявлення помилок певних класів, а також критеріїв завершення тестування:
ідентифікація недоліків в технологіях проектування і програмування;
взаємозв'язок вад процесу проектування і помилок, які допускаються людиною;
класифікація відмов, недоліків і можливих помилок, а також дефектів на кожному етапі розроблення;

Слайд 25

Аналіз відмов і помилок
зіставлення помилок людини, що допускаються на певному процесі

розроблення, і дефектів в об'єкті як наслідків помилок специфікації проекту чи моделей програм;
перевірка і захист від помилок на всіх етапах ЖЦ, а також виявлення дефектів на кожному етапі розроблення;
зіставлення дефектів і відмов в ПЗ для розроблення системи взаємозв'язків і методики локалізації, збору і аналізу інформації про відмови і дефекти;
розроблення підходів до процесів документування і випробування ПЗ.

Слайд 26

Класифікація типів відмов:
апаратний, при якому загальносистемне ПЗ непрацездатне;
інформаційний, спричинений помилками у

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

Слайд 27

IBM: Ортогональна класифікація дефектів

Слайд 28

IBM:
вартість аналізу і формування вимог, внесення в них змін ≈ 10

%;
вартість специфікації продукту ≈ 10 %;
вартість кодування ≥ 20 %,
вартість тестування ≥ 45 % від його загальної вартості.

Слайд 29

Hewlett-Packard: Процентне співвідношення помилок підчас розроблення ПЗ

Слайд 30

Контрольні питання:
Дайте визначення процесу тестування.
Які методи тестування ви знаєте?
У чому полягає

статичне тестування?
Що таке програмна помилка?
Які помилки виникають у процесі формування вимог?
Які помилки виникають у процесі проектування?
Які помилки виникають у процесі кодування?
Які є джерела програмних помилок?
Який відсоток у загальних витратах становлять витрати на тестування?
Яку класифікацію помилок ви знаєте?

Методи пошуку помилок в програмах

Содержание

Поняття і визначення, пов'язані з процесом тестуванняТестування – процес виконання програми

Поняття і визначення, пов'язані з процесом тестуванняХороший тестовий випадок – це

Поняття і визначення, пов'язані з процесом тестуванняПомилка – дія програміста на

В процесі тестування програмного забезпечення перевіряють таке:програмне забезпечення відповідає вимогам;у ситуаціях,

Тестування/ верифікація / валідаціяВерифікація (verification) забезпечує відповідність результатів конкретної фази процесу

Методи тестування

Методи "чорної скриньки"Всі матеріали, що доступні тестувальнику: вимоги до системи, що

Методи "чорної скриньки"Завдання тестувальника: перевірка відповідності поведінки системи вимогам; перевірка роботи

Методи "білої (скляної) скриньки"тестувальник має доступ не тільки до вимог до

Методи тестування при різних стратегіях

Методи пошуку помилок у програмах. Що шукаємо?

Типи програмних інцидентівПомилка (error) - стан програми, за якого видаються неправильні

Типи програмних інцидентівВідмова (failure) - це відхилення програми від функціонування або

Причини відмов:помилкова специфікація або пропущена вимога, яка означає, що специфікація точно

Помилки на етапах процесу розробленняДжерела виникнення :ненавмисне відхилення розробників від робочих

В процесі розроблення вимогПомилки аналітиків під час специфікації верхнього рівня системи

В процесі проектування.Можуть виникати при описі алгоритмів, логіки управління, структур даних,

Пов'язані з:некоректним завданням даних і їх структур при описі окремих компонентів

На етапі кодування.виникають помилки внаслідок дефектів проектування, помилок програмістів і менеджерів

В процесі тестування.помилки допускаються програмістами і тестувальниками під час виконання технології

В процесі супроводупричиною помилок є недоліки і дефекти експлуатаційної документації, недостатні

Класи помилок:логічні і функціональні помилки;помилки обчислень і часу виконання;помилки вводу/виводу і

Боротьба з помилкамивдосконалення організації процесу розроблення, тестування і супроводу ПЗ.Аналіз відмов

Аналіз відмов і помилокзіставлення помилок людини, що допускаються на певному процесі

Класифікація типів відмов:апаратний, при якому загальносистемне ПЗ непрацездатне;інформаційний, спричинений помилками у