Testing shirye-shirye - kuskure ganewa tsari a cikin software samfurin

A software ci gaba, wani gagarumin ɓangare na samar da tsari dogara ne a kan software gwaji. Mene ne shi da kuma yadda yake irin wannan aiki zai tattauna a wannan talifin.

Abin da aka kira wani gwajin?

Wannan yana nufin tsari ta guje da software don gane da wurare na ba daidai ba aiki na code. Don kyakkyawan sakamako, da gangan gina wuya sa na shigar da bayanai. Babban manufar da dubawa ne don ƙirƙirar mafi kyau dama ga gazawar da software. Ko da yake wani lokacin gwajin ɓullo da shirin za a iya Sauki zuwa yau da kullum rajistan shiga na aiki iya aiki da kuma tsayar da ayyuka. Wannan kubutar da lokaci, amma da aka sau da yawa tare da unreliability na software, mai amfani da rashin biyan bukata, da sauransu.

tasiri

Ta yaya da kyau da kuma sauri ne kurakurai, wani gagarumin tasiri a kan kudin da tsawon software ci gaban da ake bukata quality. Saboda haka, duk da cewa testers sami albashi sau da yawa karami fiye da Developers, kudin da sabis ne yawanci up to 30 - 40% na kudin da dukan aikin. Wannan shi ne saboda da yawan ma'aikata, tun da search for da kuskure - wannan shi ne wani sabon abu da kuma quite wuya tsari. Amma ko da idan software da aka wuce wani mutum nagari yawan gwaje-gwaje, babu wani 100% tabbacin cewa kuskure ba zai faru. Kamar ba su san lokacin da suke faruwa. Don karfafa testers a zabi iri gwaje-gwaje da cewa su ne mafi kusantar su sami laifi, daban-daban dalili kayan aikin aka yi amfani: duka biyu da halin kirki da kuma kayan.

Tsarin kula da aikin

A ganiya ne a lokacin da ya yi daban-daban hanyoyin tabbatar da cewa kurakurai a cikin software bai kasance daga farkon. Don yin wannan, dole ne ka kula da ta dace gine zane, bayyananne sharuddan tunani, da kuma shi ne mai muhimmanci ba don sabawa a sadarwar, idan aiki a kan aikin ya riga ya fara. A wannan yanayin, da magwajin ga aiki na gano da kuma gano wani karamin yawan kurakurai da suka ragu a karshe sakamakon. Wannan zai ceci lokaci da kuma kudi.

Mene ne gwajin?

Wannan shi ne wani muhimmin bangare na dubawa ayyuka, wanda wajibi ne ga nasara ganewa na lahani na code. Su zama dole domin sarrafa daidai aikace-aikace. Abin da aka kunshe a cikin gwajin? Ya kunshi bayanan da su sa hannu dabi'u da ya kamata a samu a matsayin resultant (ko tsaka-tsaki). Domin samu nasarar gano matsalolin da inconsistencies, gwaje-gwaje ya zama bayan da algorithm da aka ɓullo da, amma bai fara shirye-shirye. Yana da kyawawa don amfani da dama hanyoyin kimantawa da ake bukata data. A wannan yanayin, da kara yiwuwar ganowa wani kuskure saboda ba za ka iya bincika code daga wani daban-daban hangen zaman gaba. Complex gwaje-gwaje dole ne samar da tabbaci na waje effects na ƙãre software kayayyakin, kazalika da aikinsa lissafi mai tsauri. Na musamman sha'awa da kuma samar da m degenerate lokuta. Saboda haka, a cikin yi da kurakurai iya sau da yawa ya nuna cewa da sake zagayowar aiki a daya ko fiye sau kasa da shirya. Har ila yau muhimmanci ne kwamfuta gwaji, ta hanyar abin da za ka iya tabbatar da cewa da ake so sakamakon on daban-daban inji. Wannan shi ne zama dole domin tabbatar da cewa software zai yi aiki a kan duk kwakwalwa. Bugu da kari, cikin kwamfuta gwajin, a kan abin da ci gaba zai iya za'ayi, shi ne muhimmanci a cikin halittar Multi-dandali ci gaba.

gyara matsala Arts

