Xeem cov kev pab cuam - yuam kev nrhiav kom tau txoj kev nyob rau hauv lub software khoom

Nyob rau hauv software txoj kev loj hlob, ib tug tseem ceeb ib feem ntawm lub ntau lawm txheej txheem yog raws li nyob rau hauv software soj ntsuam. Yuav ua li cas yog nws thiab yuav ua li cas yog zoo li no kev ua si yuav sib tham txog nyob rau hauv no tsab xov xwm.

Yuav ua li cas yog hu ua ib txoj kev kuaj?

Qhov no yog hais txog cov txheej txheem los ntawm khiav lub software los xyuas txog cov chaw zov me nyuam tsis yog lag luam los ntawm cov kev cai. Rau qhov zoo tshaj plaws kev tshwm sim, txhob txwm tshaj tawm lub tsev nyuaj set ntawm cov tswv yim ntaub ntawv. Lub hom phiaj tseem ceeb ntawm cov kev soj ntsuam xyuas yog los tsim qhov zoo tshaj plaws lub sij hawm rau tsis ua hauj lwm ntawm software. Txawm tias tej zaum kuaj cov tsim kev pab cuam yuav tsum yooj yim zog rau ib tug niaj hnub check ua hauj lwm muaj peev xwm thiab ua tau lub zog. Qhov no txuag lub sij hawm, tab sis yog feem ntau nrog los ntawm cov unreliability ntawm lub software, neeg dissatisfaction, thiab hais txog.

cov hauj lwm zoo

Yuav ua li cas zoo thiab sai sai yog tsis, ib tug tseem ceeb feem ntawm tus nqi thiab ntev ntawm software txoj kev loj hlob yuav tsum tau zoo. Yog li ntawd, txawm lub fact tias testers tau txais ib cov nyiaj hli ob peb lub sij hawm me dua cov developers, tus nqi ntawm lawv cov kev pab yog feem ntau li 30 - 40% ntawm tus nqi ntawm tag nrho cov project. Qhov no yog vim tus xov tooj ntawm cov neeg ua, txij li thaum cov kev tshawb fawb rau qhov yuam kev - qhov no yog ib qho txawv txawv thiab nyuaj heev txheej txheem. Tab sis txawm yog hais tias tus software yog dhau ib tug respectable tooj ntawm kev ntsuam xyuas, muaj yog tsis muaj 100% guarantee hais tias qhov yuam kev yuav tsis tshwm sim. Cia li tsis paub tias thaum twg lawv tshwm sim. Yuav kom txhawb testers xaiv cov hom kev ntsuam xyuas uas muaj ntau yuav nrhiav tau cov kev txhaum, ntau txug cuab yeej siv: ob ncaj ncees thiab cov ntaub ntawv.

Mus kom ze rau kev ua hauj lwm

Cov zoo yog thaum mus siv ntau yam tswv yim ua kom paub meej tias uas tsis nyob rau hauv lub software tsis tau los ntawm thaum pib. Ua li no, koj yuav tsum saib xyuas ntawm cov architecture tsim, ntshiab cov nqe lus ntawm reference, thiab nws yog ib qho tseem ceeb tsis txhob ua kev kho me ntsis nyob rau hauv kev sib txuas lus, thaum ua hauj lwm nyob rau hauv peb tes num twb pib. Nyob rau hauv cov ntaub ntawv no, lub tester rau cov hauj lwm ntawm kev nrhiav thiab qhia ib tug me me muaj pes tsawg tus ntawm uas tsis nyob twj ywm nyob rau hauv zaum kawg tshwm sim. Qhov no yuav txuag ob lub sij hawm thiab nyiaj txiag.

Yuav ua li cas yog kev kuaj no?

