Patvirtintas specifikacijomis pagrįstas vystymas (VSDD)

Kodėl dauguma programinės įrangos projektų vis dar žlunga – ir tai keičia metodika

2024 m. Standish grupės CHAOS ataskaita atskleidė, kad tik 31 % programinės įrangos projektų buvo užbaigti laiku ir neviršijant biudžeto. Likę 69 % buvo užginčyti arba visiškai nesėkmingi. Pagrindinė priežastis buvo ne blogi kūrėjai ar nepakankamas finansavimas – tai dviprasmiškumas. Komandos sukūrė funkcijas, kurių niekas neprašė, siuntė kodą, kuris prieštarauja verslo taisyklėms, ir ištisus mėnesius atnaujino sistemas, kurios buvo sukurtos remiantis prielaidomis, o ne patikrintais reikalavimais. Verified Spec-Driven Development (VSDD) yra nauja metodika, skirta visiškai pašalinti šią dviprasmybę, užtikrinant, kad kiekviena kodo eilutė atsektų į oficialiai patvirtintą specifikaciją, kol ji dar nepasiekia gamybos.

Skirtingai nuo tradicinių kūrimo metodų, kai specifikacijos egzistuoja kaip laisvai parašyti dokumentai, kurie per kelias savaites nukrypsta nuo realybės, VSDD specifikacijas traktuoja kaip vykdomus, testuojamus ir nuolat tikrinamus artefaktus. Rezultatas – programinė įranga, kuri atlieka būtent tai, ką suinteresuotosios šalys norėjo – nei daugiau, nei mažiau. Įmonėms, kuriose veikia sudėtingos veiklos platformos su daugybe tarpusavyje sujungtų modulių, pasekmės yra transformuojančios.

Ką iš tikrųjų reiškia patvirtinta specifikacija pagrįsta plėtra

Šerdyje VSDD yra disciplinuotas inžinerinis metodas, pagrįstas trimis ramsčiais: formaliomis specifikacijomis, automatizuotu tikrinimu ir nuolatiniu atsekamumu. Kūrėjai pradeda rašydami mašininiu būdu skaitomas specifikacijas, kurios apibrėžia ne tik ką programinė įranga turi daryti, bet ir tikslius apribojimus, kraštutinius atvejus ir invariantus, kurie turi galioti kiekviename vykdymo etape. Tai nėra neaiškios vartotojų istorijos ar aiškiai nurodyti reikalavimai – tai griežti, nedviprasmiški sistemos ir jos suinteresuotųjų šalių susitarimai.

Patikrintas komponentas išskiria VSDD nuo senesnių specifikacijomis pagrįstų metodų. Užuot pasikliaujęs neautomatinėmis kodų peržiūromis ar testavimu po fakto, kad patvirtintų atitiktį, VSDD naudoja automatinius tikrinimo įrankius, įskaitant nuosavybės testavimą, sutarčių tikrintuvus ir kai kuriais atvejais oficialius įrodymo pagalbininkus, kad nuolat patvirtintų, ar diegimas atitinka specifikaciją. Jei kodas nukrypsta nuo specifikacijų, kūrimas nepavyksta. Jei specifikacijos pasikeičia, poveikis esamam kodui iš karto pastebimas.

Taip sukuriama tai, ką specialistai vadina „vieno tiesos šaltinio šaltiniu“ – specifikacijos informuoja apie įgyvendinimą, įgyvendinimas patikrinamas pagal specifikacijas, o bet koks jų pakeitimas suaktyvina pakartotinį patikrinimą. Atsiliepimų ciklas yra minutės, o ne mėnesiai.

Penki VSDD darbo eigos etapai

Priimant VSDD nereikia visiškai atmesti esamų procesų. Dauguma komandų ją įgyvendina kaip struktūrinę perdangą, papildančią judrias arba pasikartojančias darbo eigas. Metodika suskirstyta į penkis skirtingus etapus, kurie sukuria nenutrūkstamą grandinę nuo verslo ketinimų iki įdiegto kodo.

