{"conversations": [{"from": "human", "value": "Azaldu zein den diskriminazio-probaren arteko aldea, ereduzko probak eta Fuzzzing-ak."}, {"from": "gpt", "value": "Propietatean oinarritutako proba paradigma bat da, eta probak sortzen ditu programazio-kodeak baieztatzen duen kodearen ezaugarri multzo batekin. Adibidez, biderketa-funtzioa probatzean, badakit zenbaki negatibo bat zenbaki negatibo batekin biderkatzen den bakoitzean, erantzunak positiboa izan behar duela. Propietatean oinarritutako proba egiteko tresna batek ausazko probak sor ditzake, eta bi zenbaki negatibo pasatzen dira, kodeko baieztapenaren balioa bikoizten saiatzen direnak. Propietatean oinarritutako liburutegi batzuk Smart``Check`' eta TypeScript-en arke-avery-en 'existation' dira, baina proba-ean oinarritzen da, eta espero den portaera bitar bat azaltzen du (batzuetan SUUM edo SUM), adibidez, sistemak uneko proba egiten du, eta datu bitarrak exekutatzen saiatzen dira, UTF-proze-prozesantzian oinarrituta dauden teknika baten bitartez, edo espero ez diren proben bidez. Oinarri-metodo jakin bat aurkitzen saiatzen da, baina espero ez diren metodoetan oinarritzen, adibidez, proba-metodo bat aurkitzen saiatzen ari da."}, {"from": "human", "value": "Sortu gakoen arteko ezberdintasunen zerrenda bat"}, {"from": "gpt", "value": "Bai, hemen daude propietateetan oinarritutako proba, modeloetan oinarritutako proba eta probaren arteko gako desberdintasunak: Propietateak probatzeko probak: testaren azpiko sistemak propietate multzo bat edo proba-kasuak sortzen dituen probatzen du. Propietate horien arabera, eta agertokien barruti zabala azal dezake ertzen eta ustekabeko portaera erabilgarria izan daiteke sarrera eta irteera eredugarri ugariko sistema konplexuak probatzeko: proba-sistema formal bat probatzean, proba-kasuen azpian dagoen sistema formal bat sortzen da, bide guztiak eta egoera konplexuak ziurtatzen laguntzen du, eta sistema konplexuek Fu-sistema konplexuetan oinarritutako portaera konplexua izan behar dute: proba-sistema konplexuekin edo ausazko portaerak sortzen laguntzen dute. Probak egiteko, eta espero ez diren beste aplikazio batzuk erabil daitezke, adibidez, adibidez, sarrerako nahiz eta sarrerako nahiz irteera-protokoloak onartu ahal izango dira."}]}