„Microsoft“ pristato „PDD Kit“ DI generuoto kodo patikrinimui

Trumpai: „Microsoft Research“ pristatė „PDD Kit“ – įrankių rinkinį, skirtą sujungti žmogaus ketinimus ir DI sugeneruotą kodą per „įrodymais pagrįstą kūrimą“ (Proof-Driven Development). Naudojant formalią patikrą su „Verus“ kalba, šis rinkinys leidžia kūrėjams matematiškai įrodyti, kad DI parašytas kodas atitinka nurodytus reikalavimus, žengiant toliau nei tradicinis testavimas.

🤖Šią santrauką automatiškai parengė dirbtinis intelektas pagal „Microsoft Research“ publikaciją. Tai mūsų tekstas, ne originalo kopija — faktai, skaičiai ir citatos priklauso šaltiniui, kurio nuoroda pateikta viršuje ir apačioje.