I-Verified Spec-Driven Development (VSDD)

Kungani Imiklamo eminingi Yesofthiwe Namanje Ihluleka — Futhi Indlela Yokushintsha Lokho

Ngo-2024, umbiko we-CHAOS we-Standish Group uveze ukuthi amaphrojekthi we-software angu-31% kuphela aqedwe ngesikhathi nangaphakathi kwesabelomali. Ama-69% asele afakwe inselelo noma ahluleka ngokuphelele. Imbangela kwakungebona onjiniyela ababi noma uxhaso olunganele — bekuwukungaqondakali. Amaqembu akhe izici ezingafunwa muntu, athumela ikhodi ephambana nemithetho yebhizinisi, futhi achitha izinyanga enza amasistimu aklanywe ngokuqagela kunezidingo eziqinisekisiwe. I-Verified Spec-Driven Development (VSDD) iyindlela ekhulayo eklanyelwe ukuqeda lokhu kungaqondakali ngokuphelele, iqinisekise ukuthi wonke umugqa wekhodi ulandelela ubuyela esimisweni esiqinisekisiwe ngaphambi kokuba sifinyelele ekukhiqizweni.

Ngokungafani nezindlela zokuthuthukisa ezivamile lapho ukucaciswa kukhona khona njengamadokhumenti abhalwe ngokunganaki asuka eqinisweni phakathi namaviki, i-VSDD ithatha izicaciso njengama-artifact asebenzisekayo, ahlolekayo, naqinisekiswa ngokuqhubekayo. Umphumela uyisoftware eyenza lokho kanye ababekuhlosile - akusenani, kungabi ngaphansi. Emabhizinisini asebenzisa izinkundla zokusebenza eziyinkimbinkimbi ezinamamojula amaningi axhumene, imithelela iyashintsha.

Okuqinisekisiwe Ukuthi Intuthuko Eqhutshwa Ngokukhethekile Isho Ukuthini

Emnyombweni wayo, i-VSDD iyindlela yobunjiniyela enesizotha eyakhelwe phezu kwezinsika ezintathu: ukucaciswa okusemthethweni, ukuqinisekiswa okuzenzakalelayo, nokulandeleka okuqhubekayo. Onjiniyela baqala ngokubhala imininingwane efundeka ngomshini engachazi nje lokho isofthiwe okufanele ikwenze, kodwa izingqinamba eziqondile, izehlakalo ezisemaphethelweni, nokushintshashintsha okufanele kubambe iqiniso kuzo zonke izigaba zokusetshenziswa. Lezi akuzona izindaba ezingacacile zabasebenzisi noma izimfuneko ezikhombe ichashazi - ziyizivumelwano eziqinile, ezicacile phakathi kwesistimu nababambiqhaza bayo.

Ingxenye "eqinisekisiwe" yiyona ehlukanisa i-VSDD nezindlela ezindala eziqhutshwa ngokucaciswa. Kunokuthembela ekubuyekezweni kwekhodi okwenziwa ngesandla noma ukuhlolwa kwangemva kweqiniso ukuze kuqinisekiswe ukuthobela umthetho, i-VSDD isebenzisa amathuluzi okuqinisekisa okuzenzakalelayo - okuhlanganisa ukuhlola okusekelwe endaweni, abahloli benkontileka, futhi kwezinye izimo abasizi bobufakazi obusemthethweni - ukuze baqinisekise ngokuqhubekayo ukuthi ukuqaliswa kufana nencazelo. Uma ikhodi iphuma ku-spec, ukwakhiwa kuyehluleka. Uma ukucaciswa kushintsha, umthelela kukhodi ekhona uvele ngokushesha.

Lokhu kudala lokho ongoti abakubiza ngokuthi "umthombo owodwa weqiniso loop" — izicaciso zazisa ukuqaliswa, ukusetshenziswa kuqinisekiswa ngokumelene nezicaciso, kanye nanoma yiluphi ushintsho kunoma yikuphi ukucupha ukuqinisekiswa kabusha. Umjikelezo wempendulo imizuzu, hhayi izinyanga.

