
- •Тестування програмних систем і комплексів
- •ПЛАН
- •Оцінка протестованості
- •Метрика протестованості додатка
- •Моделі для оцінки протестованості
- •Задача
- •Програмний код
- •Критерій шляхів для набору трас графа G
- •Ієрархічна модель КГП компонента G
- •Набір трас ієрархічної моделі КГП, необхідних для покриття КГП компонентів G1 й G2
- •Оцінка ступеня протестованості плоскої моделі
- •Інтегральна оцінка протестованості
- •Методика інтегральної оцінки протестованості

Тестування програмних систем і комплексів
Лекція 4 Оцінка Покриття
Програми й Проекту

ПЛАН
1 Оцінка опротестованості програмного продукту
2 Методика інтегральної оцінки протестованості

Оцінка протестованості
•Тест є ненадлишковим, якщо існує покритий їм компонент не покритий жодним з попередніх тестів.
•V (P, C) - складність тестування за критерієм С - виміряється максимальним числом ненадлишкових тестів, що покривають всі елементи множини M (P, C)
•DV (P, C, Т) - залишкова складність тестування за критерієм С - виміряється максимальним числом ненадлишкових тестів, що покривають елементи множини M (P, C), що залишилися непокритими, після прогону набору тестів Т.
•TV (P, C, Т) = (V - DV) / V - оцінка ступеня тестованості Р за критерієм С.

Метрика протестованості додатка

Моделі для оцінки протестованості
•Плоска модель КГП компонента
•Ієрархічна модель КГП компонента

Задача
•Знайти значення параметра А, в залежності від Х, що може приймати лише три значення – 1, 2 або 3. у випадку, коли А знайти не можливо, прирівняти параметр -1.

Програмний код
#include <stdio.h> |
} break; |
#include <math.h> |
case 2: { |
#include <conio.h> |
puts ("input i"); |
#include <stdlib.h > |
scanf ("%i", &i); |
void main() { |
if (i<0) A = y*i*i; |
int X; |
else |
int b, y,i; |
if (i>0) A = i*sqrt(i); |
float A; |
else |
puts ("input X"); |
A = i; |
scanf ("%i", &X); |
} break; |
puts ("input y"); |
case 3: |
scanf ("%i", &y); |
if (X*y*y - y>0) |
switch (X) { |
A = sqrt(X*y*y - y); |
case 1: { |
else |
puts ("input b"); |
A = -1; |
scanf ("%i", &b); |
}break; |
if (X*y*y - b*X > 0) |
} |
A = b*y - (2*X*X - 4) / (X*y*y - b*x); |
printf ("A = %f\n", A); |
else |
getch (); |
A = -1; |
} |


Критерій шляхів для набору трас графа G
•P1(G) = 1-2-3-4-5-6-7-10;
•P2(G) = 1-2-3-4-6-7-10;
•P3(G) = 1-2-11-16-18-14-15-7-10;
•P4(G) = 1-2-11-16-17-14-15-7-10;
•P5(G) = 1-2-11-16-12-13-14-15-7-10;
•P6(G) = 1-2-19-20-23-22-7-10;
•P7(G) = 1-2-19-20-21-22-7-10;

Ієрархічна модель КГП компонента G
•P1(G) = 1-2-3-4-5-6-7-10;
•P2(G) = 1-2-3-4-6-7-10;
•P3(G) = 1-2-8-7-10;
•P4(G) = 1-2-9-7-10