Ukaguzi wa Kanuni na Utafutaji wa Hitilafu

Faida:

• Uwezo wa kutumia AI kama kichujio cha hakiki cha awali kilicho na kategoria na vitambulisho vya ukali
• Uwezo wa kuchuja matokeo kwa akili ya binadamu ili kuthibitisha/sio ya kweli chanya/kutumia
• Uwezo wa kutekeleza mahitaji ya idhini ya mwanadamu juu ya sheria ya biashara, usanifu na maamuzi muhimu ya usalama

Ukaguzi wa msimbo ni wakati mabadiliko yaliyoandikwa na msanidi hukaguliwa na mtu mwingine kabla ya kuunganishwa. Tathmini nzuri; Hukamata hitilafu mapema, hushiriki maelezo, na huweka msingi wa msimbo sawa. Lakini mapitio yanachosha, yana mwelekeo wa kukengeushwa, na huwa ya juu juu chini ya shinikizo la wakati. Upelelezi wa Bandia ni msaidizi mara mbili hapa: hukuruhusu kusafisha mapema nambari yako mwenyewe ambayo unawasilisha kwa ukaguzi na kukagua PR ya mtu mwingine (ombi la kuvuta) kwa jicho kali zaidi.

Tofauti muhimu ni hii: AI huharakisha na kuboresha ukaguzi, lakini haiwezi kuchukua jukumu la kuidhinisha. Sentensi "AI ilionekana, ni safi" sio uthibitisho. Uamuzi wa mwisho wa "kuunganisha" ni juu ya mhandisi anayejua kanuni na muktadha.

Nini AI ni nzuri na mbaya katika Uhakiki

Inafaa kwa: Ukosefu wa ukaguzi, uvujaji wa rasilimali (faili/kiungo kikibaki wazi), vighairi ambavyo havijashughulikiwa, hali ambazo ni mbaya (>= badala ya >), kubadilisha mapendekezo, usomaji, ukingo unaokosekana, harufu rahisi za usalama (kama upatanisho wa kamba ya SQL), ugunduzi wa nambari ya nakala.

Udhaifu: Mapungufu makubwa ambayo yanakiuka sheria ya biashara yako lakini yanahitaji muktadha na muda, kama vile mantiki sahihi ya kisintaksia, utiifu wa usanifu, vikwazo vya utendakazi halisi, makosa ya upatanishi. AI pia hutoa chanya za uwongo (kukosea kitu ambacho sio shida kwa shida) na hasi za uwongo (kukosa mdudu halisi). Kwa hivyo, matokeo yake ni "orodha ya tahadhari", sio uamuzi wa uhakika.

Tahadhari: Kwa sababu tu AI inasema "hakuna shida" haithibitishi kuwa nambari ni sahihi. Hasi za uwongo ni kimya; Makosa hatari zaidi ni yale ambayo hayajatajwa kamwe katika ukaguzi.

Hatua za Mapitio ya Utaratibu

1. Toa muktadha. Ongeza madhumuni ya mabadiliko, suala husika na vigezo vya kukubalika, kama vipo, kwenye dodoso. Uhakiki usio na kusudi hutoa tafsiri isiyo na kusudi.
2. Igawanye katika makundi. Uliza modeli kuainisha matokeo kama "mdudu/usalama/utendaji/usomaji/mtindo"; kwa hivyo unatenganisha muhimu kutoka kwa kelele.
3. Omba lebo ya ukali. Ipe kila kipatacho alama ya "juu/kati/chini" na ujumuishe "sababu" na "marekebisho yanayopendekezwa."
4. Ichuje kwa macho yako mwenyewe. Tathmini kila upataji: ni kweli (thibitisha), ni chanya ya uwongo (andika uthibitisho), kuna chochote kinakosekana (ongeza maarifa yako mwenyewe).
5. Thibitisha njia muhimu mwenyewe. Soma na utekeleze njia zinazohusisha pesa, utambulisho, uidhinishaji na kufuta data mwenyewe bila kutegemea AI.

Kesi Tatu Ndogo

Kesi ya 1 - Hitilafu isiyo na maana imepatikana. Timu moja ilikuwa na mapitio ya awali ya AI ya PR ya mistari 380. Muundo huo ulialamisha njia ambayo jibu la huduma ya nje linaweza kuwa batili, lakini hakuna ukaguzi ulifanywa kwa hili katika msimbo. Mkaguzi wa kibinadamu alithibitisha njia hii na kuongeza ukaguzi usiofaa; Hitilafu sawa na hiyo ilisababisha kukatizwa kwa uzalishaji wa saa 2 katika robo ya awali.

Kesi ya 2 - Uondoaji chanya wa uwongo. AI ilialamisha "suala linalowezekana la utendaji" katika kitanzi. Mkaguzi alifunga hii kama chanya ya uwongo, akijua kuwa kitanzi hufanya kazi tu na kiwango cha juu cha vitu 5 (kinazunguka juu ya enum). Mwanamitindo, ambaye hakujua muktadha, alionya; Mtu anayejua muktadha alifanya uamuzi sahihi.

Kesi ya 3 - AI ilikosa sheria ya biashara. Ingawa akaunti ya punguzo inapaswa kuwa ya juu zaidi ya 30% kulingana na sheria ya kampeni, msimbo unaruhusu 50%. AI haijawahi kugundua kosa hili la kimantiki kamilifu; kwa sababu hakujua sheria. Hitilafu ilinaswa katika ukaguzi na mmiliki wa bidhaa ambaye alijua vigezo vya kukubalika. Somo: Uthibitishaji wa sheria za biashara ni kazi ya mwanadamu.

Violezo Vinne Vinakiliwa

Mapitio yenye mwelekeo wa kusudi, yaliyoainishwa:

Jukumu: Mkaguzi wa kanuni makini. Kusudi la mabadiliko: {{kusudi / toleo}}Kagua tofauti hii. Toa matokeo katika kategoria hizi: [Mdudu] [Usalama][Utendaji] [Usomaji] [Mtindo]. Kwa kila utafutaji: faili:safu, ukali (juu/kati/chini), sababu, urekebishaji unaopendekezwa. Weka alama "inawezekana" ikiwa huna uhakika. Hujui sheria za biashara; Niulize kuhusu maeneo ambayo yanahitaji sheria.{{diff}}

Ili kujiandaa kukagua nambari yako mwenyewe:

Kagua mabadiliko haya kabla ya kufungua PR. Tafuta: kukosa null/bugcheck, uvujaji wa rasilimali, kesi ya ukingo, siri, tawi lisilojaribiwa. Orodhesha matokeo kwa mpangilio wa kipaumbele; pendekeza marekebisho ya mstari 1 kwa kila moja.{{code}}

Uwindaji wa kesi ya pembeni:

Orodhesha ingizo na hali ambapo chaguo hili la kukokotoa linaweza kukatika: tupu, null, kubwa sana, hasi, simu ya wakati mmoja, hitilafu ya mtandao, data kiasi. Kwa kila kesi, andika tabia inayotarajiwa na msimbo wa sasa utafanya nini.{{function}}

Uchanganuzi wa harufu ya usalama (uchunguzi wa mapema):

Tafuta harufu za usalama za kawaida katika msimbo huu: SQL/uunganishaji wa amri, ingizo ambalo halijathibitishwa, siri iliyopachikwa isiyoweza kubadilika, kutoweka salama, ukosefu wa ukaguzi wa haki. Tenganisha matokeo katika "hakika / uwezekano / maarifa". Huu ni uchunguzi wa awali; Sio uamuzi mahususi.{{code}}

Agizo dhaifu / Ukumbusho thabiti

Dhaifu: "Je, kuna makosa katika PR hii?"

Nguvu: "Kusudi: ongeza punguzo la kuponi kwa jumla ya rukwama (lazima punguzo liwe zaidi ya 30% - huwezi kuthibitisha sheria hii mwenyewe, niambie tu ikiwa msimbo unaweka kikomo cha juu). Chunguza tofauti; toa matokeo kulingana na kategoria + ukali + marekebisho yaliyopendekezwa, weka alama 'inawezekana' ikiwa huna uhakika. [tofauti]"

Toleo lenye nguvu linasema kwa uwazi dhamira, sheria ya biashara, na mpaka wa AI; Kwa hivyo, matokeo muhimu yanakuja na eneo lisilojulikana kwa mfano linabaki wazi.

