1.1 БҚ сапасын бақылау түрлері
Зерттеулер нәтижесінде келесі тұжырымға келген: бағдарламадағы қателер мен сәйкестіксіздер не құрлым тез табылғанына байланысты, сол құрлым олар тез және арзаннырақ түзетіледі (сур.9.1).
Сурет 9.1. Зависимость вероятности правильного исправления (а) и его стоимости от этапа разработки (б)
Тестілеу- бағдарламанын орындалу процессі, бұл процестің мақсаты- қателерді анықтау
Тестілеудің үш кезеңі бар:
-автономды тестілеу
-комплексті тестілеу
-жүйелік тестілеу
1.2 БҚ қолымен бақылау
Қателерді қолымен бақылау бағдарламалаудың алғашқы қадамдарында пайданылады. Бұл бақылаудың бастапқы деректері болып техникалық тапсырыс талаптары тұрады.
Қолмен бақылау әдістері:
-Бастапқы кодты инспекциялау
-Көзбен шолу
-Қағаз жүзінде тексеру
-Бағдарламаны бағалау.
1.3 Құрылымдық бақылау
Құрылымдық бақылау деп «маршрут бойынша» тестілеуді айтуға болады, өйткені тест жинақтары алгоритм орындалу маршруттары бойынша жасалынады.
Мысал:
Procedure m (a, b:real; var x:real);
begin
if(a>l) and (b=0) then x:=x/a;
if(a=2) or (x>l) then x:=x+l;
end;
Сурет. 9.2. Схема алгоритма процедуры примера (а) и ее граф передач управления (б)
1.4 Функционалды бақылау
Функционалды бақылау кезінде тест жинақтарын келесі әдістермен жинайды:
-эквивалентті бөлшектеу
-шекаралық мәндерді талдау
-байланыстарды талдау
-қате болу мүмкіндіктерін талдау
1.5 Модульдерді тестілеу және комплексті тестілеу
Модульдерді тестілеу барысында сыртқы(нисходящий), ішкі(восходящий) әдістерін қолдануға мүмкін.
Ішкі(восходящий) әдісі: модульдер жеке-жеке тестіленіп, одан соң жинақталынып және тестіленеді, яғни әр кезде төменгі сатыдан жоғары шығамыз (сур.9.3)
а - автономное тестирование модулей нижнего уровня;
б - тестирование следующего уровня
Сурет. 9.3. Тестирование программного обеспечения при восходящем подходе:
Сыртқы (нисходящий) тестілеу: кезектегі модуль құрастырылып болғаннан соң оны бірден тестілеуге жібереді.
а - основного модуля; б- двух модулей
Сурет. 9.4. Тестілеудің алғашқы кезендері
Достарыңызбен бөлісу: |