Тестілеу бағдарламаларын - бағдарламалық жасақтама өнімінде қате анықтау процесі

бағдарламалық қамтамасыз етуді әзірлеу жылы өндірістік процестің маңызды бөлігі бағдарламалық қамтамасыз тестілеу негізінде жүзеге асырылады. Бұл не және қалай осындай қызметi осы мақалада талқылаймыз табылады.

сынақ қандай деп аталады?

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

тиімділігі

қателер, бағдарламалық қамтамасыз етуді әзірлеу қажет сапасы құны мен ұзақтығы айтарлықтай әсері қаншалықты жақсы және тез болып табылады. бүкіл жобаның құнының 40% - Сондықтан, тестерлері әзірлеушілер бірнеше есе аз жалақы алады болғанына қарамастан, олардың қызметтерінің құны 30 дейін, әдетте, болып табылады. Бұл қате үшін іздеу, өйткені қызметкерлер санына байланысты - бұл ерекше және өте қиын процесс болып табылады. бағдарламалық қамтамасыз ету сынақтардың беделді бірқатар өтті, тіпті егер Бірақ, қате орын болмайтынына 100% кепілдік жоқ. олар пайда болған кезде ғана білмеймін. мін табу үшін, ең алдымен, сынақтардың түрлерін таңдауға тестілеушілер ынталандыру үшін, әр түрлі ынталандыру құралдары пайдаланылады: моральдық және материалдық екі.

жұмысқа көзқарас

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

сынақ не?

Осы Кодекстің ақауларды табысты анықтау үшін қажет инспекциялық қызметінің маңызды аспектісі болып табылады. Олар дұрыс қолдану бақылау үшін қажет болып табылады. тест не кіреді? Ол деректер және нәтижесі (немесе аралық) ретінде алынуы тиіс, олардың бастапқы мәндері тұрады. табысты проблемалары мен сәйкессіздіктерді анықтау мақсатында, сынақтар алгоритм әзірленді кейін болуы тиіс, бірақ бағдарламалау бастау жоқ. Ол қажетті деректерді бағалау үшін бірнеше тәсілдерді қолдану жөн. Егер сіз түрлі тұрғысынан код тексеруге болады, өйткені бұл жағдайда, қате анықтау ықтималдығын арттыру. Кешенді тест сыртқы дайын бағдарламалық өнімдерді әсерінен, сондай-ақ оның жұмыс алгоритмдерін тексеру қамтамасыз ету керек. Атап қызығушылық және маргиналдық азғындалған жағдайлары қамтамасыз етеді. Осылайша, қателер тәжірибеде жиі цикл бір немесе одан да көп рет жоспарланған кем жұмыс істейді деп анықтауға болады. Сондай-ақ, маңызды сіз түрлі машиналарда қалаған нәтижеге тексеруге болады, ол арқылы компьютерлік тестілеу болып табылады. Бұл көз бағдарламалық қамтамасыз барлық компьютерлерде жұмыс істейтін болады деп жасау үшін қажет. Сонымен қатар, дамыту жүзеге асырылатын болады, ол бойынша компьютерлік тестілеу, көп платформа даму құру маңызды.

ақаулықтарды жою Өнер

Бағдарламалар жиі үлкен деректер жиындарымен жұмыс істеуге бағытталған. ол толығымен құру қажет пе? Жоқ Кең таралған бағдарламасы «миниатюризациялау» тәжірибесін сатып алды. Бұл жағдайда деректер көлемінің ақылға қонымды азайту пайдаланылуы тиіс деп салыстырғанда бар. Мысал қарастырайық: мөлшері 50x50 матрицасын жасайды бағдарлама бар. Басқаша айтқанда - сіз 2500 мәндерін қолмен енгізу керек. Бұл, әрине, мүмкін, бірақ ол өте ұзақ уақыт алады. Бірақ функционалдық тексеру үшін, бағдарламалық қамтамасыз ету, оның өлшемі 5x5 болып матрицасын алады. Бұл әрекетті орындау үшін, сіз 25-тен астам мәндерін енгізу үшін қажет. Егер бұл жағдайда, қалыпты, қате-тегін операция, ол бәрі тәртіппен екенін білдіреді. миниатюризации жағдай орын бар, өзгерту нәтижесінде жоғалып уақытша ұғындыратын және болып фактісі жатыр суасты тастары бар болса. Ол сондай-ақ өте сирек, бірақ әлі күнге дейін жаңа сұрау бар екенін жүреді.

көздедік міндеттері

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

түрлі жағдайларында тексеру

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

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

Тестілеу: түрлері

қате жоқ бағдарламалық қамтамасыз етуді жасау өте қиын. Бұл уақыт айтарлықтай көлемін талап етеді. «Альфа» және «Бета»: жақсы өнім алу үшін жиі тестілеудің екі түрі де қолданылады. Олар қандай? адам Alpha тестілеу туралы әңгіме болғанда, ол даму «зертхана» жағдайында мемлекет өзін жүргізіледі шолу білдіреді. Бағдарлама-пайдаланушыларға берілетін болады алдында осы тестілеудің соңғы кезеңі болып табылады. Сондықтан, әзірлеушілер максимум айналасында бұрылу тырысады. пайдалануға ыңғайлы болу үшін, деректер проблемаларды және оларды шешу хронологиясы жасауға теңдестіруден болады. олар бағдарламасын пайдалануға және сіз қабылданбаған болатынмын қателерді анықтауға болады, сондықтан, пайдаланушылар шектеулі санына бағдарламалық қамтамасыз жеткізу түсіну бета сыналатын. Бұл жағдайда ерекшелігі жиі бағдарламалық қамтамасыз ету, оның мақсаты бойынша пайдаланылады емес, факт болып табылады. Себебі осы істен бұрын көрмеген ештеңе болған жоқ, онда анықталатын болады. Бұл әбден қалыпты болып табылады және ол туралы алаңдатты қажеті жоқ.

тест тапсырғаны

алдыңғы қадамдар сәтті аяқталды болса, онда ол қабылдау сынақтарын жүргізу қалады. Ол осы жағдайда ғана формальды айналады. Бұл тест кезінде ешқандай қосымша проблемалар анықталды және бағдарламалық қамтамасыз ету нарығында босатылуы мүмкін екенін растау келеді. ең маңызды түпкі нәтижесі, неғұрлым тығыз ол куәландырылады болады. Күтім барлық қадамдар сәтті аяқталды деп қамтамасыз ету үшін қабылдануы тиіс. Мұнда сондай-ақ жалпы тестілеу процесі болып табылады. Енді техникалық егжей-Қопа және сынақ бағдарламалары сияқты пайдалы құралы туралы әңгімелестік. пайдаланылған кезде не олар мен?

автоматтандырылған тестілеу

ол тиімді ақауларды анықтау үшін пайдаланылады деп тым ауыр тәсіл - Бұрын ол дамыған бағдарламалық қамтамасыз динамикалық талдау деп ойлаған болатын. Бірақ байланысты бағдарламаларды арттыру күрделілігі мен көлемі қарама-қарсы пікірді пайда болды. ең маңызды басымдықтары тиімділігі мен қауіпсіздігі қайда автоматтандырылған тестілеу пайдаланылады. Және олар кез келген кіріс астында болуы тиіс. желілік протоколдар, веб-сервер, песочницы: Мысал ретінде, ол осындай тестілеу тиісті болып табылатын бағдарламалар, төмендегілерді қамтиды. Біз осындай қызметті жүзеге асыру үшін пайдалануға болады, бірнеше үлгілерін, қарауға жалғастыруда. Егер сіз тегін тестілеу бағдарламаларына қызығушылық болса, сапасы олардың арасында табу қиын. Бірақ сондай-ақ белгіленген жобалардың жарылған «пираттық» нұсқалары болып табылады, сондықтан сіз өз қызметтерін сілтеме болады.

көшкін

Бұл құрал ақаулар динамикалық талдау режимінде бағдарламаларды тексеріледі анықтауға көмектеседі. Ол деректерді жинайды және трек арналған объектінің өнімділігін талдау. сынақшы қатені тудыруы немесе шектеулер бар жиынын айналып кіріс жиынтығын беріледі. ықтимал жағдайлардың көптеген дамыған алгоритм жақсы тест арқасында. Бағдарлама жағдайларда үлкен санын модельдеуге және, ең алдымен, жеткіліксіздігі пайда болатын жағдай жасауға мүмкіндік береді кіру деректеріне, түрлі жиынтығын алады. Бағдарламаның маңызды артықшылығы эвристикалық метрика пайдалану болып табылады. мәселе бар болса, онда өтініш қате жоғары ықтимал. Бірақ бұл бағдарлама осындай бір ғана тексеру шектеулер енгізу розетканы немесе файлды белгіленген бар. мұндай тестілеу бағдарламалары сияқты әрекетті жүзеге асыру кезінде нөлдік көрсеткіш проблемалар, шексіз ілмектер, дұрыс мекен-жайы немесе кітапханалардың пайдаланумен байланысты ақаулары туралы егжей-тегжейлі ақпаратты қамтитын болады. Әрине, бұл анықталған қателер мен олардың тек ортақ мысалдар толық тізімі емес. кемшіліктерді түзету, өкінішке орай, әзірлеушілерге ие - автоматтандырылған құралы осы мақсаттар үшін жарамды емес.

Klee

Ол тестілеу еске үшін жақсы бағдарлама. Ол шамамен 50 жүйелік қоңыраулар және, осылайша, жеке параллель немесе орындалған виртуалды процестердің үлкен санын ұстап алады. Бірақ жалпы, бағдарлама кейбір күдікті жерлерде іздейді емес, ал код барынша мүмкін көлемін өңдейді және пайдаланылған деректер жолдарын талдау. Осыған байланысты, сынақ бағдарламасы объектінің көлеміне байланысты. Рейтингтi көрсету Жалакидi тексеру кезінде символикалық процестерді орналастырылған. Олар сынақтан бағдарламаны тапсырмаларды орындау үшін ықтимал жолдарының бірі болып табылады. қатарлас жұмыс арқасында сынақ қолдану жұмыс нұсқаларын үлкен санын талдауға болады. Кіріс деректер жиындарда әрбір жолдары үшін тексеру басталды, оның тест, кейін сақталады. Ол Klee пайдаланып тестілеу бағдарламалары болмауы тиіс вариация үлкен санын, анықтауға көмектеседі атап өткен жөн. Ол тіпті ондаған жылдар бойы әзірленді қосымшаларда мәселелерді таба аласыз.