Awọn anfani:
- Agbara lati lo AI bi àlẹmọ atunwo akọkọ pẹlu awọn ẹka ati awọn ami idiju
- Agbara lati ṣe àlẹmọ awọn awari pẹlu ọkan eniyan lati rii daju / idaniloju eke / lo
- Agbara lati fi ipa mu awọn ibeere ifọwọsi eniyan lori ofin iṣowo, faaji ati awọn ipinnu pataki-aabo
Atunwo koodu jẹ nigbati iyipada ti o kọ nipasẹ olupilẹṣẹ jẹ atunyẹwo nipasẹ ẹlomiran ṣaaju ki o to dapọ. Atunwo to dara; O mu awọn idun ni kutukutu, pin alaye, ati pe o tọju ipilẹ koodu ni ibamu. Ṣugbọn awọn atunwo n rẹwẹsi, o ni itara si idamu, ati di alaimọ labẹ titẹ akoko. Oye itetisi atọwọda jẹ oluranlọwọ ilọpo meji nibi: o gba ọ laaye lati ṣaju-sọ koodu tirẹ di mimọ ti o fi silẹ fun atunyẹwo ati lati ṣayẹwo PR ẹnikan miiran (ibeere fa) pẹlu oju to mu.
Iyatọ to ṣe pataki ni eyi: AI ṣe iyara ati imudara atunyẹwo, ṣugbọn ko le gba ojuse fun ifọwọsi. Awọn gbolohun ọrọ "AI wò, o jẹ mimọ" kii ṣe ifọwọsi. Ipinnu “idapọ” ipari jẹ to ẹlẹrọ ti o mọ koodu ati ọrọ-ọrọ.
Kini AI dara ati buburu Nipa Atunwo
O dara fun: Awọn aṣiṣe ayẹwo asan, awọn n jo awọn oluşewadi (faili / ọna asopọ ti o ku ni ṣiṣi), awọn imukuro ti ko mu, o han gbangba awọn ipo aṣiṣe (>= dipo>), awọn aba fun lorukọmii, kika kika, ọran eti ti o padanu, awọn oorun aabo ti o rọrun (bii concatenation okun SQL), wiwa koodu ẹda ẹda.
Awọn ailagbara: Awọn abawọn ti o jinlẹ ti o rú ofin iṣowo rẹ ṣugbọn nilo ọrọ-ọrọ ati akoko, gẹgẹbi imọ-jinlẹ ti o tọ, ibamu ayaworan, awọn igo iṣẹ ṣiṣe gidi, awọn aṣiṣe concurrency. AI tun ṣe agbejade awọn idaniloju eke (aṣiṣe nkan ti kii ṣe iṣoro gangan fun iṣoro kan) ati awọn odi eke (ti o padanu kokoro gidi). Nitorinaa, iṣelọpọ rẹ jẹ “akojọ iṣọra”, kii ṣe idajo pataki kan.
Išọra: Nitoripe AI sọ pe “ko si iṣoro” ko jẹri pe koodu naa tọ. Awọn odi eke jẹ ipalọlọ; Awọn aṣiṣe ti o lewu julo ni awọn ti a ko mẹnuba ninu atunyẹwo.
Ifinufindo Review Igbesẹ
- Fun awọn ti o tọ. Ṣafikun idi ti iyipada, ọran ti o yẹ ati awọn ibeere gbigba, ti eyikeyi, si tọ. Atunyẹwo ti ko ni idi ṣe agbejade itumọ ti ko ni idi.
- Ya si isalẹ sinu isori. Beere awoṣe lati ṣe iyatọ awọn awari bi "bug / aabo / išẹ / kika / ara"; ki o ya awọn lominu ni lati ariwo.
- Beere aami bibo. Fun wiwa kọọkan ni iwọn “giga/alabọde/kekere” ati pẹlu “idi” ati “atunse iṣeduro”.
- Fi oju ara rẹ ṣe àlẹmọ. Ṣe ayẹwo wiwa kọọkan: jẹ gidi (ṣayẹwo), jẹ idaniloju eke (kọ idalare), jẹ ohunkohun ti o padanu (fi imọ ti ara rẹ kun).
- Ṣayẹwo awọn ọna pataki pẹlu ọwọ. Ka ati ṣiṣẹ awọn ipa-ọna ti o kan owo, idanimọ, aṣẹ ati piparẹ data funrararẹ laisi gbigbekele AI.
Mẹta Mini igba
Ọran 1 - Aṣiṣe asan ni ipalọlọ mu. Ẹgbẹ kan ni atunyẹwo-tẹlẹ AI kan 380-ila PR. Awoṣe ṣe afihan ọna ninu eyiti idahun iṣẹ ita le jẹ asan, ṣugbọn ko si awọn sọwedowo ti a ṣe fun eyi ninu koodu naa. Oluyẹwo eniyan jẹrisi ọna yii o si ṣafikun ayẹwo asan; Aṣiṣe iru kan fa idalọwọduro wakati 2 ni iṣelọpọ ni mẹẹdogun iṣaaju.
Case 2 - Imukuro rere eke. AI ṣe asia “ọrọ iṣẹ ṣiṣe ti o ṣeeṣe” ni lupu kan. Oluyẹwo naa pa eyi mọ gẹgẹbi idaniloju eke, ni mimọ pe lupu nikan ṣiṣẹ pẹlu awọn eroja 5 ti o pọju (o losiwajulosehin lori enum kan). Awoṣe, ti ko mọ ọrọ-ọrọ, kilo; Ẹni tó mọ àyíká ọ̀rọ̀ náà ṣe ìpinnu tó tọ́.
Ọran 3 - AI padanu aṣiṣe ofin iṣowo. Lakoko ti akọọlẹ ẹdinwo yẹ ki o jẹ iwọn 30% ni ibamu si ofin ipolongo, koodu naa gba 50%. AI ko ṣe akiyesi aṣiṣe ọgbọn ọgbọn pipe ni syntactically; nitori ko mọ ofin naa. A mu kokoro naa ni atunyẹwo nipasẹ oniwun ọja ti o mọ awọn ibeere gbigba. Ẹkọ: Afọwọsi ofin iṣowo jẹ iṣẹ eniyan.
Mẹrin Copiable Templates
Ojú-ète, àyẹ̀wò tí a pín sí:
Ipa: Ayẹwo koodu ti o ṣe pataki. Idi ti iyipada: {{idi / oro}} Atunyẹwo iyatọ yii. Pese awọn awari ninu awọn ẹka wọnyi: [Kokoro] [Aabo] [Iṣẹ] [Ṣiṣe] [Style]. Fun wiwa kọọkan: faili: kana, idibajẹ (giga / alabọde / kekere), idi, atunṣe iṣeduro. Samisi "ṣee ṣe" ti o ko ba ni idaniloju. Iwọ ko mọ awọn ofin iṣowo; Beere lọwọ mi nipa awọn aaye ti o nilo awọn ofin.{{diff}}
Lati mura lati ṣayẹwo koodu tirẹ:
Ṣe atunyẹwo iyipada yii ṣaaju ṣiṣi PR kan. Wa fun: sonu asan/bugcheck, jo awọn oluşewadi, ọran eti, aṣiri, ẹka ti ko ni idanwo. Ṣe atokọ awọn awari ni aṣẹ pataki; daba atunse ila 1 fun ọkọọkan.{{code}}
Ọdẹ ọdẹ eti:
Ṣe atokọ awọn igbewọle ati awọn ipo nibiti iṣẹ yii le fọ: ofo, asan, tobi ju, odi, ipe nigbakanna, aṣiṣe nẹtiwọki, data apa kan. Fun ọran kọọkan, kọ ihuwasi ti o nireti ati kini koodu lọwọlọwọ yoo ṣe.{{iṣẹ}}
Ṣiṣayẹwo oorun aabo (ṣayẹwo iṣaju):
Wa awọn oorun aabo ti o wọpọ ni koodu yii: SQL/commanation concatenation, titẹ sii ti ko tọ, aṣiri ti a fi sinu aile yipada, deserialize ti ko ni aabo, aini iṣayẹwo anfani. Ya awọn awari si "dajudaju / iṣeeṣe / imọ". Eleyi jẹ a alakoko waworan; Kii ṣe idajọ to daju.{{code}}
Ailagbara kiakia / Alagbara kiakia
Alailagbara: "Ṣe aṣiṣe kan wa ninu PR yii?"
Alagbara: "Idi: ṣafikun ẹdinwo kupọọnu si apapọ rira (eni ko gbọdọ jẹ diẹ sii ju 30% - iwọ ko le rii daju ofin yii funrararẹ, kan sọ fun mi ti koodu ba fi opin si oke). Ṣayẹwo iyatọ; fun awọn awari nipasẹ ẹka + idibajẹ + atunṣe atunṣe, samisi 'ṣee ṣe' ti o ba jẹ daju. [iyatọ]"
Ẹya ti o lagbara sọ kedere idi, ofin iṣowo, ati aala ti AI; Nitorinaa, awọn awari iwulo wa ati agbegbe ti a ko mọ si awoṣe naa wa ni gbangba.
wiwa iru
AI igbẹkẹle
eniyan ipa
Asan/aṣiṣe ayẹwo sonu
ga
Jẹrisi ati lo
Readability / ara
ga
Yan nipa ààyò
Rọrun aabo olfato
alabọde
Pari, ṣayẹwo pẹlu ọkọ
Ibamu ofin iṣowo
kekere
O jẹ eniyan patapata.
Concurrency / faaji
kekere
Atunyẹwo amoye ni a nilo
Atunwo AI kii ṣe Rirọpo fun Atunwo Eniyan
Atunwo ipo AI bi “àlẹmọ akọkọ”: olowo poku, iyara, iwe-iwọle alakoko ailagbara. Àlẹmọ yii ṣe ominira akiyesi oluyẹwo eniyan lati awọn alaye ti ko ṣe pataki (aaye kan, orukọ kan) o si darí rẹ si awọn aaye ti o nilo ironu gaan — ofin iṣowo, faaji, abajade aabo. Ṣugbọn ifọwọsi apapọ jẹ ibuwọlu ti eniyan jiyin laarin ẹgbẹ naa. Atunyẹwo olominira nipasẹ o kere ju ẹlẹrọ ti o ni oye jẹ dandan fun awọn ayipada ailewu-pataki.
Imọran: Ka atokọ ti awọn awari ti AI gbejade bi “awọn nkan lati ṣayẹwo” dipo “lati ṣe”. Boya ṣayẹwo ati lo ohun kọọkan tabi kọ silẹ ni gbolohun kan idi ti o fi kọja rẹ; yi wa kakiri mu ki awọn awotẹlẹ auditable.
Awọn aṣiṣe ti o wọpọ
- O tumo si "AI wò, o mọ". Eyi jẹ ori iro ti igbẹkẹle nitori awọn odi eke.
- Ko fifun ni o tọ. Laisi idi ati awọn ibeere itẹwọgba, awoṣe n ṣe agbejade awọn itumọ ara ti aipe nikan.
- Ni afọju nbere awọn idaniloju eke. Titunṣe gbogbo ikilọ ti awoṣe le fọ koodu ṣiṣiṣẹ.
- Béèrè awoṣe nipa ofin iṣowo. Awọn awoṣe ko mọ ofin; O wa fun eniyan lati rii daju.
- Maṣe ṣe iyatọ si iwa-ipa. Fifi wiwa aabo to ṣe pataki ati aba orukọ sinu apo kanna ṣiji ohun ti o ṣe pataki.
Ni akojọpọ
AI jẹ àlẹmọ akọkọ ti ko lagbara ni atunyẹwo koodu: o mu asan / awọn aṣiṣe aṣiṣe, awọn ọran eti, ati aabo ti o rọrun dara dara; ṣugbọn o jẹ alailagbara lori ọrọ-ọrọ ti o nilo awọn abawọn gẹgẹbi ofin iṣowo, faaji, ati ilodisi, ati pe o ṣe agbejade awọn idaniloju eke mejeeji ati awọn odi eke. Beere awọn awari nipasẹ ẹka ati iwuwo, ṣe àlẹmọ ọkọọkan pẹlu oye eniyan, ṣayẹwo pẹlu ọwọ awọn ọna pataki. Ifọwọsi nigbagbogbo jẹ ibuwọlu ti ẹlẹrọ oniduro.
Ohun elo iṣẹ-ṣiṣe
Yan gidi tabi aipẹ PR/diff. Ni akọkọ, jẹ ki AI ṣe atunyẹwo rẹ pẹlu awoṣe “Oorun-ojute, atunyẹwo ẹka”. Fi awọn awari sinu tabili kan ki o pinnu fun ọkọọkan: otitọ (Mo jẹri), idaniloju eke (eyi ni ero mi), tabi lati ṣe imuse. Lẹhinna ṣe irin-ajo funrararẹ ki o gbiyanju lati wa o kere ju ohun kan (paapaa ofin iṣowo tabi ọran eti) pe AI ti nsọnu ki o kọ si isalẹ.
akojọ ayẹwo
- [] Mo lo atunyẹwo AI bi àlẹmọ akọkọ, kii ṣe ifọwọsi.
- [] Mo ṣafikun idi ati awọn ilana gbigba si itọsi atunyẹwo naa.
- [] Mo ya awọn awari kuro lati ariwo nipasẹ ẹka ati fẹ wọn gidigidi.
- [] Mo ṣe àlẹmọ ni mimọ kọọkan wiwa lati jẹrisi / eke rere / waye.
- [] Gẹgẹbi eniyan, Mo ṣayẹwo ofin iṣowo ati ibamu ayaworan.
- [] Mo nilo ifọwọsi lati ọdọ ẹlẹrọ ti o peye fun awọn ayipada ailewu-pataki.