Program nguji - prosés deteksi kasalahan dina produk software

Dina ngembangkeun software, bagian signifikan tina proses produksi ieu dumasar kana nguji software. Naon eta na kumaha aktivitas sapertos bakal ngabahas dina artikel ieu.

Naon anu disebut tés hiji?

Ieu nujul kana proses nu ku ngajalankeun software pikeun ngadeteksi lokasi operasi lepat kode teh. Kanggo hasil nu pangsaena, ngahaja diwangun set hésé data input. Tujuan utama inspeksi nya éta nyieun kasempetan pangalusna for gagal tina software. Sok sanaos nguji program dimekarkeun bisa disederhanakeun ka dipariksa rutin kapasitas digawé sarta nedunan fungsi. Ieu ngaheéat waktu, tapi geus mindeng dibarengan ku unreliability sofwer, dissatisfaction pamaké, jeung saterusna.

éféktivitas

Kumaha ogé tur gancang aya kasalahan, dampak signifikan dina ongkos jeung durasi ngembangkeun software kualitas diperlukeun. Ku kituna, sanajan kanyataan yén testers narima gaji sababaraha kali leuwih leutik batan pamekar, biaya jasa maranéhanana nyaéta biasana nepi ka 30 - 40% tina biaya sakabéh proyék. Ieu alatan jumlah tanaga, saprak milarian kasalahan teh - ieu mangrupa prosés mahiwal jeung rada hésé. Tapi sanajan software nu disalurkeun jumlah menak tina tés, teu aya 100% garansi yén kasalahan moal kajadian. Ngan teu nyaho lamun aranjeunna lumangsung. Pikeun ajak testers milih tipe tés anu leuwih gampang manggihan lepat, parabot motivasi béda anu dipaké: duanana moril atawa materil.

Pendekatan kana karya

optimum nyaeta nalika pikeun nerapkeun rupa mékanisme pikeun mastikeun yén kasalahan dina software geus moal geus ti mimiti. Jang ngalampahkeun ieu, anjeun kudu ngurus rarancang arsitéktur ditangtoskeun, istilah jelas tina rujukan, sarta hal anu penting teu nyieun pangaluyuan dina komunikasi, nalika gawé dina proyék nu geus dimimitian. Dina hal ieu, anu tester kana tugas nyungsi tur identifying sajumlah leutik kasalahan anu tetep dina hasil ahir. Ieu bakal ngahemat duanana waktu jeung duit.

Naon test teh?

Ieu mangrupa aspék penting tina kagiatan inspeksi nu perlu keur deteksi sukses defects kode teh. Aranjeunna perlu guna ngadalikeun aplikasi bener. Naon anu kaasup di test teh? Ieu ngawengku data sarta nilai awal maranéhna nu kudu diala salaku resultant (atawa panengah). Dina raraga hasil ngaidentipikasi masalah jeung inconsistencies, tés kudu sanggeus algoritma nu ieu maju, tapi teu ngamimitian program. Éta desirable ngagunakeun sababaraha deukeut kana estimasi data diperlukeun. Dina hal ieu, ngaronjatna kamungkinan detecting kasalahan sabab bisa nalungtik kodeu ti sudut pandang nu beda. tés kompleks kudu nyadiakeun verifikasi épék éksternal sahiji produk software rengse, kitu ogé algoritma karyana. Dipikaresep tinangtu sarta nyadiakeun kasus degenerate marginal. Ku kituna, dina praktek kasalahan bisa mindeng nembongkeun yen siklus nu ngoperasikeun di salah sahiji atawa leuwih kali kirang ti rencanana. Ogé penting nyaéta nguji komputer, ngaliwatan nu bisa pariksa yen hasil nu dipikahoyong dina mesin béda. Ieu diperlukeun guna pastikeun yén software bakal dianggo dina sagala komputer. Sajaba ti éta, test komputer, dina nu ngembangkeun éta bakal dilumangsungkeun, anu penting dina kreasi ngembangkeun multi platform.

Seni ngungkulan

Program mindeng Tujuan digawekeun ku susunan data badag. Éta perlu nyieun sagemblengna? No Nyebar kaala praktek "miniaturization" program. Dina hal ieu aya anu ngurangan lumrah tina volume data sakumaha dibandingkeun kalawan nu bisa dipaké. Hayu urang nempo conto: aya hiji program, anu nyiptakeun matrix tina ukuran 50x50. Istilah sanésna - anjeun kudu sacara manual asupkeun peunteun 2500. Éta pasti mungkin, tapi bakal nyandak waktu anu pohara lila. Tapi dina urutan pikeun nguji fungsionalitas nu, software nu narima matriks anu dimensi anu 5x5. Jang ngalampahkeun ieu, anjeun kudu ngasupkeun leuwih ti 25 nilai. Lamun, dina hal ieu, anu, operasi kasalahan-gratis normal, éta ngandung harti yén sagalana aya dina urutan. Sanajan aya pitfalls nu tempatna aya di kanyataan yén kalawan kaayaan miniaturization lumangsung, hasilna robah jadi implisit sarta ngaleungit samentara. Ieu oge jarang dipake, tapi tetep kajadian éta aya bug anyar.

tujuan neruskeun

Nguji teu hiji tugas gampang alatan kanyataan yén prosés ieu teu amenable mun formalization di entirety na. program badag ampir pernah boga patokan akurat perlu. Kituna, salaku guideline maké angka data langsung, anu kitu, teu bisa pinuh nembongkeun ciri jeung fungsi ngembangkeun software nu debugged. Leuwih ti éta, maranéhanana kudu dipilih ku kituna hasil bener diitung saméméh kumaha produk software bakal diuji. Mun anjeun teu maju, mangka pikabitaeun mertimbangkeun sadayana ngeunaan, jeung lamun hasil tina mesin meunang dina rentang ekspektasi, éta bakal dilakukeun kaputusan salah, éta sagalana geus bener.

Pariksa dina kaayaan béda

Sakumaha aturan, nguji program lumangsung dina jilid nu dipikabutuh pikeun pungsionalitas test minimum ka extent kawates. Kagiatan anu dilakukeun ku robah tina parameter, kitu ogé kaayaan kerja maranéhanana. Prosés nguji bisa dibagi kana tilu hambalan:

• Pariksa dina kaayaan normal. Dina hal ieu urang nguji pungsionalitas dasar tina software maju. hasilna kudu pakait jeung harepan.
• Pariksa dina kondisi ekstrim. Dina kasus ieu, jadi sinonim jeung data wates, anu bisa mangaruhan adversely kinerja ti software dijieun. Salaku conto, urang dianggo kalayan hiji nomer pisan ageung atanapi alit atanapi malah henteuna lengkep informasi narima.
• Mariksa dina situasi luar biasa. Eta ngalibatkeun data anu saluareun perlakuan. Dina kaayaan kitu, eta pisan goréng lamun software nu perceives aranjeunna salaku mangpaat pikeun itungan jeung mere hasil masuk akal. Kamanusaan sarta Studi kudu dicokot eta dina kasus sapertos aya hiji tampikan ti sagala data anu teu bisa diolah neuleu. Éta ogé perlu nyadiakeun keur informing pamaké ngeunaan eta

Nguji: Tipe

Jieun software tanpa kasalahan pisan hésé. Ieu merlukeun jumlah considerable waktu. Pikeun meunangkeun produk alus mindeng dipaké dua jenis nguji: "Alpha" jeung "Beta". Naon maranéhna? Nalika urang ngobrol ngeunaan nguji alfa, eta hartina resensi bisa dipigawé sorangan dina kaayaan pembangunan "laboratorium" kaayaan. Ieu tahap ahir nguji saméméh program nu bakal dibikeun ka tungtung Sunda. Ku alatan éta, pamekar nyobian ngahurungkeun sabudeureun maksimum dina. Pikeun betah operasi, data bisa asup nyieun kronologi masalah na leyuran maranéhanana. Dina uji béta ngartos supply software ka angka kawates pamaké, ambéh maranéhanana bisa mangpaatkeun program tur nangtukeun kasalahan anjeun geus lasut. A fitur husus dina hal ieu nyaéta kanyataan yén mindeng software henteu dipaké pikeun tujuan dimaksudkeun na. Kusabab gagal ieu bakal dicirikeun dimana aya nanaon saméméh ditempo. Ieu rada normal sarta salempang ngeunaan teu perlu.

test parantosan

Mun lengkah saméméhna geus hasil réngsé, éta tetep pikeun ngalaksanakeun tés ditampa. Anjeunna dina hal ieu janten formalitas mere. Salila test ieu asalna konfirmasi yen euweuh masalah tambahan geus kapanggih jeung software bisa dileupaskeun dina pasaran. Pangpentingna bakal hasil tungtung, beuki raket deui bakal diverifikasi. Kamanusaan sarta Studi kudu dilaksanakeun pikeun mastikeun yén sakabéh hambalan geus réngsé junun. Di handap ieu prosés nguji sakabéhna. Ayeuna hayu urang delve kana detil teknis na ngobrol ngeunaan alat mangpaat misalna, salaku program uji. Naon aranjeunna sarta lamun dipaké?

nguji komputer-dibantuan

Saméméhna ieu ngira yén analisis dinamis tina software dimekarkeun - éta pendekatan beurat teuing nu éféktif dipaké pikeun ngadeteksi defects. Tapi alatan ngaronjatna pajeulitna sarta volume program mucunghul pandangan sabalikna. nguji otomatis dipaké tempat nu prioritas pangpentingna nyaéta efisiensi sarta kaamanan. Jeung maranéhna kudu handapeun input nanaon. Salaku conto, dina program pikeun nu ieu luyu jeung nguji misalna, ngawengku handap: protokol jaringan, web server, sandboxing. Urang neruskeun kasampak di sababaraha sampel nu bisa dipaké pikeun kagiatan sapertos. Mun anjeun resep program nguji bébas, kualitas nu hese manggihan diantara aranjeunna. Tapi aya nu retak "bajakan" versi tina proyék well-ngadegkeun, jadi Anjeun bisa ningali ka jasa maranéhanana.

salju urug

alat ieu mantuan pikeun ngadeteksi defects anu diuji program dina modeu analisis dinamis. Eta ngumpulkeun data jeung nganalisa kinerja lagu dirancang obyék. tester dirumuskeun susunan inputs nu ngakibatkeun kasalahan atawa jalan gede teh set aya konstrain. Hatur nuhun ka uji alus tina algoritma dimekarkeun ku sajumlah badag kaayaan mungkin. program nu narima hiji set béda data input, nu ngidinan pikeun simulate angka nu gede ngarupakeun kaayaan sarta nyieun kondisi nu paling dipikaresep teh lumangsungna gagalna hiji. Hiji kaunggulan penting program nya éta ngagunakeun métrik heuristik. Mun aya masalah, mangka kasalahan aplikasi téh kacida dipikaresep. Tapi program ieu boga watesan kayaning ngan hiji dipariksa ditandaan stop kontak input atawa file. Lamun mawa kaluar hiji operasi kayaning program nguji bakal ngandung inpo wincik tentang masalah jeung pointer null, puteran wates, alamat lepat atanapi malfunctions alatan pamakéan perpustakaan. Tangtu, ieu teu daptar lengkep kasalahan kauninga tur conto maranéhanana ngan biasa. Koréksi deficiencies, Alas, gaduh pamekar - hartosna otomatis henteu cocog pikeun kaperluan ieu.

KLEE

Éta program alus keur nguji memori. Bisa intercept kira 50 sistem nelepon sarta angka nu gede ngarupakeun prosés maya sahingga dieksekusi dina paralel atawa papisah. Tapi sacara umum, program henteu pilari sababaraha tempat curiga, sarta prosés jumlah maksimum mungkin kode jeung nganalisa dipake jalur data. Kusabab ieu, program uji gumantung kana ukuran obyék. Lamun mariksa bet ieu disimpen dina prosés simbolis. Éta mangrupakeun salah sahiji cara mungkin mun ngalakukan tugas dina program anu diuji. Hatur nuhun kana operasi paralel nyaéta dimungkinkeun pikeun nganalisis angka nu gede ngarupakeun varian karya tina aplikasi test. Pikeun unggal jalur tina susunan data input disimpen sanggeus test na, nu dimimitian ku cek. Ieu kudu dicatet yén program nguji maké KLEE mantuan pikeun ngaidentipikasi angka nu gede ngarupakeun variasi, nu teu kudu. Bisa manggihan masalah malah di aplikasi nu dimekarkeun pikeun puluhan.