Izigaba Ezinhlanu Zokugeleza Kokusebenza kwe-VSDD

Ukwamukela i-VSDD akudingi ukulahla izinqubo zakho ezikhona ngokuphelele. Amaqembu amaningi ayisebenzisa njengembondela ehlelekile phezu kokugeleza komsebenzi okugugile noma okuphindaphindayo. Indlela yokusebenza ihlukana ibe izigaba ezinhlanu ezihlukene ezidala uchungechunge olunganqamuki ukusuka kunhloso yebhizinisi ukuya kukhodi esetshenzisiwe.

1. Special Authoring: Abahlaziyi bebhizinisi nochwepheshe besizinda babambisana nonjiniyela ukuze babhale ukucaciswa okusemthethweni kusetshenziswa amafomethi ahlelekile — I-OpenAPI yama-API, imidwebo yemishini yesimo yokugeleza komsebenzi, noma izilimi eziqondene nesizinda (DSLs) zokuqonda kwebhizinisi. I-spec ngayinye ihlanganisa imibandela yangaphambili, i-postconditions, nokuguquguqukayo.
2. Ukubuyekeza Okucacisiwe Nokulingisa: Ngaphambi kokuthi kubhalwe noma iyiphi ikhodi, ukucaciswa kuyenziwa kuqhathaniswe nezimo zomhlaba wangempela. Ababambiqhaza bangakwazi "ukusebenzisa" i-spec ukuze babone ukuthi uhlelo luzoziphatha kanjani, bathole ukungezwani ngaphambi kokuba kube izimbungulu ezibizayo.
3. Ukusetshenziswa Ngokuqinisekiswa Okusemgqeni: Onjiniyela babhala ikhodi echazwe ngezithenjwa ezithile. Amathuluzi azenzakalelayo ahlola ngokuqhubekayo ukuthi wonke umsebenzi, indawo yokugcina, kanye nokuguqulwa kwedatha kuyanelisa izingqinamba zayo ezihambisanayo.
4. Ukuqinisekiswa Kokuhlanganiswa: Njengoba amamojula ehlanganiswa, ukuqinisekiswa kwe-cross-spec kuqinisekisa ukuthi izinkontileka phakathi kwezingxenye ziyahlonishwa. Ifomethi yokukhiphayo yemojula ye-invoyisi kufanele ihambisane nalokho okulindelwe yimojuli ye-accounting njengokufakwayo.
5. Ukuqapha Okukhethekile Okuqhubekayo: Ukuthunyelwa kwangemuva, iziqaphi zesikhathi sokusebenza ziqinisekisa ukuthi ukuziphatha kokukhiqiza kuyaqhubeka nokufana nokucaciswayo, ukubamba ukukhukhuleka kwemvelo, okudidayo kwedatha, nokwehluleka kokuhlanganiswa kwezinkampani zangaphandle ngesikhathi sangempela.

Le loop yezigaba ezinhlanu iqinisekisa ukuthi ukucaciswa akukaze kuthathwe njengokuthi "bhala kanye, khohlwa unomphela". Ziyizinto zobuciko eziphilayo, eziphefumulayo eziguqukayo eduze kwe-codebase futhi zihlala zinembile ngaso sonke isikhathi.

Kungani Ukuhlolwa Kwendabuko Kuwodwa Kufushane

Ukuphikisa okuvamile ku-VSDD ukuthi: "Sesivele sibhala izivivinyo - akwanele lokho?" Impendulo eqotho ithi cha, futhi idatha isekela lokhu. Ucwaningo oluvela eqenjini le-Microsoft's Empirical Software Engineering luthole ukuthi ngisho namaphrojekthi anekhodi engu-80%+ avame ukuthunyelwa ngokukhubazeka okugxilwe ezikhaleni zokucaciswa - izimo lapho ukuhlolwa kudlule khona ngoba ahlole into engalungile, hhayi ngoba isofthiwe yayilungile.