1. Specifikacijų kūrimas: verslo analitikai ir domenų ekspertai bendradarbiauja su kūrėjais, norėdami rašyti oficialias specifikacijas naudodami struktūrizuotus formatus – OpenAPI API, būsenos mašinų diagramas darbo eigoms arba konkrečias domeno kalbas (DSL) verslo logikai. Kiekviena specifikacija apima išankstines sąlygas, posąlygas ir invariantus.
2. Specifikacijų peržiūra ir modeliavimas: prieš rašant bet kokį kodą specifikacijos imituojamos pagal realaus pasaulio scenarijus. Suinteresuotosios šalys gali „paleisti“ specifikacijas, kad pamatytų, kaip elgsis sistema, ir užkluptų nesusipratimus, kol jie netaps brangiomis klaidomis.
3. Įdiegimas naudojant tiesioginį patvirtinimą: kūrėjai rašo kodą su specifikacijų nuorodomis. Automatiniai įrankiai nuolat tikrina, ar kiekviena funkcija, galutinis taškas ir duomenų transformacija atitinka atitinkamus specifikacijos apribojimus.
4. Integracijos patikrinimas: kai moduliai surenkami, kryžminė patikra užtikrina, kad būtų laikomasi komponentų sutarčių. Sąskaitų faktūrų išrašymo modulio išvesties formatas turi atitikti tai, ko tikimasi apskaitos modulio specifikacijose kaip įvesties.
5. Nuolatinis specifikacijų stebėjimas: po įdiegimo vykdymo laiko stebėjimai patvirtina, kad gamybos elgsena ir toliau atitinka specifikacijas, realiuoju laiku užfiksuoja aplinkos nukrypimus, duomenų anomalijas ir trečiųjų šalių integravimo klaidas.

Ši penkių pakopų ciklas užtikrina, kad specifikacijos niekada nebūtų traktuojamos kaip dokumentai „parašyk vieną kartą, pamiršk amžinai“. Jie yra gyvi, kvėpuojantys artefaktai, kurie vystosi kartu su kodų baze ir išlieka patikimai teisingi kiekviename žingsnyje.

Kodėl tradicinis testavimas vien nepasiteisina

Dažnas prieštaravimas VSDD yra toks: „Mes jau rašome testus – ar to neužtenka? Sąžiningas atsakymas yra ne, ir duomenys tai patvirtina. „Microsoft“ empirinės programinės įrangos inžinerijos grupės atliktas tyrimas parodė, kad net projektuose, kurių kodas aprėptas daugiau nei 80 %, dažnai būdavo pateikiami defektai, atsiradę dėl specifikacijų spragų – situacijos, kai bandymai buvo sėkmingi, nes buvo išbandytas neteisingas dalykas, o ne todėl, kad programinė įranga buvo tinkama.

Tradiciniai vienetų ir integravimo testai patvirtina diegimo elgseną, tačiau jie gali patikrinti tik tuos scenarijus, kurių kūrėjas numatė. Jei kūrėjas neteisingai supras verslo taisyklę, jis neteisingai parašys kodą ir testą – ir abu bus išlaikyti. VSDD nutraukia šį ciklą, sukurdamas nepriklausomą tikrinimo sluoksnį. Specifikaciją parengė domeno ekspertai, o ne diegimą rašantys kūrėjai, todėl sukuriamas natūralus patikrinimas ir pusiausvyra, kuri anksti nustato nesutapimus.

Pavojingiausia bet kurios sistemos klaida yra ne ta, dėl kurios ji sugenda, o ta, kuri tyliai pateikia neteisingą rezultatą, o kiekvienas rinkinio testas yra žalias. Patvirtintas specifikacijomis pagrįstas vystymas yra skirtas būtent šiai gedimo kategorijai, užtikrinant, kad teisingumas būtų vertinamas atsižvelgiant į verslo ketinimus, o ne su kūrėjo prielaidomis.

