{"conversations": [{"from": "human", "value": "Explica'm la difer\u00e8ncia entre les proves basades en propietats, el model basat en les proves i la frzing."}, {"from": "gpt", "value": "La prova basada en la propietat \u00e9s un paradigma que genera proves usant el codi o verificatiu amb un conjunt de caracter\u00edstiques sobre el codi que implica el programador. Per exemple, en provar una funci\u00f3 de multiplicaci\u00f3, s\u00e9 quan un n\u00famero negatiu es multiplica per un n\u00famero negatiu, la resposta ha de ser positiva. Un joc d' eines per a la prova de propietats basant- se en provar les propietats pot generar casos aleatoris que passen dos n\u00fameros negatius que intenten marcar la validesa del programador en el codi. Algunes biblioteques conegudes per a provar- lo basant- se en les proves de Skhaklav i el tipus \"Script \" ubtink- Bink- Model \" \u00e9s una metodologia que s' esperava descriure el comportament del binari quan es tanqui un sistema de provador (a vegades) o comparar- lo amb un sistema de provador de prova de prova de prova de prova de prova de prova de prova de prova de prova de prova de resultats reals. Sovint, per\u00f2 si s' executa una propietat bin\u00e0ria que s' executa autom\u00e0ticament a trav\u00e9s d' un sistema d' error no \u00e9s generat a trav\u00e9s d' errors. A difer\u00e8ncia d' un sistema de prova d' una propietat de prova d' errors que s' errors que s' error que s' una gran c\u00f2pia de prova d' errors. En comptes d' errors s' error que s' error no \u00e9s un sistema de prova d' error que s' error que s' error no \u00e9s un sistema de prova d' error que s' error que s' error o no \u00e9s un sistema de prova d' error."}, {"from": "human", "value": "Crea una llista de les difer\u00e8ncies clau entre cadascuna"}, {"from": "gpt", "value": "\u00c9s clar, aqu\u00ed hi ha algunes difer\u00e8ncies clau entre proves basats en propietats, models i refregant: Testing de propietats: Focus sobre provar si el sistema sota prova les propietats o els casos de proves invariants es generen basant- se en aquestes propietats i poden cobrir un ampli interval d' escenaris que puguin descobrir els casos de la vora i el comportament inesperat pot ser \u00fatil per a provar sistemes complexos amb sistemes d' entrada i de sortida possibles: En provar un model formal de prova sota els casos de prova, assegurar totes les rutes possibles i escenaris estan cobertes de sistema d' ajuda i verificar el comportament complex dels sistemes de seguretat de l' entrada amb sistemes complexos i el comportament del sistema d' entrada Fz: la creaci\u00f3 d' un sistema de comprovaci\u00f3 d'inexigents o de problemes de seguretat d' entrada. L' altres sistemes d' entrada es poden ajudar a trobar una t\u00e8cnica de seguretat no fiable en el comportament d' entrada que s' ull a la seguretat que s' inclouen a la seguretat i les aplicacions que s' inclouen a la seguretat."}]}