Iyunithi yosiko nokuhlolwa kokuhlanganisa kuqinisekisa ukuziphatha kokusetshenziswa, kodwa kungabheka kuphela izimo ezilindelwe unjiniyela. Uma unjiniyela engawuqondi umthetho webhizinisi, uzobhala kokubili ikhodi nokuhlola ngokungalungile — futhi kokubili kuzophumelela. I-VSDD iphula lo mjikelezo ngokusungula isendlalelo sokuqinisekisa esizimele. Ukucaciswa kugunyazwe ochwepheshe besizinda, hhayi abathuthukisi ababhala ukusetshenziswa, okwenza ukuhlola nebhalansi kwemvelo okubamba ukungaboni ngasolinye kusenesikhathi.

Isiphazamisi esiyingozi kakhulu kunoma iyiphi isistimu akusona esiyiphahlazayo — yileso esikhiqiza buthule umphumela ongalungile kuyilapho zonke izivivinyo ku-suite zidlula ngokuluhlaza. I-Verified Spec-Driven Development ikhona ngqo ukuze ibambe lesi sigaba sokwehluleka, iqinisekisa ukuthi ukulunga kukalwa ngokumelene nenjongo yebhizinisi, hhayi ukuqagela konjiniyela.

Cabangela injini yokubala iholo okufanele isingathe amanani esikhathi esengeziwe kuzo zonke izindawo eziyi-14 ezihlukene. Unjiniyela angase abhale izivivinyo ezihlanganisa izindawo ezinhlanu azijwayele kakhulu, aphuthe amacala kwezinye eziyisishiyagalolunye. Ngaphansi kwe-VSDD, imininingwane izobala zonke izimiso eziyi-14, futhi ukuqinisekiswa okuzenzakalelayo kuzomaka noma iyiphi indawo ngaphandle kokusetshenziswa okuhambisanayo - ngaphambi kokuthi ikhodi ifinyelele ku-QA.

Umthelela Womhlaba Wangempela: Kusukela ku-Aerospace kuya Ezinkundleni Zebhizinisi

I-VSDD inezimpande zayo zobuhlakani ezimbonini ezibaluleke kakhulu kwezokuphepha. I-Jet Propulsion Laboratory ye-NASA isebenzise ukucaciswa okusemthethweni nokuqinisekiswa amashumi eminyaka - i-Mars Curiosity rover's autonomous navigation system yakhiwe ngokumelene nemininingwane eqinisekisiwe eqinisekisa ukuthi imoto ngeke ize ikwazi ukuzithola isesimweni esingalungiseki. I-Airbus isebenzisa amasu afanayo kuwo wonke amasistimu ayo okulawula impukane ngocingo, lapho igebe lesicaciso lingelona nje iphutha — liyinhlekelele engaba khona.

Kodwa indlela yokusebenza isabalala ngokushesha ngale kwe-aerospace nokuvikela. Izinkampani zobuchwepheshe bezezimali zamukele izimiso ze-VSDD zokuqinisekisa ukuthi izinjini zokucubungula izinto zithobelana nezidingo zokulawula kuzo zonke izindawo eziningi ngesikhathi esisodwa. Izinkundla zokunakekelwa kwezempilo zisebenzisa ukuqinisekiswa okucacisiwe ukuze kuqinisekiswe ukuthi amathuluzi okusekela izinqumo zomtholampilo awalokothi ancome ukusebenzisana kwezidakamizwa okwephula imihlahlandlela ye-FDA. Futhi ngokwandayo, amapulatifomu ebhizinisi ajwayelekile anamathuluzi amaningi axhumene aphendukela ku-VSDD ukuze alawule ubunkimbinkimbi bokusebenzisana kwamamojula ahlukene.