Pagalvokite apie darbo užmokesčio skaičiavimo variklį, kuris turi tvarkyti viršvalandžių įkainius 14 skirtingų jurisdikcijų. Kūrėjas gali parašyti testus, apimančius penkias jiems geriausiai žinomas jurisdikcijas, o kitose devyniose praleisti kraštutinius atvejus. Pagal VSDD specifikacijoje būtų aiškiai išvardyti visi 14 taisyklių rinkinių, o automatinis patikrinimas pažymėtų bet kokią jurisdikciją be atitinkamo diegimo – kol kodas dar nepasiektų kokybės užtikrinimo.

Realus poveikis: nuo aviacijos iki verslo platformų

VSDD intelektualinės šaknys yra saugos požiūriu svarbiose pramonės šakose. NASA Jet Propulsion Laboratory dešimtmečius naudojo oficialias specifikacijas ir patikrinimus – „Mars Curiosity“ autonominė navigacijos sistema buvo sukurta pagal oficialiai patvirtintas specifikacijas, kurios garantavo, kad transporto priemonė niekada nepateks į neatkuriamą būseną. „Airbus“ naudoja panašius metodus savo „fly-by-wire“ valdymo sistemose, kur specifikacijų spraga nėra tik klaida – tai galima katastrofa.

Tačiau metodika sparčiai plinta už kosmoso ir gynybos ribų. Finansinių technologijų įmonės pritaikė VSDD principus, kad patikrintų, ar operacijų apdorojimo varikliai atitinka reguliavimo reikalavimus keliose jurisdikcijose vienu metu. Sveikatos priežiūros platformose naudojamas specifikacijų patikrinimas, siekiant užtikrinti, kad klinikinių sprendimų palaikymo priemonės niekada nerekomenduotų vaistų sąveikos, pažeidžiančios FDA gaires. Ir vis dažniau modulinės verslo platformos su daugybe tarpusavyje susijusių įrankių kreipiasi į VSDD, kad valdytų kelių modulių sąveikos sudėtingumą.

Mewayz, kur 207 moduliai, apimantys CRM, sąskaitų faktūrų išrašymą, darbo užmokestį, žmogiškųjų išteklių valdymą, parko valdymą, analizę ir kt., turi sklandžiai veikti daugiau nei 138 000 vartotojų, VSDD principai tiesiogiai informuoja platformos inžinerinę praktiką. Kai atnaujinus sąskaitų faktūrų išrašymo modulio mokesčių apskaičiavimo logiką gali būti įtraukta į darbo užmokesčio apskaitą, apskaitą ir analizę, patikrintos specifikacijos užtikrina, kad kiekviena paskesnė priklausomybė būtų atsižvelgta ir patvirtinta prieš išsiunčiant pakeitimą. Taip platformą galima išplėsti iki šimtų modulių be integracijos gedimų, kurie paprastai vargina sudėtingas verslo sistemas.

VSDD diegimas neužvirinant vandenyno

Vienas iš didžiausių klaidingų supratimų apie VSDD yra tai, kad prieš pateikiant vertę reikia visiškai peržiūrėti procesą ir kelis mėnesius trukti sąranką. Praktiškai sėkmingiausi įvaikinimai prasideda nuo mažens ir palaipsniui plečiasi. Komandos, kurios pirmą dieną bando formaliai nurodyti visą savo sistemą, neišvengiamai perdega. Komandos, kurios pradeda nuo didžiausios rizikos modulio ir plečiasi į išorę, mato didėjančią grąžą.

Štai pragmatiška pritaikymo strategija, tinkanti bet kokio dydžio komandoms:

• Pradėkite nuo integravimo ribų. Didžiausią žalą sukelia taškai, kuriuose moduliai ar paslaugos keičiasi duomenimis. Pirmiausia formaliai nurodykite API sutartis – užklausų/atsakymų schemas, klaidų kodus, greičio ribas ir autentifikavimo reikalavimus.
• Pridėkite invariantų į savo verslo logiką. Nustatykite taisykles, kurios visada turi būti teisingos – sąskaitų likučiai niekada neturi būti neigiami, susitikimų laikas neturi sutapti, darbuotojų įrašai turi turėti galiojantį mokesčių ID. Užkoduokite juos kaip patikrinamus tvirtinimus.
• Automatizuokite patvirtinimą naudojant CI / CD. Integruokite specifikacijų patvirtinimą į nuolatinį integravimo vamzdyną, kad kiekviena ištraukimo užklausa prieš sujungimą būtų patikrinta pagal specifikaciją. Taip sukuriamas greitas grįžtamasis ryšys, kūrėjams nereikalaujant keisti kasdienės darbo eigos.
• Padarykite specifikacijas bendradarbiaujant. Naudokite įrankius, leidžiančius netechninėms suinteresuotosioms šalims skaityti ir prisidėti prie specifikacijų. Kai finansų direktorius gali patikrinti, ar sąskaitų faktūrų išrašymo specifikacijos atitinka naujausią mokesčių reglamentą, panaikinote atotrūkį tarp verslo ketinimų ir techninio įgyvendinimo.

Svarbiausia VSDD traktuoti kaip gradientą, o ne dvejetainį. Netgi iš dalies priėmus – patikrinus tik svarbiausias verslo taisykles – galima pašalinti visas gamybos defektų kategorijas. „SaaS“ įmonė, patikrinusi tik su atsiskaitymu susijusias specifikacijas, pranešė, kad per pirmąjį priėmimo ketvirtį su atsiskaitymu susijusių palaikymo bilietų sumažėjo 73 %.

AI vaidmuo tikrinant naujos kartos specifikacijas

VSDD ir dirbtinio intelekto sankirta yra ta vieta, kur slypi metodikos ateitis. Dirbtinio intelekto įrankiai pradeda automatizuoti daugiausiai darbo reikalaujančias VSDD darbo eigos dalis – generuoja pradines specifikacijas iš esamų kodų bazių, nustato specifikacijų spragas analizuojant gamybos klaidų žurnalus ir netgi siūlo patikslinti specifikacijas pagal pastebėtus naudotojų elgesio modelius.

Didelių kalbų modeliai dabar gali nepaprastai tiksliai paversti natūralios kalbos verslo reikalavimus į struktūrizuotas, mašininiu būdu patikrinamas specifikacijas, taip sumažinant specifikacijų kūrimo kliūtis, dėl kurių formalūs metodai istoriškai tapo nepraktiški greitai besikeičiančioms komandoms. Kai produktų vadybininkas rašo „klientai pagal įmonės planą turėtų gauti 15 % nuolaidą užsakymams, viršijantiems 10 000 USD“, AI įrankiai gali sukurti atitinkamas oficialias specifikacijas, bandomuosius atvejus ir patvirtinimo tvirtinimus – sakinį paversti patvirtinta sutartimi per kelias sekundes, o ne valandas.

Tokios platformos kaip „Mewayz“ naudoja dirbtinio intelekto automatizavimą savo veiklos moduliuose, kad kasdieniuose verslo procesuose būtų toks tikslumas. Kai įmonė sukonfigūruoja pasirinktines darbo eigas – sujungia CRM duomenis su sąskaitų faktūrų taisyklėmis, kad apskaičiuotų darbo užmokestį – AI padedamas patikrinimas gali išanalizuoti visą darbo eigos grandinę ir pažymėti loginius neatitikimus, kol jie nepasireikš kaip tikrosios operacijos klaidos. Tai yra praktinis VSDD principų taikymas plačiu mastu: užtikrinama, kad sudėtinga, vartotojo sukonfigūruota verslo logika išliktų teisinga net ir besivystant.

Mąstymas pagal specifikacijas: kultūrinis pokytis, kurį verta padaryti

Galbūt labiausiai neįvertinamas VSDD aspektas yra ne techninis, o kultūrinis. Komandos, kurios pirmiausia galvoja apie specifikacijas, praneša apie patobulinimus, kurie gerokai viršija defektų mažinimą. Bendravimas tarp techninių ir netechninių komandos narių pagerėja, nes specifikacijose pateikiama bendra, nedviprasmiška kalba. Prisijungimo laikas sutrumpėja, nes nauji kūrėjai gali perskaityti specifikacijas, kad suprastų sistemos elgseną nepertvarkydami kodų bazės. Ir architektūriniai sprendimai tampa labiau apgalvoti, nes specifikacijos keitimo (ir to pakeitimo sklaidos tikrinant) kaina verčia komandas gerai pagalvoti prieš didinant sudėtingumą.