Qhov no yog ib qho tseem ceeb nam ntawm lub soj ntsuam kev ua ub no, uas yog tsim nyog rau cov kev vam meej kom paub tias uas tsis xws luag tus. Lawv yog cov tsim nyog nyob rau hauv thiaj li yuav tswj tau qhov tseeb daim ntawv thov. Yuav ua li cas yog muaj nyob rau hauv lub xeem? Nws muaj cov ntaub ntawv thiab lawv pib qhov tseem ceeb uas yuav tsum tau raws li cov resultant (los yog intermediate). Nyob rau hauv thiaj li yuav ntse qhia teeb meem thiab inconsistencies, kev ntsuam xyuas yuav tsum tau txhaj tom qab lub algorithm yog tsim, tab sis tsis tau pib lub cajmeem. Nws yog ntshaw kom siv ob peb le caag los kwv yees qhov yuav tsum tau cov ntaub ntawv. Nyob rau hauv cov ntaub ntawv no, ua qhov yuav tshwm ntawm tebchaws ib qho yuam kev vim hais tias koj muaj peev xwm tshuaj xyuas cov code los ntawm ib tug txawv foundations. Complex kev ntsuam xyuas yuav tsum muab pov thawj ntawm sab nraud los ntawm lub tiav lawm software khoom, raws li zoo raws li nws ua hauj lwm algorithms. Ntawm kev txaus siab thiab muab marginal degenerate mob. Yog li, nyob rau hauv txoj kev xyaum ntawm uas tsis muaj peev xwm feem ntau qhia tias lub voj voog ua hauj lwm ntawm ib tug los yog ntau tshaj lub sij hawm tsawg tshaj li npaj. Tsis tas li ntawd ib qho tseem ceeb yog lub computer los soj ntsuam, los ntawm kev uas koj muaj peev xwm paub tseeb tias cov kev kawm tshwm sim nyob rau txawv machine. Qhov no yog tsim nyog nyob rau hauv thiaj li yuav ua kom paub tseeb tias cov software yuav ua hauj lwm rau tag nrho cov computers. Nyob rau hauv tas li ntawd, lub computer xeem, nyob rau hauv uas txoj kev loj hlob yuav tsum tau nqa tawm, yog ib qho tseem ceeb nyob rau hauv cov creation ntawm multi-platform txoj kev loj hlob.

troubleshooting Arts

Programs feem ntau tsom mus ua hauj lwm nrog lossis loj cov ntaub ntawv poob lawm. Yog nws tsim nyog los tsim kiag? Tsis Thoob plaws mas yuav kis tau tus xyaum ntawm "miniaturization" ntawm qhov kev pab cuam. Nyob rau hauv cov ntaub ntawv no muaj ib tug tsim nyog yuav txo tau ntawm cov ntaub ntawv ntim raws li muab piv nrog hais tias yuav tsum tau siv. Cia saib ib qho piv txwv: yog ib txoj kev pab, uas tsim ib tug matrix ntawm loj 50x50. Nyob rau hauv lwm yam lus - koj yuav tsum manually nkag mus rau 2500 qhov tseem ceeb. Nws yog yeej tau, tab sis nws yuav siv sij hawm ib tug ntev heev lub sij hawm. Tab sis nyob rau hauv thiaj li yuav ntsuam xyuas cov functionality, cov software tau txais ib tug matrix uas nws dimension yog 5x5. Ua li no, koj yuav tsum sau ntau tshaj 25 qhov tseem ceeb. Yog hais tias, nyob rau hauv cov ntaub ntawv no, ib tug li qub, kev ua yuam kev-free lag luam, nws txhais tau tias txhua yam yog nyob rau hauv kev txiav txim. Txawm hais tias muaj kev cov nyom uas pw nyob rau hauv lub fact tias muaj miniaturization teeb meem no tshwm sim, uas ua nyob rau hauv kev hloov yuav implicit thiab ib ntus ploj. Nws tseem yog tsis tshua muaj heev, tab sis tseem muaj tshwm sim yog hais tias muaj tshiab kab.

cov hom phiaj caum

Xeem tsis yog ib qho yooj yim ua hauj lwm vim lub fact tias tus txheej txheem no tsis yog amenable mus formalization nyob rau hauv nws txoj kev paub. Loj cov kev pab cuam yuav luag yeej tsis muaj qhov tsim nyog muaj tseeb benchmark. Yog li ntawd, raws li ib tug yeej siv ib tug xov tooj ntawm indirect cov ntaub ntawv, uas, li cas los xij, yuav tsis siab muaj kev cuam tshuam tus yam ntxwv thiab kev khiav dej num ntawm software kev loj hlob uas debugged. Ntxiv mus, lawv yuav tsum tau xaiv thiaj li hais tias qhov tseeb tshwm sim xam ua ntej yuav ua li cas lub software khoom yuav raug kuaj ua. Yog hais tias koj tsis ua, nws yog tempting yuav tau xav txog tag nrho hais txog, thiab yog hais tias cov kev tshwm sim ntawm lub tshuab tau txais nyob rau hauv cov kev tsim ntau yam, nws yuav tsum tau ua ib tug tsis ncaj ncees lawm kev txiav txim siab, hais tias txhua yam yog muaj tseeb.

Xyuas nyob rau hauv txawv tej yam kev mob

Raws li ib tug txoj cai, qhov kev pab cuam cov kev xeem no nyob rau hauv tagnrho uas yog tsim nyog rau qhov tsawg kawg nkaus xeem functionality mus rau ib tug tsawg raws li. Kev ua ub no ua nrog rau cov kev hloov ntawm cov tsis, raws li zoo raws li lawv ua hauj lwm tej yam kev mob. Qhov xeem no yuav tau muab faib mus rau hauv peb theem:

• Xyuas nyob rau hauv ib txwm tej yam kev mob. Nyob rau hauv cov ntaub ntawv no peb kuaj qhov yooj yim functionality ntawm cov tsim software. Cov yuav tsum sib haum mus rau cov kev tsim.
• Xyuas nyob rau hauv huab mob. Nyob rau hauv cov neeg mob, raws li synonymous nrog tus ciam cov ntaub ntawv, uas tej zaum yuav adversely cuam tshuam rau kev kawm ntawv ntawm cov tsim software. Raws li ib qho piv txwv, peb ua hauj lwm nrog ib tug tsis tshua loj los yog me me xov tooj los yog txawm tag tsis tuaj kawm ntawv ntawm cov ntaub ntawv tau txais.
• Xyuas nyob rau hauv exceptional teeb meem. Nws yuav siv cov ntaub ntawv uas muaj tshaj kev kho mob. Nyob rau hauv tej lub sijhawm, nws yog heev phem thaum lub software perceives lawv raws li pab tau rau lub xam thiab muab ib tug plausible tshwm sim. Care yuav tsum tau coj uas nyob rau hauv xws li mob muaj yog ib tug rejection uas muaj cov ntaub ntawv uas muaj peev xwm tsis tau kom raug. Nws tseem yog tsim nyog los muab qhia rau cov neeg siv txog nws

Soj ntsuam: Hom

Tsim software tsis yuam kev yog heev yooj yim. Qhov no yuav tsum tau ib tug txiav txim nqi ntawm lub sij hawm. Yuav kom tau ib tug zoo cov khoom no feem ntau yog siv ob hom ntawm kev soj ntsuam: "Alpha" thiab "Beta". Yuav ua li cas yog lawv? Thaum tib neeg tham txog lub alpha soj ntsuam, nws txhais tau tias txoj kev ntsuam xyuas yuav tsum tau ua nws tus kheej nyob rau hauv lub xeev ntawm kev loj hlob "laboratory" rau cov neeg mob. Qhov no yog qhov kawg theem ntawm kev soj ntsuam ua ntej qhov kev pab cuam yuav tsum pauv mus rau thaum xaus neeg siv cov. Yog li ntawd, developers tseem tabtom tig ib ncig lub siab tshaj plaws. Rau yooj yim ntawm kev lag luam, cov ntaub ntawv yuav tsum in thiaj li tso rau tsim ib tug chronology ntawm cov teeb meem thiab lawv lub ntsiab. Nyob rau hauv lub beta xeem kom to taub cov mov ntawm software mus rau ib tug tsawg tus naj npawb ntawm cov neeg siv, yog li ntawd lawv yuav siv cov kev pab cuam thiab qhia hais tias tus yuam kev koj twb mus ntsib tsis tau. Ib tug feature tshwj xeeb nyob rau hauv cov ntaub ntawv no yog qhov tseeb hais tias feem ntau cov software uas tsis siv rau nws npaj lub hom phiaj. Vim hais tias ntawm no tsis ua hauj lwm yuav tsum tau qhia qhov chaw uas muaj tsis muaj dab tsi ua ntej pom. Qhov no yog heev qub thiab txhawj txog nws tsis yog tsim nyog.

xeem Tiav

Yog hais tias cov kauj ruam dhau muaj tau ntse ua tiav, nws tseem mus nqa tawm txais kev ntsuam xyuas. Nws nyob rau hauv cov ntaub ntawv no ua ib tug mere formality. Thaum lub sij hawm qhov kev xeem no los kev paub hais tias tsis muaj ntxiv teeb meem tau pom thiab lub software yuav tsum tau tso tawm nyob rau hauv kev ua lag luam. Qhov tseem ceeb tshaj yuav yog tus kawg, tus zoo dua nws yuav tsum tau qhia tau tseeb. Care yuav tsum tau coj los xyuas kom meej tias tag nrho cov kauj ruam tau raug ua tiav ntse. Ntawm no yog cov xeem no raws li ib tug tag nrho. Tam sim no cia tus delve rau hauv cov kev paub meej thiab tham txog xws li ib tug pab tau lub cuab tam, raws li cov kev xeem cov kev pab cuam. Yuav ua li cas lawv muaj thiab thaum siv?

computer-aided xeem