Shirye-shiryen sau da yawa, shine su yi aiki tare da babbar data sets. Shin da shi wajibi ne don haifar da gaba daya? No. Tartsatsi samu da al'adar "miniaturization" da shirin. A wannan yanayin akwai wani m rage data girma kamar yadda idan aka kwatanta da cewa za a yi amfani da. Bari mu dubi wani misali: akwai wani shirin, wanda Halicci matrix na size 50x50. A wasu kalmomi - dole ne ka da hannu shigar da 2500 dabi'u. Yana da lalle zai yiwu, amma zai dauki lokaci mai tsawo muna. Amma domin ya gwada da ayyuka, da software sami wani matrix wanda girma ne 5x5. Don yin wannan, kana bukatar ka shiga fiye da 25 dabi'u. Idan, a wannan yanayin, wata al'ada, kuskure-free aiki, wannan yana nufin cewa duk abin da yake a cikin tsari. Ko da yake akwai matsaloli, wajen gudanar da karya a gaskiyar cewa da miniaturization halin da ake ciki na faruwa, sakamakon canji zama a fakaice, kuma dan lokaci bace. Shi ne ma sosai rare, amma har yanzu ya faru shi ne cewa akwai sabon kwari.

manufofin biyã

Gwaji ne ba aiki mai sauki saboda a gaskiya wannan tsari ba amenable ga formalization a gaba ɗayansa. Manyan shirye-shirye kusan ba da zama dole m nasa tarihin. Saboda haka, kamar yadda wata qa'ida ta amfani da dama kai tsaye ba data, wanda, duk da haka, ba zai iya cikakken daidai da halaye da ayyuka na software ci gaba da cewa debugged. Haka kuma, su ya kamata a zaba don haka da cewa daidai sakamakon lasafta kafin yadda da software samfurin za a gwada. Idan ba ka ci gaba, shi ne riya to la'akari duk game, da kuma idan sakamakon da na'ura samun a da ana tsammanin range, shi za a yi wani kuskure yanke shawara, cewa duk abin da yake daidai.

Duba karkashin yanayi daban-daban

Kamar yadda mai mulkin, shirin gwaji yakan faru a cikin kundin da suke bukata domin m gwajin aiki na kuncin. Ayyukan gudanar da canji na sigogi, kazalika da aiki yanayin. A gwaji tsari za a iya raba uku, saukarwa:

• Duba karkashin al'ada yanayi. A wannan yanayin da muke gwada asali ayyuka na raya software. A sakamakon dole ne dace da sa ran.
• Duba a matsananci yanayi. A cikin wadannan lokuta, kamar yadda synonymous tare da iyaka data, wanda zai iya adversely shafi wasan kwaikwayon na halitta software. A matsayin misali, mu yi aiki tare da wani musamman manyan ko kananan lambobi ko cikakken rashi na bayanai samu.
• Dubawa a kwarai yanayi. Yana da ya shafi yin amfani da data cewa ne bayan da magani. A irin wannan yanayi, shi ne da mummunar lokacin da software tsinkayen su a matsayin amfani da lissafi da kuma bada plausible sakamakon. Kula dole ne a dauki cewa a irin haka akwai wani watsi da duk wani data cewa ba za a iya sarrafa daidai. Shi ne kuma dole don samar domin sanar da mai amfani game da shi

Testing: Nau'in

Ƙirƙiri software ba tare da kuskure yana da wuya. Wannan na bukatar wani babba adadin lokaci. Don samun mai kyau samfurin da aka sau da yawa amfani iri biyu gwaji: "Alpha" da "Beta". Abin da suke? Lokacin da mutane magana game da alpha gwaji, yana nufin da nazari da za a gudanar da kansa a jihar na ci gaba "dakin gwaje-gwaje" yanayi. Wannan shi ne na karshe mataki na gwaji kafin shirin za a canjawa wuri zuwa karshen-da masu amfani. Saboda haka, developers na kokarin juya matsakaicin. Domin sauƙi daga aiki, data za a iya shigad da su haifar da Chronology na matsaloli da kuma su mafita. A karkashin beta gwajin to fahimta da wadata da software don iyaka yawan masu amfani, domin su iya amfani da shirin da kuma gano kura-kuran da ka rasa. A musamman alama a wannan harka shi ne gaskiya cewa sau da yawa da software ba a amfani da wa manufar da aka nufa. Saboda wannan gazawa za a iya gano inda akwai kome ba kafin gani. Wannan shi ne quite al'ada da kuma damuwa game da shi ba lallai ba ne.

gwajin Gamawa