Programinės įrangos pramonė dešimtmečius optimizavo pristatymo greitį. VSDD nesulėtėja pristatymo – jis nukreipia laiką, kurį būtų reikėję sugaišti derindami, taisydami karštąsias pataisas ir atsiprašydami klientų, į išankstinį aiškumą, kuris neleidžia šioms problemoms atsirasti. Įmonėms, vykdančioms itin svarbias operacijas dešimtyse modulių ir aptarnaujančioms tūkstančius vartotojų, šis kompromisas yra ne tik naudingas, bet ir būtinas. Klausimas ne tas, ar jūsų organizacija gali sau leisti naudoti patikrintą specifikacija pagrįstą plėtrą. Tai ar galite sau leisti to nedaryti.

Dažniausiai užduodami klausimai

Kas yra patvirtinta specifikacija pagrįsta plėtra (VSDD)?

VSDD yra metodika, kuri pašalina programinės įrangos projektų neaiškumus, nes reikalaujama, kad kiekviena funkcija, verslo taisyklė ir architektūrinis sprendimas būtų užfiksuotas patvirtintoje specifikacijoje prieš rašant bet kokį kodą. Skirtingai nuo tradicinių metodų, kai prielaidos skatina plėtrą, VSDD užtikrina suderinimą tarp suinteresuotųjų šalių ir kūrėjų, naudodamas struktūrizuotas, patikrinamas specifikacijas – tai labai sumažina 69 % projektų nesėkmių procentą, nurodytą pramonės ataskaitose.

Kodėl dauguma programinės įrangos projektų žlunga nepaisant kvalifikuotų komandų?

Pagrindinė priežastis yra ne talentas ar biudžetas, o dviprasmiškumas. Komandos kuria funkcijas, kurių niekas neprašė, pateikia verslo taisyklėms prieštaraujantį kodą ir ištisus mėnesius praleidžia kurdamos sistemas, sukurtas remiantis nepatikrintomis prielaidomis. VSDD tai sprendžia pateikdama specifikacijas vieninteliu tiesos šaltiniu, užtikrindama, kad kiekviena suinteresuotoji šalis susitartų dėl to, kas kuriama prieš pradedant plėtrą, taip užkertant kelią brangiam nesuderinamumui ir apimties nukrypimui per visą projekto gyvavimo ciklą.

Kaip VSDD skiriasi nuo Agile arba Waterfall metodikomis?

Nors „Agile“ pabrėžia kartotinį pristatymą, o „Waterfall“ laikosi griežtų nuoseklių etapų, abu dažnai susiduria su specifikacijų spragomis. VSDD papildo šias sistemas pridėdamas patikrinimo sluoksnį – specifikacijos patvirtinamos pagal verslo reikalavimus prieš pradedant bet kokį kūrimo ciklą. Tai reiškia, ar dirbate sprintais, ar etapais, kiekviena užduotis siejama su patvirtintu, nedviprasmišku reikalavimu, kurį suinteresuotosios šalys aiškiai patvirtino.

Ar VSDD galima pritaikyti komandoms, naudojančioms tokias platformas kaip „Mewayz“?

Visiškai. Tokios platformos kaip Mewayz, 207 modulių verslo OS, pradedant nuo 19 USD per mėnesį, jau centralizuoja operacijas, automatizavimą ir projektų valdymą. Taikant VSDD principus tokiuose įrankiuose užtikrinama, kad kiekviena darbo eiga, integravimas ir automatizuotas procesas būtų kuriami remiantis patikrintomis specifikacijomis – sumažinamas pertvarkymas ir padedama komandoms greičiau pristatyti patikimas sistemas visoje verslo grupėje.