К ә с І би білім беру г. Н. Федорова бағдарламалық модульдерді біріктіруге қатысу

179 
мысалы, кіріс мәндері қате берілген кезде. Өте тамаша жағдайда апатты 
жағдайлардың барлық нұсқалары жүйеге арналған талаптарда 
сипатталуы керек және тестілеуші осы талаптардың нақты тексерілуін 
ойлап табуы керек. Алайда, шын мәнінде тестілеу нәтижесінде әдетте 
жүйенің екі түрлі проблемасы анықталады:
1) жүйенің талаптарға әрекет етуінің сәйкес болмауы; 
2) жүйенің талаптармен көзделмеген жағдайларда лайықсыз әрекет 
етуі. 
Бұл проблемалар түрлері туралы есептер құжатталады және 
әзірлеушілерге беріледі. Бұл ретте бірінші түрдегі проблемалар 
бағдарлама кодын өзгертеді, талаптардың өзгеруі тым сирек болады. Бұл 
жағдайда талаптарды өзгерту қарама-қайшылық (бірнеше түрлі 
талаптар осы жағдайда жүйенің әрекет етуінің түрлі модельдерін 
сипаттайды) немесе дұрыс болмауы (талаптар шынайылылыққа сәйкес 
келмейді) салдарынан керек болуы мүмкін.
Екінші проблемалардың түрлері олардың толық болмауына 
байланысты талаптардың өзгеруін талап етеді - талаптарда жүйенің 
лайықсыз әрекет етуіне әкелетін жағдайлар анық кетіп қалған. Бұл 
әрекетті лайықсыз әрекеті деп жүйенің толығымен құруы сияқты, 
талаптарда сипатталмаған кез келген әрекеті түсіндірілуі мүмкін.
«Қара жәшік» принципі бойынша тестілеу әдістері қамтамасыз 
етеді:
■ 
эквивалентті бөлу; 
■ 
шектік мәндерін талдау; 
■ 
реверсивтік талдаумен қосылғанда тестіленетін бағдарламаның 
жұмыс істеуі туралы жеткілікті түрде толық ақпарат беретін 
функционалдық диаграммаларды қолдану.
Эквивалентті бөлу бағдарлама деректерінің кіру ортасында 
эквиваленттіліктің класс сандарына бөлуде болады, мұнда әрбір тест 
кейбір кластың өкілі бола отырып, басқа кластың кез келген тестіне 
эквивалент бола алады.
Эвиваленттілік кластары кіріс шарттары мен бөлуді іріктеу арқылы 
екі немесе одан көп топтарға бөлінеді. Бұл ретте эквиваленттіліктің екі 
класс типтерін ажыратады: бағдарлама үшін кіріс деректерін беретін 
дұрыс және қате кіріс мәндерін беруге негізделген дұрыс емес. 
Эквивалентті бөлу әдісімен тестілерді әзірлеу екі сатыда жүзеге 
асырылады: эквиваленттілік кластарын бөлу және тестілерді құру. Кіріс 
деректерін таңдауға негізделген тестілерде құру кезінде бағдарламалық 
символикалық түрде орындалуы жүргізіледі.
Осылайша, «қара жәшік» принципі бойынша тестілеу әдістері 
бағдарламада әзірленген функцияларды тестілеу үшін қолданылады. 

180 
Бұл үшін функцияның нақты әрекеті мен талаптардың сипаттамасын 
есепке ала отырып, күтілетін әрекеттерінің арасындағы сәйкессіздік 
тексеріледі. Бұл тестілеуге дайындалу барысында шарттардың 
кестелері, себеп-салдар бағандары мен бөлу аясы құрылады. Сонымен 
қатар, функцияның әрекет етуіне ықпал ететін ортаның параметрлері 
мен жағдайларын есепке алатын тестілік жинақтар даярланады.

жүктеу/скачать 4,31 Mb.

Достарыңызбен бөлісу: