Utatuzi na Uchambuzi wa Chanzo Chanzo

Faida:

• Uwezo wa kupunguza mdudu hadi mfano mdogo zaidi wa kuzaliana na kuisogeza kwa AI na uthibitisho kamili
• Uwezo wa kupima dhahania zenye msingi wa ushahidi na udhibiti wa bei rahisi na kupata sababu kuu
• Uwezo wa kusuluhisha sababu kuu na kuilinda kwa jaribio la urekebishaji badala ya kuweka alama kwenye dalili

Utatuzi ni mchakato wa kujua kwa nini programu inafanya kazi bila kutarajia na kuirekebisha. Ni kazi ambapo msanidi hutumia muda mwingi na kuchoka zaidi; Kwa sababu mara nyingi kosa sio mahali linapoonekana, lakini limefichwa hatua chache nyuma. AI ni mshirika mwenye uwezo wa kufikiri ambaye huharakisha utafiti huu - lakini ikiwa tu utaupa ushahidi sahihi. Debugging bila ushahidi ni eneo ambapo AI hutoa hallucinations zaidi.

Katika kitengo hiki, tunaanzisha mtiririko wa nidhamu kutoka kwa kuzalisha hitilafu hadi kufikia chanzo kikuu: kufafanua dalili, kukusanya ushahidi (ujumbe wa hitilafu, ufuatiliaji wa rafu, kumbukumbu, ingizo), kutoa dhana, kujaribu nadharia, na kuthibitisha urekebishaji. AI husaidia katika kila hatua; lakini uamuzi "uliowekwa" unafanywa kwa kuona kwamba mdudu ameenda mbali.

Kwa Nini Ushahidi Ni Kila Kitu?

LLM haioni makosa jinsi unavyofanya; Anajua tu unachomwambia. Sentensi kama "Programu inaacha kufanya kazi" huipa kielelezo karibu hakuna taarifa, na kielelezo hujaza pengo kwa ubashiri - yaani, maono. Kwa upande mwingine, ujumbe kamili wa hitilafu, ufuatiliaji wa rafu - uchanganuzi ambao chaguo za kukokotoa huita hitilafu kupitia, ingizo ambalo lilisababisha hitilafu, na kile kilichotarajiwa, n.k. Kwa kuzingatia tabia iliyozingatiwa, muundo unaweza kupanga uwezekano wa kweli.

Katika utatuzi, fikiria AI kama msaidizi wa upelelezi: ushahidi zaidi unaowasilisha, nadharia sahihi zaidi inazalisha. Ikiwa hakuna ushahidi, msaidizi atakisia tu na anaweza kukuongoza kwenye njia mbaya.

Kidokezo: Kabla ya kuhamisha hitilafu kwa AI, ipunguze hadi iwe mfano mdogo kabisa unaoweza kuzaliana. Nambari ndogo zaidi ya nambari na ingizo ambayo husababisha hitilafu hurahisisha mambo kwa wewe na mfano; mara nyingi wakati wa upunguzaji huu unapata sababu mwenyewe.

Hatua kwa Hatua: Mtiririko wa Uchambuzi wa Sababu ya Mizizi

1. Fafanua dalili. "Nini kinaendelea, ulitarajia nini kitatokea?" Andika haya mawili katika sentensi moja.
2. Kusanya ushahidi. Ujumbe kamili wa hitilafu, ufuatiliaji wa rafu, mistari ya kumbukumbu inayofaa, ingizo la kuchochea, habari ya toleo.
3. Je, nadharia inayotolewa. Kutoka kwa AI "sababu 3 zinazowezekana zinazoelezea dalili hii na ninajaribuje kwa kila moja?" uliza.
4. Jaribu hypothesis ya bei rahisi kwanza. Ongeza kumbukumbu, chapisha thamani, fanya jaribio. Je, ushahidi unathibitisha nadharia?
5. Rekebisha chanzo, sio dalili. Badala ya kunyamazisha dalili na kiraka, shughulikia sababu kuu.
6. Thibitisha na uongeze majaribio ya urekebishaji. Tazama kosa linatoweka; Kisha andika jaribio ambalo litashika kosa hilo ili lisirudi.

Kesi Tatu Ndogo

Kesi ya 1 - Ufuatiliaji wa rafu ulisababisha faili sahihi. Programu ilikuwa ikirudisha hitilafu 500 kwa maombi fulani. Msanidi alitoa ufuatiliaji kamili wa rafu na ombi la kuanzisha kwa AI; Mfano ulidhania kuwa hitilafu ilisababishwa na thamani ya None katika safu ya uchanganuzi wa tarehe. Msanidi aliongeza logi kwenye mstari huo, akaithibitisha na kuitatua kwa dakika 15; Saa 2 zilipotea siku iliyopita na majaribio ambayo hayajathibitishwa.

Kesi ya 2 - Udanganyifu ulisababisha wimbo mbaya. Msanidi programu mwingine aliandika tu "uunganisho wa hifadhidata unashuka". AI ilishutumu mpangilio wa bwawa la unganisho bila ushahidi wowote; Msanidi programu alitumia dakika 40 kuchezea mpangilio huu. Sababu halisi ilikuwa kuisha kwa muda kwa upande wa mtandao na ilifunuliwa tu kwa kutazama kumbukumbu. Somo: dhana iliyochukuliwa bila ushahidi inawezekana tu, si ya kuaminika.

Kesi ya 3 - Hitilafu hafifu imepatikana. Kulikuwa na mtihani ambao mara kwa mara haukufaulu. AI ilipewa nambari ya jaribio, ujumbe wa kutofaulu, na habari "wakati mwingine hupita, wakati mwingine inashindwa"; mfano ulionyesha utegemezi wa wakati / agizo la pamoja la majaribio. Ukaguzi ulithibitisha kuwa jaribio lilitokana na saa za ndani za mfumo. Mara tu saa ilipowekwa (kudhihakiwa), mtihani ukawa thabiti.

Violezo Vinne Vinakiliwa

Uzalishaji wa nadharia ya msingi ya ushahidi:

Ninatatua mdudu. Ushahidi ulio hapa chini.- Tabia inayotarajiwa: {{inatarajiwa}}- Tabia inayozingatiwa: {{imezingatiwa}}- Ujumbe wa hitilafu / ufuatiliaji wa rafu: {{trace}}- Uanzishaji wa ingizo: {{input}}- Mazingira/toleo: {{version}}Orodhesha visababishi 3 VINAVYOWEZEKANA ZAIDI vinavyofafanua dalili hii. Kwa kila moja: ninajaribuje (cheki ya bei nafuu) na jinsi ya kuirekebisha ikiwa ni kweli. Ikiwa ushahidi hautoshi, niambie ni maelezo gani ya ziada unayohitaji.

Kutafsiri ufuatiliaji wa rafu:

Soma ufuatiliaji huu wa rafu. Tofautisha kati ya ni mstari gani kosa LABDA linaanzia (mzizi) na ni mistari gani ni miendelezo ya mnyororo. Pendekeza mahali 1-2 pa kutazama kwanza. Msimbo unaohusiana:{{code}}Fuatilia:{{trace}}

Utoaji mdogo wa repro:

Nambari iliyo hapa chini hutoa hitilafu. Ipunguze hadi kwa mfano SMALLEST ambayo bado husababisha kosa lakini hutupa chochote kisichohitajika. Usifikirie kuwa kila kipande unachoondoa hakiathiri hitilafu, lakini ongeza barua inayosema "ikiwa hitilafu itatoweka unapoondoa hii, ndiyo sababu".{{code}}

Uthibitishaji wa baada ya kusahihisha na upimaji wa urekebishaji:

Chukulia sababu kuu ni {{sababu}} na ninafanya marekebisho yafuatayo: {{rekebisha}}.1) Je, kurekebisha hii kwa kweli kunarekebisha dalili, kutakuwa na madhara yoyote?2) Andika jaribio la urejeshi ambalo litashika hitilafu hii katika siku zijazo.

Agizo dhaifu / Ukumbusho thabiti

Dhaifu: "Msimbo haufanyi kazi, kwa nini?"

Inayo nguvu: "Njia 20 / Express. POST / maagizo hurejesha 500 wakati bidhaa ni mfuatano tupu kwenye mwili; inapaswa kuwa imerejesha 400. Ufuatiliaji wa rafu: TypeError: Haiwezi kusoma sifa za isiyobainishwa (kusoma '0') - iliyoambatishwa ni ufuatiliaji kamili na kidhibiti kinachohusishwa. Nipe sababu 3 zinazowezekana zinazoelezea dalili hii + kupima kila msimbo]."

Toleo la nguvu; Inatoa mazingira, sehemu ya mwisho, ingizo la vichochezi, aina halisi ya makosa, na tabia inayotarajiwa. Mfano hauwezi tena kufanya utabiri, lakini uchambuzi.

hatua

mchango wa AI

udhibiti wako

kukusanya ushahidi

Ni ushahidi gani unahitajika, unakumbusha