Idan baya matakai da aka samu nasarar kammala, za ta zauna a gudanar da yarda gwaje-gwaje. Ya a cikin wannan harka ta zama mere ƙa'ida. A wannan gwajin zo tabbaci cewa babu wani ƙarin matsalolin da aka samu da kuma software za a iya saki a kasuwa. A mafi muhimmanci zai zama karshen sakamakon haka, mafi hankali da shi za a iya tabbatar. Kula ya kamata a dauka don tabbatar da cewa duk matakai da aka kammala cikin nasara. A nan ne gwaji tsari a matsayin dukan. Yanzu bari shiga cikin da fasaha da cikakken bayani kuma magana game da irin wannan kayan aiki mai amfani, kamar yadda gwajin shirye-shirye. Abin da suka kasance da kuma lokacin da amfani?

kwamfuta-taimaka gwaji

A baya can an yi tunanin cewa tsauri bincike na ci gaba da software - shi ne ma nauyi m da yadda ya kamata amfani da su gane lahani. Amma saboda da kara mawuyaci da girma daga cikin shirye-shirye bayyana gaban view. Sarrafa kansa gwaji da aka yi amfani da inda ya fi muhimmanci manyan al'amurra ne ya dace da kuma aminci. Kuma ya kamata su zama a karkashin wani labari. A matsayin misali, da shirye-shirye wanda shi ne ya dace a wannan gwaji, hada da wadannan: cibiyar sadarwa ladabi, da sabar yanar gizo, sandboxing. Mun ci gaba da duba 'yan samfurori, wanda za a iya amfani da irin wannan ayyuka. Idan kana sha'awar free gwaji shirye-shirye, da ingancin da wuya a sami cikinsu. Amma akwai fashe "pirated" versions na da kyau-kafa ayyukan, don haka ba za ka iya mai da su sabis.

ambaliyar ruwa

Wannan kayan aiki taimaka wajen gane lahani ake gwada shirye-shirye a cikin tsauri bincike yanayin. Da ya tattara bayanai da kuma na nazarin wasan kwaikwayon na lura da tsara abu. A magwajin aka bai da wani sa na bayanai da sa kuskure ko kewaye da data kasance sa na saka. Godiya ga mai kyau gwajin daga cikin algorithm ci gaba da wani babban yawan yiwu yanayi. A shirin sami wani daban-daban sa na shigar da bayanai, wanda damar canzawa babban adadin yanayi da kuma haifar da yanayi a wadda ta fi yiwuwa ne abin da ya faru na rashin gazawar. An muhimmin amfani na shirin ne da yin amfani da heuristic awo. Idan akwai wani matsala, sa'an nan da aikace-aikace kuskure ne sosai m. Amma wannan shirin yana da gazawar kamar daya kawai rajistan shiga alama labari soket ko fayil. Lokacin dauke da fitar da wani aiki kamar gwaji shirye-shirye zai dauke da cikakken bayani game da matsalolin da null akan, iyaka madaukai, ba daidai ba adireshin ko malfunctions saboda da yin amfani da] akunan karatu. Hakika, wannan ba wani cikakken jerin gano kurakurai da su kawai kowa misalai. Gyara ƙarara, alas, da developers - sarrafa kansa wajen ba su dace da wadannan dalilai.

KLEE

Shi ne mai kyau shirin don gwajin memory. Yana iya sakonnin kamar 50 tsarin da kira da kuma babban adadin rumfa matakai kamar haka hukuncin kisa a layi daya, kõ dabam- dabam. Amma a general, da shirin da aka ba neman wasu m wurare, da kuma matakai da matsakaicin yiwu adadin code da na nazarin yi amfani da data hanyoyi. Saboda wannan, da gwajin shirin dogara a kan girman da abu. Lokacin da dubawa da fare aka sanya a kan m tafiyar matakai. Su ne daya daga cikin hanyoyin aiwatar da ayyuka a wani shirin da aka gwada. Godiya ga layi daya aiki ne mai yiwuwa a bincika a manyan yawan bambance-bambancen karatu na aikin gwajin aikace-aikace. Ga kowane hanyar shigar da bayanai sets aka adana a bãyan gwajin, wanda ya fara da rajistan shiga. Ya kamata a lura cewa gwaji shirye-shirye ta amfani da KLEE taimaka wajen gano wani babban yawan bambancin, wanda bai kamata a. Yana iya samun matsaloli ko a aikace-aikace da aka ɓullo da shekaru da dama.