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

Кількість незалежних гілок у програмі можна визначити, обчисливши цикломатичне число графа потоків управління: C(G) = кількість дуг – кількість вузлів +2

Мінімальна кількість тестів для програми дорівнюєцикломатичного числа.

Для складних програм використовують динамічний аналізатор для побудови профілю.

49. Тестування об'єктно-орієнтованого ПЗ. Методи, які застосовуються до тестування.

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

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

Методи тестування, що застосовуються до о-про системи:

  • Тестування окремих методів. Можна використовувати методи чорного та білого ящиків.
  • Тестування окремих класів об'єктів. Методи тестування методом чорного та білого ящика, але з розширеними класами еквівалентності.
  • Тестування кластерів об'єктів. Методи, що ґрунтуються на сценаріях (прецедентах).
  • Тестування системи. Атестація та верифікація системи виконується тими самими методами, як в інших систем.

50. Тестування об'єктно-орієнтованого ПЗ. Впливвибраної мови програмування на тестування ПЗ.

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

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

Методи тестування про системи:

- Тестування з урахуванням внутрішньої структури ("white-box testing" - метод "білої скриньки")

- Тестування без урахування внутрішньої структури ("black-box testing" метод "чорної скриньки")

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

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