Yav tas los nws twb xav hais tias lub dynamic tsom xam ntawm tsim software - nws yog ib yam nkaus thiab hnyav mus kom ze uas zoo siv rau ntes tsis xws luag. Tab sis vim yog qhov zuj zus complexity thiab ntim ntawm cov kev pab cuam nyob opposite saib. Suab xeem yog siv qhov twg tseem ceeb tshaj plaws uas tej yog efficiency thiab kev nyab xeeb. Thiab lawv yuav tsum tau nyob rau hauv tej cov tswv yim. Raws li ib qho piv txwv, cov kev pab cuam rau cov uas nws yog tsim nyog rau tej kev soj ntsuam, muaj xws li cov nram qab no: network twg, web neeg rau zaub mov, sandboxing. Peb mus txuas ntxiv mus saib nyob rau ib ob peb kuaj, uas yuav siv tau rau tej kev ua no. Yog hais tias koj xav nyob rau hauv free xeem cov kev pab cuam, qhov zoo yog tsis yooj yim mus nrhiav tau ntawm lawv. Tab sis muaj tawg "pirated" versions ntawm lub zoo-tsim tej yaam num, yog li ntawd koj yuav xa mus rau lawv cov kev pab cuam.

avalanche

Qhov cuab yeej no yuav pab tau ntes tsis xws luag kuaj cov kev pab cuam nyob rau hauv lub dynamic tsom xam hom. Nws siv cov ntaub ntawv thiab ntsuam qhov kev kawm ntawm txoj kev khiav tsim khoom. Lub tester yog muab ib tug set ntawm inputs uas ua rau kev ua yuam kev los yog bypass uas twb muaj lawm txheej xyuas. Tsaug rau ib tug zoo kev xeem ntawm lub algorithm tsim los ntawm ib tug loj tus naj npawb ntawm lub sijhawm. Qhov kev pab cuam tau txais ib tug ua txawv cov ntawm tswv yim ntaub ntawv, uas tso cai rau simulate ib tug loj tus naj npawb ntawm cov teeb meem thiab tsim tej yam kev mob nyob rau hauv uas lub feem ntau yuav yog qhov tshwm sim ntawm ib tug tsis ua hauj lwm. Ib qho tseem ceeb kom zoo dua ntawm qhov kev pab cuam yog qhov siv ntawm heuristic metric. Yog hais tias muaj yog ib qho teeb meem, ces daim ntawv thov kev ua yuam kev no mas yuav. Tab sis qhov kev pab cuam muaj kev txwv xws li tsuas yog ib daim tshev cim tswv yim socket los yog cov ntaub ntawv. Thaum nqa tawm ib qho kev lag luam xws li kev soj ntsuam cov kev pab cuam yuav muaj ncauj lus kom ntxaws txog cov teeb meem nrog rau cov thov pointer, infinite loops, tsis yog chaw nyob los yog malfunctions vim txoj kev siv cov tsev qiv ntawv. Ntawm cov hoob kawm, qhov no yog tsis yog ib tug ua tiav daim ntawv teev cov kuaj kom raug thiab lawv tsuas ntau cov piv txwv. Kho tsis, alas, muaj developers - cia li txhais tau tias yog tsis haum rau cov hom phiaj.

KLEE

Nws yog ib tug zoo kev pab cuam rau kev soj ntsuam kev nco. Nws yuav muab kev cuam tshuam kwv yees li 50 system hu thiab ib tug loj tus naj npawb ntawm virtual dab li tua nyob rau hauv thaum uas tig mus los yog nyias. Tab sis nyob rau hauv Feem ntau, cov kev pab no tsis nrhiav ib co tej yam txawv qhov chaw, thiab dab lub siab tshaj plaws tau nyiaj ntawm code thiab analyses siv cov ntaub ntawv paths. Vim li no, lub xeem kev pab cuam nyob rau hauv lub loj ntawm cov kwv. Thaum kuaj tau tus thawj koom ruam yog muab tso rau ib lub cim txog dab. Lawv yog ib tug ntawm cov tau txoj kev mus ua paub tab nyob rau hauv ib qho kev pab uas yog mus soj ntsuam. Tsaug rau thaum uas tig mus kev lag luam yog ua tau rau kev tsom xam ib tug loj tus naj npawb ntawm variants ntawm lub chaw ua hauj lwm ntawm qhov kev kuaj daim ntawv thov. Rau txhua txoj kev tawm tswv yim ntaub ntawv poob lawm yog muab tom qab nws xeem, uas pib nrog cov tshev. Nws yuav tsum tau muab sau tseg hais tias kev soj ntsuam cov kev pab cuam siv KLEE yuav pab tau hais tias ib tug loj tus naj npawb ntawm variations, uas yuav tsum tsis txhob yuav. Nws muaj peev xwm nrhiav tau cov teeb meem txawm nyob rau hauv daim ntaub ntawv uas yog tsim rau decades.