Inakusanya ushahidi kweli

kizazi cha nadharia

Orodhesha sababu zinazowezekana

Huweka kipaumbele kwa muktadha

mtihani wa nadharia

Inapendekeza mbinu ya mtihani

Inafanya kazi na kutazama kibinafsi

marekebisho

kiraka inapendekeza

Je, inasuluhisha chanzo kikuu? Ni kweli.

kurudi nyuma

anaandika mtihani

Inathibitisha kuwa mtihani umevunjwa

Kutatua Chanzo Cha Msingi, Sio Dalili

Mara nyingi AI itapendekeza kiraka ambacho hunyamazisha haraka dalili: ongeza jaribu / kamata, weka ukaguzi usiofaa, umeze kosa. Hii wakati mwingine ni kweli, mara nyingi ni hatari; kwa sababu sababu ya awali inabakia mahali na inazuka tena kutoka mahali pengine. Kwa kila marekebisho, jiulize: "Je, hii hurekebisha sababu ya kosa, au inafanya isionekane?" Mara tu unapopata sababu ya msingi, urekebishaji kawaida huwa mdogo, thabiti zaidi na wa kudumu.

Tahadhari: Kumeza kimyakimya ubaguzi (kamata tupu) hakutatui hitilafu; inaficha tu na kufanya utambuzi wa siku zijazo usiwezekane. Ikiwa AI inapendekeza "suluhisho" kama hilo, usiikubali bila kuhoji sababu kuu.

Makosa ya kawaida

• Kuuliza maswali bila ushahidi. Sentensi zisizoeleweka husukuma kielelezo kuwa ndoto; Toa hitilafu kamili, fuatilia na ingizo.
• Kujifungia kwenye nadharia ya kwanza. Pendekezo la kwanza la AI linaweza lisiwe na uwezekano mkubwa; Anza na nadharia ya bei rahisi inayoweza kudhibitiwa.
• Kurekebisha dalili na kukosa sababu kuu. Hitilafu iliyonyamazishwa inarudi.
• Kufunga kurekebisha bila kuithibitisha. Tazama katika hali kama ya uzalishaji kwamba kosa hutoweka.
• Sio kuandika majaribio ya rejista. Ikiwa hakuna majaribio yaliyoongezwa, hitilafu sawa itarudi kimya katika matoleo ya baadaye.

Kwa muhtasari

Katika utatuzi, nguvu ya AI inalingana moja kwa moja na ushahidi unaoupa: bila ujumbe kamili wa makosa, ufuatiliaji wa rafu, ingizo la kuchochea, na tabia inayotarajiwa, mfano unakisia tu. Mtiririko wa nidhamu—fafanua dalili, kukusanya ushahidi, kutoa dhana, kujaribu kwa udhibiti wa bei nafuu, kurekebisha chanzo, thibitisha na uongeze majaribio ya kurejesha hali—hufunga hitilafu kwa haraka na kwa kudumu. AI ni jenereta ya nadharia; Wewe ndiye unayeamua kuwa mdudu umetatuliwa.

Jukumu la maombi

Chagua hitilafu halisi uliyokumbana nayo hivi majuzi (au toa tena hitilafu ya majaribio). Fanya hatua ya "chini ya uzazi" kwanza; Ondoa msimbo mdogo zaidi na ingizo linalosababisha kosa. Kisha pata sababu 3 zinazowezekana na mbinu za majaribio kutoka kwa AI ukitumia kiolezo cha "kizazi cha nadharia inayotegemea ushahidi". Jaribu hypothesis ya bei rahisi zaidi mwenyewe, tafuta sababu kuu, irekebishe, na mwishowe andika jaribio la rejista ambalo litashika mdudu huyu katika siku zijazo na uthibitishe kuwa jaribio limevunjwa.

orodha ya ukaguzi

• [ ] Ninapunguza hitilafu hadi sampuli ndogo zaidi inayoweza kuzaliana kabla ya kuihamishia kwenye AI.
• [ ] Ninaongeza ujumbe kamili wa hitilafu, ufuatiliaji wa rafu, ingizo na tabia inayotarajiwa kwenye kidokezo.
• [ ] Ninaanza na ya bei nafuu inayoweza kudhibitiwa, bila kufungiwa katika dhana moja.
• [ ] Ninathibitisha kuwa nimesuluhisha sababu kuu badala ya kubandika dalili.
• [ ] Ninaona kuwa urekebishaji hurekebisha mdudu.
• [ ] Ninaongeza jaribio la rejista kwa kila mdudu aliyetatuliwa.