- •Умова b – вираз виду a V c або a & c
- •Умова b – логічний вираз з простих умов, що об'єднані зв'язками (можливо зі скобками та запереченням)
- •Конструкція «Цикл».
- •Цикл «Поки», умова b – проста.
- •Цикл «Доти», умова b – проста.
- •Цикл «Для» - параметричний, з лічильником.
- •1.1.4 Приклад тестування програми обчислення ступеня числа з урахуванням вимог специфікації
- •Визначення специфікація програми
- •Визначення областей (класів) еквівалентності вхідних параметрів
- •Аналіз тестових випадків
- •Написання (модифікація) програми з урахуванням (введенням) тестових випадків
- •Виконання тестових випадків
- •Оцінка результатів виконання програми на тестах
- •Виправлення помилок
- •Завдання до лабораторного практикуму
- •Варіанти задач
М ІНІСТЕРСТВО ОСВІТИ І НАУКИ, МОЛОДІ ТА СПОРТУ УКРАЇНИ
НАЦІОНАЛЬНИЙ ТЕХНІЧНИЙ УНІВЕРСИТЕТ УКРАЇНИ
“КИЇВСЬКИЙ ПОЛІТЕХНІЧНИЙ ІНСТИТУТ”
Кафедра технічної кібернетики
“ЗАТВЕРДЖУЮ”
Декан ФІОТ О.А.Павлов
“ ” 2012 р.
МЕТОДИЧНІ ВКАЗІВКИ ДО ВИКОНАННЯ
ЛАБОРАТОРНОГО ПРАКТИКУМУ
КРЕДИТНОГО МОДУЛЯ
“ТЕСТУВАННЯ ТА ЗАБЕЗПЕЧЕННЯ ЯКОСТІ ПРОГРАМНИХ СИСТЕМ”
для напряму підготовки 6.050201 “Системна інженерія”
спеціальність 7.05020102 “Комп’ютеризовані та робототехнічні системи”
Методичні вказівки
рекомендовані кафедрою технічної кібернетики |
протокол № __ від “__”травня 2012 р. |
В.О. завідувача кафедри
М.М.Ткач |
Київ 2012
Лабораторний практикум № 1
Ціль роботи: Тестування елементарних базових конструкцій мов програмування
Теоретичні відомості
Для більшості мов програмування характерними є наступні елементарні базові конструкції:
1.1.1 Конструкція «Послідовність»
Мнемоопис: S1; S2; . . . Sn.
Таблиця покриття умов (Таблиця істинності): Один тест.
Приклади:
Введення (a,b);
a:=a+2;
c:=a/b;
Виведення (a,b,c);
Тест:
-
Вхідні дані
Результат
a=6, b=2
a=8, b=2, c=4
Конструкція «Розгалуження»
Умова B – проста, тобто логічна змінна або відношення
Мнемоопис:
Якщо B
То S1
Інакше S2
К Якщо;
Таблиця покриття умов (Таблиця істинності):
-
№
B
Зміст умови
1
false
Виконується S2
2
true
Виконується S1
Приклади:
Якщо a>2
То p:=1
Інакше p:=0
К Якщо;
Тест:
-
№
B
a>2
Вхідні дані
Результат
1
false
a=0
p=0
2
true
a=4
p=1
Умова b – вираз виду a V c або a & c
Мнемоопис:
Якщо B
То S1
Інакше S2
К Якщо;
Таблиця покриття умов (Таблиця істинності) для A V C:
-
№
A
C
A V C
Зміст умови
1
false
false
false
Область хибності B; виконується S2
2
false
true
true
Область істиності B; виконується S1
3
true
false
true
Область істиності B; виконується S1
4
true
true
true
Область істиності B; виконується S1
Таблиця покриття умов (Таблиця істинності) для A & C:
-
№
A
C
A & C
Зміст умови
1
false
false
false
Область хибності B; виконується S2
2
false
true
true
Область хибності B; виконується S2
3
true
false
true
Область хибності B; виконується S2
4
true
true
true
Область істиності B; виконується S1
Приклади для A & C:
Якщо ((a>2) & (a<10))
То {а знаходиться усередині інтервалу (2,10)} p:=1
Інакше {а знаходиться зовні интервалу} p:=0
К Якщо;
Тест:
-
№
A a>2
С a<10
A&C
Умови на дані
Вхідні дані
Результат
1
false
false
false
a<=2, a>=10
Неможливо
Немає
2
false
true
true
a<=2, a<10
a=1
p=0
3
true
false
true
a>2, a>=10
a=11
p=0
4
true
true
true
a>2, a<10
a=8
p=1
Умова b – логічний вираз з простих умов, що об'єднані зв'язками (можливо зі скобками та запереченням)
Мнемоопис:
Якщо B
То S1
Інакше S2
К Якщо;
Приклади:
A C E
Якщо ((l>0) (h=2) (l>3))
То p:=1
Інакше p:=0
К Якщо;
Таблиця покриття умов (Таблиця істинності):
Таблиця містить N = 2↑k рядків, де k – кількість простих умов. Для k = 3: N = 8.
Тест:
-
№
A
l>0
C
h=2
E
l>3
A C E
Умови, що накладені на дані (зміст тесту)
Вхідні дані
Результат
1
F
F
F
F
l<=0, h<>2, l<=3
l = -4, h=2.5
p=0
2
F
F
T
T
l<=0, h<>2, l>3
неможливо
немає
3
F
T
F
T
l<=0, h=2, l<=3
l = -4, h=2
p=1
4
F
T
T
T
l<=0, h=2, l>3
неможливо
немає
5
T
F
F
T
l>0, h<>2, l<=3
l=2, h=1
p=1
6
T
F
T
T
l>0, h<>2, l>3
l=4, h=1
p=1
7
T
T
F
T
l>0, h=2, l<=3
l=2, h=2
p=1
8
T
T
T
T
l>0, h=2, l>3
l=4, h=2
p=1