E-Mewayz, lapho amamojula angu-207 - ahlanganisa i-CRM, ama-invoyisi, ukukhokhelwa, i-HR, ukuphathwa kwemikhumbi, izibalo, nokunye okwengeziwe - kufanele asebenze ndawonye ngaphandle komthungo kubasebenzisi abangaphezu kuka-138,000, imigomo ye-VSDD yazisa ngokuqondile izinqubo zobunjiniyela benkundla. Uma isibuyekezo semojula ye-invoyisi yezibalo zentela singangena ku-payroll, accounting, nezibalo, imininingwane eqinisekisiwe iqinisekisa ukuthi konke ukuncika komfula kubalwa futhi kugunyazwe ngaphambi kokuthunyelwa koshintsho. Lena yindlela inkundla engafinyelela ngayo kumakhulu amamojula ngaphandle kokwehluleka kokuhlanganisa okuvamise ukuhlupha izinhlelo zebhizinisi eziyinkimbinkimbi.

Ukusebenzisa i-VSDD Ngaphandle Kokubilisa Ulwandle

Omunye wemibono eyiphutha enkulu mayelana ne-VSDD ukuthi idinga ukulungiswa okuphelele kwenqubo kanye nezinyanga zokusetha ngaphambi kokuletha inani. Eqinisweni, ukutholwa okuphumelele kakhulu kuqala kancane futhi kwanda kancane kancane. Amaqembu azama ukucacisa ngokusemthethweni uhlelo lwawo lonke ngosuku lokuqala avele aphele amandla. Amaqembu aqala ngemojula yawo engcuphe kakhulu futhi andise ngaphandle abona imbuyiselo ehlanganisiwe.

Nali isu lokwamukela elisebenzayo elisebenzela amaqembu anoma yimuphi usayizi:

• Qala ngemingcele yakho yokuhlanganisa. Amaphoyinti lapho amamojula noma idatha yezinsizakalo ishintshisana khona yilapho izikhala zezincazelo zidala khona umonakalo omkhulu. Cacisa ngokusemthethweni izinkontileka zakho ze-API kuqala — izikimu zesicelo/zokuphendula, amakhodi wamaphutha, imikhawulo yesilinganiso, nezimfuneko zokuqinisekisa.
• Engeza okuguquguqukayo kungqondongqondo yebhizinisi lakho. Thola imithetho okufanele ihlale iyiqiniso — amabhalansi e-akhawunti akumele abe negethivu, izikhathi zokuqokwa akufanele zidlulelane, amarekhodi esisebenzi kufanele abe ne-ID yentela evumelekile. Faka ikhodi lokhu njengokugomela okungaqinisekiswa.
• Ukuqinisekisa okuzenzakalelayo ku-CI/CD. Hlanganisa ukuqinisekiswa okucacisiwe epayipini lakho lokuhlanganisa eliqhubekayo ukuze sonke isicelo sokudonsa sihlolwe ngokumelene nencazelo ngaphambi kokuhlanganisa. Lokhu kudala impendulo esheshayo ngaphandle kokudinga ukuthi onjiniyela bashintshe ukuhamba komsebenzi wabo kwansuku zonke.
• Yenza ama-specs ahlanganyele. Sebenzisa amathuluzi avumela ababambiqhaza okungebona abezobuchwepheshe bafunde futhi banikele ekucacisweni. Uma i-CFO ingaqinisekisa ukuthi i-invoyisi ecacisiwe ifana nomthetho wentela wakamuva, uvale igebe phakathi kwenhloso yebhizinisi nokusetshenziswa kobuchwepheshe.

Ukhiye ukuphatha i-VSDD njengegradient, hhayi kanambambili. Ngisho nokutholwa ngokwengxenye - ukuqinisekisa imithetho yakho yebhizinisi ebaluleke kakhulu - kungasusa zonke izigaba zokukhubazeka kokukhiqiza. Inkampani yakwa-SaaS eqinisekise kuphela ukucaciswa kwayo okuhlobene nokukhokha ibike ukwehliswa ngo-73% kumathikithi osekelo ahlobene nokukhokha phakathi nekota yokuqala yokutholwa.

Iqhaza Le-AI Ekuqinisekiseni Ukucaciswa Kwesizukulwane Esilandelayo

