Ceská letecká servisní a. s. - Your integrator of the avionics

Praktické základy
Česká letecká servisní a. s.
Your integrator of the avionics
Česká letecká servisní a. s.
Česká letecká servisní a. s.
1/22
Praktické základy
Typy testů
Základní typy testů
Dynamické testy
Statické testy
Česká letecká servisní a. s.
2/22
Praktické základy
Dynamické testy
Základní typy dynamických testů
Black-box test techniques (jedná se o funkční testy).
White-box test techniques (jedná se o strukturální testy).
Error-guessing (hádání chyb – kombinuje znalosti z obou
předchozích technik).
Česká letecká servisní a. s.
3/22
Praktické základy
Dynamické testy
Dynamické testy a LC
Black-box
hhh
hh
hhhh
hhh
hhhh
hhh
hhh
hh
hhh
hhhh
h
hhhh
h
hhhh
hhhh
h
White-box
hh
-
Component Integration
test
test
System
test
Česká letecká servisní a. s.
Acceptance
test
4/22
Praktické základy
Dynamické testy
Podpora nástrojů
Pro realizaci testů je podpora nástrojů a automatizace testů
klíčová.
Důvodem je opakovatelnost testů a jednotnost testů napříč
projekty (lze dosáhnout vyšší level-of-confidance).
Pro testy typu white-box je nasazení nástrojů takřka nutností.
Česká letecká servisní a. s.
5/22
Praktické základy
Dynamické testy
Black-box techniky
Základem všech balck-box testů jsou požadavky.
Test-ceses lze konstruovat tak, aby bylo pokryto co největší
množství požadavků a pokrytí zohledňovalo prioritu požadavků.
Na základě výše uvedeného přístupu lze použít metriku pokrytí
(coverage):
coverage =
TestedRequirements
TotalNumberOfRequirements
Česká letecká servisní a. s.
6/22
Praktické základy
Dynamické testy
Black-box techniky
Pro Black-box testy je vhodné využít modely.
Modely umožňují "organizovat" informace a velmi často odhalí
problematické partie.
Na základě modelů můžeme tvořit vlastní test cases.
Česká letecká servisní a. s.
7/22
Praktické základy
Dynamické testy
Black-box techniky – Equivalence partitioning
Jedná se o jednu ze základních metod.
Při realizaci jsou vytvořeny ekvivalentní vzoreky vstupních dat,
které jsou použity jako vstupy pro testovaný systém a je
sledována odezva systému.
Kvalita testů závisí na kvalitě vzorků vstupních dat.
Česká letecká servisní a. s.
8/22
Praktické základy
Dynamické testy
Black-box techniky – Equivalence partitioning
Např. pro bankomat, ze kterého lze vybírat po 200 Kč od 200 Kč
do 600 Kč včetně, by ekvivalentní vzorky vstupních dat mohly
být:
méně než 200 Kč,
200 Kč až 400 Kč,
400 Kč až 600 Kč,
více jak 600 Kč.
Česká letecká servisní a. s.
9/22
Praktické základy
Dynamické testy
Black-box techniky – Boundary value analysis
Metoda testuje odezvu systému při práci s daty, které souvisí s
hraničními/mezními hodnotami.
Metoda se snaží identifikovat kritické vstupní nebo výstupní
body a testovat systém v podmínkách, které limitně dosahují
tyto body a to jak zleva tak i zprava.
Česká letecká servisní a. s.
10/22
Praktické základy
Dynamické testy
Black-box techniky – Boundary value analysis
Např. pro bankomat, ze kterého lze vybírat po 200 Kč od 200 Kč
do 600 Kč včetně, by byla zkoumána následující boundary
values:
200 Kč,
400 Kč,
600 Kč.
Česká letecká servisní a. s.
11/22
Praktické základy
Dynamické testy
Black-box techniky – Komparace
Equivalence partitioning a Boundary value analysis se velmi
často doplňují a je vhodné je kombinovat.
Česká letecká servisní a. s.
12/22
Praktické základy
Dynamické testy
Black-box techniky – State Transition Testing
Jedna ze základních technik. Pro nedostatek času uvedena
pouze slovní demonstrace.
Česká letecká servisní a. s.
13/22
Praktické základy
Dynamické testy
White-box techniky
Opět je klíčové myslet na to, že veškeré výstupy z testů lze
porovnávat pouze s požadavky.
White-box techniky se zaměřují na:a
statements,
decision points,
variables.
a
Základní přiblížení.
Česká letecká servisní a. s.
14/22
Praktické základy
Dynamické testy
White-box techniky
Pro nasazení white-box technik je nutné disponovat alespoň
základními metrikami, které umožní charakterizovat
návrh/zdrojový kód.
Např. McCabe cyclomatic index, decision coverage, statement
coverage.
Česká letecká servisní a. s.
15/22
Praktické základy
Statické testy
Základní techniky
Review,
Statická analýza.
Česká letecká servisní a. s.
16/22
Praktické základy
Statické testy
Review
Zpracuj vše co bylo napsáno. Obzvláště:
požadavky,
specifikace návrhu,
zdrojový kód,
plány testů,
dokumentaci.
Review je nutné provést co nejdříve po vzniku testovaných
materiálů.
V praxi jsou techniky spadající do této kategorie většinou
detailně rozpracovány a jsou výrazně pestřeji rozděleny.
Česká letecká servisní a. s.
17/22
Praktické základy
Statické testy
Statická analýza
Jedná se o analýzu programu bez vlastního zpuštění programu.
Česká letecká servisní a. s.
18/22
Praktické základy
Statické testy
Statická analýza
Velmi často se analýza zaměřuje na následující "základní"
problémy:
unreachable code,
type mismatch,
array bound violations,
compilers errors and warnings,
program complexity.
Uvedený seznam se může výrazně lišit dle použitého
programovacího jazyka.
Česká letecká servisní a. s.
19/22
Praktické základy
Statické testy
Statická analýza
Velmi často se analýza zaměřuje na následující "základní"
problémy:
% of source code changed,
unreachable code,
type mismatch,
array bound violations,
compilers errors and warnings,
program complexity.
Uvedený seznam se může výrazně lišit dle použitého
programovacího jazyka.
Česká letecká servisní a. s.
20/22
Praktické základy
Statické testy
Statická analýza
Je velmi výhodné provést graficku reprezentaci zdrojového
kódu např. pro:
control flow graph,
call trees,
sequences diagram,
class diagrams.
Česká letecká servisní a. s.
21/22
Praktické základy
Statické testy
Statická analýza
Nejčastěji používané metriky:
McCabe’s cyclomatic complexity,
lines of code,
fan-in and fan-out,
nesting levels.
Česká letecká servisní a. s.
22/22