Kutafuta aina

Kuegemea kwa AI

jukumu la mwanaume

Cheki null/hitilafu haipo

juu

Thibitisha na utume maombi

Kusoma/mtindo

juu

Chagua kwa upendeleo

Harufu rahisi ya usalama

kati

Maliza, soma kwa kutumia gari

Kuzingatia kanuni za biashara

chini

Ni binadamu kabisa.

Concurrency/usanifu

chini

Uhakiki wa kitaalamu unahitajika

Mapitio ya AI Sio Badala ya Mapitio ya Binadamu

Weka ukaguzi wa AI kama "kichujio cha kwanza": pasi ya awali ya bei nafuu, ya haraka na isiyochoka. Kichujio hiki huondoa usikivu wa mkaguzi kutoka kwa maelezo yasiyo muhimu (nafasi, jina) na kuielekeza kwenye maeneo ambayo yanahitaji mawazo—sheria ya biashara, usanifu, matokeo ya usalama. Lakini idhini ya kuunganisha ni saini ya mtu anayewajibika ndani ya timu. Ukaguzi wa kujitegemea wa angalau mhandisi mmoja ni lazima kwa mabadiliko muhimu ya usalama.

Kidokezo: Soma orodha ya matokeo ambayo AI huzalisha kama "vitu vya kuangalia" badala ya "kufanya". Thibitisha na utumie kila kipengele au uandike katika sentensi moja kwa nini umeipitisha; ufuatiliaji huu hufanya ukaguzi kukaguliwa.

Makosa ya kawaida

• Ina maana "AI inaonekana, ni safi". Hii ni hisia ya uwongo ya kujiamini kwa sababu ya hasi za uwongo.
• Sio kutoa muktadha. Bila madhumuni na vigezo vya kukubalika, mtindo hutoa tafsiri za mtindo wa juu tu.
• Kwa upofu kutumia chanya za uwongo. Kurekebisha kila onyo la modeli kunaweza kuvunja nambari inayoendesha.
• Kuuliza mfano kuhusu sheria ya biashara. Mfano haujui sheria; Ni juu ya mwanadamu kuithibitisha.
• Usibague vurugu. Kuweka utafutaji muhimu wa usalama na pendekezo la jina kwenye begi sawa hufunika kile ambacho ni muhimu.

Kwa muhtasari

AI ni kichujio cha kwanza kisichochoka katika uhakiki wa msimbo: hupata makosa / makosa, kesi za makali, na usalama rahisi harufu vizuri; lakini ni dhaifu kwa dosari zinazohitaji muktadha kama vile kanuni za biashara, usanifu, na upatanishi, na hutoa chanya za uwongo na hasi za uwongo. Omba matokeo kulingana na kategoria na ukali, chuja kila moja kwa kutumia akili ya binadamu, thibitisha mwenyewe njia muhimu. Uidhinishaji daima ni saini ya mhandisi anayewajibika.

Jukumu la maombi

Chagua PR/diff halisi au ya hivi majuzi. Kwanza, ifanye AI iikague kwa kutumia kiolezo cha "lengo-lengo, hakiki ya kitengo". Weka matokeo kwenye jedwali na uamue kwa kila moja: kweli (nilithibitisha), chanya ya uwongo (hii ndio hoja yangu), au ya kutekelezwa. Kisha jionee mwenyewe na ujaribu kupata angalau jambo moja (haswa sheria ya biashara au kesi ya makali) ambayo AI haipo na iandike.

orodha ya ukaguzi

• [ ] Ninatumia ukaguzi wa AI kama kichujio cha kwanza, si uidhinishaji.
• [ ] Ninaongeza madhumuni na vigezo vya kukubalika kwa haraka ya ukaguzi.
• [ ] Ninatenganisha matokeo kutoka kwa kelele kwa kategoria na ninayataka sana.
• [ ] Ninachuja kwa uangalifu kila matokeo ili kuthibitisha/sio kweli chanya/kutumia.
• [ ] Kama binadamu, mimi huangalia sheria za biashara na uzingatiaji wa usanifu.
• [ ] Ninahitaji idhini kutoka kwa mhandisi aliyehitimu kwa mabadiliko muhimu ya usalama.