Impambanondlela ye-VSDD kanye nobuhlakani bokwenziwa yilapho ikusasa lendlela yokusebenza lilele khona. Amathuluzi anamandla e-AI aseqala ukwenza ngokuzenzakalelayo izingxenye ezidinga abasebenzi abaningi kakhulu zokugeleza komsebenzi we-VSDD - akhiqiza ukucaciswa kokuqala okuvela ezisekelweni zekhodi ezikhona, ukuhlonza izikhala zokucaciswa ngokuhlaziya amaphutha wokukhiqiza, ngisho nokuphakamisa ukucaciswa kwemininingwane esekelwe emaphethini okuziphatha omsebenzisi aqashiwe.

Amamodeli ezilimi ezinkulu manje angahumushela izidingo zebhizinisi zolimi lwemvelo zibe izicaciso ezihlelekile, eziqinisekiswa umshini ngokunemba okumangalisayo, kuncishiswe umgoqo wokugunyaza okade wenza izindlela ezisemthethweni zingasebenzi emaqenjini ahamba ngokushesha. Lapho umphathi womkhiqizo ebhala "amakhasimende kuhlelo lwebhizinisi kufanele athole isaphulelo sevolumu esingu-15% kuma-oda angaphezu kuka-$10,000," ukusebenzisa i-AI kungakhiqiza ukucaciswa okusemthethweni okuhambisanayo, amacala okuhlola, neziqinisekiso zokuqinisekisa — ukuguqula umusho ube yinkontileka eqinisekisiwe ngamasekhondi esikhundleni samahora.

Amapulatifomu afana ne-Mewayz asebenzisa i-AI ezenzakalelayo kuwo wonke amamojula awo okusebenza ukuze alethe leli zinga lokunemba ezinqubweni zebhizinisi zansuku zonke. Lapho ibhizinisi lilungiselela ukugeleza komsebenzi ngokwezifiso - ukuxhuma idatha ye-CRM emithethweni yama-invoyisi ekubalweni kwabakhokhelwayo - Ukuqinisekiswa okusizwa yi-AI kungahlaziya lonke uchungechunge lokuhamba komsebenzi futhi kuhlabe umkhosi ukungqubuzana okunengqondo ngaphambi kokuthi kubonakale njengamaphutha ekwenziweni kwangempela. Lokhu ukusetshenziswa okungokoqobo kwezimiso ze-VSDD esikalini: ukuqinisekisa ukuthi ingqondo yebhizinisi eyinkimbinkimbi, elungiselelwe umsebenzisi ihlala ilungile noma ithuthuka.

I-Specification-First Mindset: A Cultural Shift Worth Making

Mhlawumbe ingxenye engabongwa kakhulu ye-VSDD ayiyona eyobuchwepheshe — ingeyamasiko. Amaqembu asebenzisa ukucaciswa kokucabanga kokuqala abika ukuthuthukiswa okunwebeka ngalé kokunciphisa amaphutha. Ukuxhumana phakathi kwamalungu eqembu lezobuchwepheshe kanye nalawo angewona awezobuchwepheshe kuyathuthuka ngoba ukucaciswa kunikeza ulimi olwabiwe, olungaxakile. Isikhathi sokugibela siyehla ngoba onjiniyela abasha bangafunda imininingwane ukuze baqonde ukuziphatha kwesistimu ngaphandle kokuhlehlisa i-codebase. Futhi izinqumo zezakhiwo ziba ngamabomu kakhulu ngoba izindleko zokushintsha isicaciso (nokusabalalisa lolo shintsho ngokuqinisekisa) ziphoqa amaqembu ukuthi acabange ngokucophelela ngaphambi kokwengeza inkimbinkimbi.

