Քանի որ արհեստական բանականությունը (ԱԲ) ծրագրավորումը դարձնում է ավելի մատչելի, ծրագրային ապահովման ինժեներիայի հիմնական խնդիրը տեղափոխվում է իրականացումից դեպի ստուգում և, ավելի կարևորը, պայմանագրի բացահայտում: Հեղինակ Քեն Ուոլգերը պնդում է, որ թեև ԱԲ-ն կարող է ստեղծել գործառույթներ հրահանգների հիման վրա, այն հաճախ հաշվի չի առնում ենթադրյալ պահանջները, ինչպիսիք են գաղտնաբառի վերականգնման հղումների միանգամյա օգտագործումը կամ միաժամանակյա հարցումների կառավարումը: Հեղինակը նշում է, որ իրական խոչընդոտը «ճիշտ» վարքագծի սահմանումն է: Քանի որ մարդիկ հաճախ նախապես չունեն ամբողջական բնութագիր, մշակման գործընթացը պետք է դառնա կրկնվող կատարելագործման ցիկլ, որտեղ բացահայտված անփոփոխ արժեքները գրանցվում են դիմացկուն և վերանայելի պայմանագրում: Այս մոտեցումը դուրս է գալիս պարզ թեստավորումից՝ ընդգծելով, որ ճշգրտության սահմանումը պետք է լինի անկախ իրականացումից: Այսպիսով, ինքնավար գործակալների դարաշրջանում հստակ և ստուգելի վարքագծային պայմանագրերի ստեղծումը կենսական է համակարգային ձախողումները կանխելու համար:
This is a summary. Read the full article at the original source:
Dev.toԿապակցված
Մինչ Habr-ը ռուսալեզու հատվածում զբաղեցնում է յուրահատուկ դիրք, անգլալեզու տիրույթում չկա մեկ միասնական համարժեք: Հոդվածի հեղինակը վերլուծում է անգլալ…
Այս հոդվածը քննարկում է Scala ծրագրավորման լեզվում համատեքստային աբստրակցիաների հիմնական մեխանիզմները: Հեղինակը վերլուծում է ծրագրերի ավտոմատ անուղղակ…
Ես տեսություն ունեմ, որ ծրագրային ապահովումը մարդկանց խելագարության է հասցնում
Hacker News-ում վերջերս տեղի ունեցած քննարկումը ուսումնասիրում է այն համարձակ տեսությունը, որ ժամանակակից ծրագրային ապահովման մշակումը և դրա արդյունքո…