Imboni yesofthiwe isichithe amashumi eminyaka ilungiselela isivinini sokulethwa. I-VSDD ayinensisi ukulethwa - iqondisa kabusha isikhathi ebesiyosetshenziswa ukulungisa iphutha, ukulungisa okushisayo, nokuxolisa kumakhasimende ekucaciseni kwangaphambili okuvimbela lezo zinkinga ukuthi zenzeke. Emabhizinisini asebenzisa imisebenzi ebalulekile yenjongo kuwo wonke amamojula amaningi futhi asebenzela izinkulungwane zabasebenzisi, lokho kuhwebelana akusizi nje kuphela - kubalulekile. Umbuzo awukona ukuthi inhlangano yakho ingakwazi yini ukusebenzisa i-Verified Spec-Driven Development. Ukuthi ungakwazi yini ukungakwazi.

Imibuzo Evame Ukubuzwa

Yini i-Verified Spec-Driven Development (VSDD)?

I-VSDD iyindlela esusa ukungaqondakali kumaphrojekthi wesofthiwe ngokudinga ukuthi zonke izici, umthetho webhizinisi, kanye nesinqumo sezakhiwo zithwetshulwe ngencazelo eqinisekisiwe ngaphambi kokuthi kubhalwe noma iyiphi ikhodi. Ngokungafani nezindlela ezivamile lapho ukuqagela kuqhubekisela phambili intuthuko, i-VSDD iqinisekisa ukuqondanisa phakathi kwababambe iqhaza nabathuthukisi ngokusebenzisa izicaciso ezihlelekile, ezingahlolekayo - ukwehlisa ngokumangazayo izinga lokuhluleka kwephrojekthi elingu-69% elikhonjwe emibikweni yemboni.

Kungani amaphrojekthi amaningi e-software ehluleka naphezu kwamaqembu anamakhono?

Imbangela eyinhloko akulona ithalente noma isabelomali — ukungaqondakali. Amaqembu akha izici ezingaceliwe muntu, ikhodi yomkhumbi engqubuzana nemithetho yebhizinisi, futhi achitha izinyanga enza kabusha amasistimu akhelwe ekuqageleni okungaqinisekisiwe. I-VSDD ibhekana nalokhu ngokwenza izicaciso zibe umthombo owodwa weqiniso, iqinisekise ukuthi bonke ababambiqhaza bayavumelana ngalokho okwakhiwayo ngaphambi kokuba intuthuko iqale, kuvinjwe ukungahambi kahle okubizayo kanye nokukhukhuleka kobubanzi kuwo wonke umjikelezo wokuphila wephrojekthi.

Injani i-VSDD uma iqhathaniswa nezindlela ze-Agile noma ze-Waterfall?

Ngenkathi i-Agile igcizelela ukulethwa okuphindaphindayo futhi i-Waterfall ilandela izigaba ezilandelanayo eziqinile, zombili ngokuvamile zihlushwa izikhala zokucaciswa. I-VSDD igcwalisa lezi zinhlaka ngokwengeza isendlalelo sokuqinisekisa - imininingwane iqinisekiswa ngokuqhathaniswa nezidingo zebhizinisi ngaphambi kokungena noma yimuphi umjikelezo wokuthuthukiswa. Lokhu kusho ukuthi noma usebenza ngokugijima noma ngezigaba, wonke umsebenzi ubuyela emuva esidingweni esiqinisekisiwe, esicacile esigunyazwe ngokusobala ababambe iqhaza.

Ingabe i-VSDD ingasetshenziswa emaqenjini asebenzisa izinkundla ezifana ne-Mewayz?

Nakanjani. Izingxenyekazi ezifana Mewayz, i-OS yebhizinisi enamamojula angu-207 eqala ku-$19/mo, isivele ihlanganisa imisebenzi, ukuzenzekelayo, nokuphathwa kwephrojekthi. Ukusebenzisa izimiso ze-VSDD ngaphakathi kwamathuluzi anjalo kuqinisekisa ukuthi konke ukugeleza komsebenzi, ukuhlanganiswa, nenqubo ezenzakalelayo yakhiwa kusukela ekucacisweni okuqinisekisiwe - kunciphisa ukusebenza kabusha nokusiza amaqembu ukuthumela amasistimu athembekile ngokushesha kuso sonke isitaki sawo sebhizinisi.