Правераная распрацоўка, арыентаваная на спецыфікацыі (VSDD)

Чаму большасць праграмных праектаў па-ранейшаму церпяць няўдачу — і метадалогія, якая гэта мяняе

У 2024 годзе справаздача Standish Group CHAOS паказала, што толькі 31% праграмных праектаў былі выкананы своечасова і ў рамках бюджэту. Астатнія 69% былі альбо аспрэчаныя, альбо цалкам праваленыя. Першапрычынай былі не кепскія распрацоўшчыкі ці недастатковае фінансаванне — гэта была неадназначнасць. Каманды стварылі функцыі, якія ніхто не прасіў, адправілі код, які супярэчыў бізнес-правілам, і патрацілі месяцы на рэфактарынгі сістэм, якія былі створаны на аснове здагадак, а не правераных патрабаванняў. Правераная распрацоўка на аснове спецыфікацый (VSDD) - гэта новая метадалогія, прызначаная для поўнага ліквідацыі гэтай двухсэнсоўнасці, гарантуючы, што кожны радок кода адсочвае афіцыйна правераную спецыфікацыю, перш чым яна дасягне вытворчасці.

У адрозненне ад традыцыйных падыходаў да распрацоўкі, дзе спецыфікацыі існуюць як нефармальна напісаныя дакументы, якія адыходзяць ад рэальнасці на працягу некалькіх тыдняў, VSDD разглядае спецыфікацыі як выкананыя, тэсціраваныя і пастаянна правяраныя артэфакты. У выніку атрымліваецца праграмнае забеспячэнне, якое робіць менавіта тое, што задумалі зацікаўленыя бакі - ні больш, ні менш. Для прадпрыемстваў, якія працуюць на складаных аперацыйных платформах з дзесяткамі ўзаемазвязаных модуляў, наступствы змяняюць.

Што насамрэч азначае правераная распрацоўка, арыентаваная на спецыфікацыі

Па сутнасці, VSDD - гэта дысцыплінаваны інжынерны падыход, заснаваны на трох слупах: фармальная спецыфікацыя, аўтаматызаваная праверка і бесперапыннае адсочванне. Распрацоўшчыкі пачынаюць з напісання машыначытэльных спецыфікацый, якія вызначаюць не толькі што павінна рабіць праграмнае забеспячэнне, але і дакладныя абмежаванні, крайнія выпадкі і інварыянты, якія павінны захоўвацца на кожным этапе выканання. Гэта не расплывістыя гісторыі карыстальнікаў або дакладныя патрабаванні — гэта строгія, недвухсэнсоўныя кантракты паміж сістэмай і яе зацікаўленымі бакамі.

"Правераны" кампанент - гэта тое, што адрознівае VSDD ад старых падыходаў, арыентаваных на спецыфікацыі. Замест таго, каб спадзявацца на ручныя праверкі кода або постфактум тэставанне для пацверджання адпаведнасці, VSDD выкарыстоўвае інструменты аўтаматызаванай праверкі — у тым ліку тэсціраванне на аснове ўласнасці, праверку кантрактаў і ў некаторых выпадках фармальныя памочнікі па доказах — для пастаяннай праверкі адпаведнасці рэалізацыі спецыфікацыі. Калі код адрозніваецца ад спецыфікацыі, зборка не атрымаецца. Калі спецыфікацыі змяняюцца, уплыў на існуючы код адразу выяўляецца.

Гэта стварае тое, што практыкі называюць "адзінай крыніцай праўдзівага цыклу" — спецыфікацыі інфармуюць пра рэалізацыю, рэалізацыя правяраецца на адпаведнасць спецыфікацыям, і любое змяненне таго ці іншага выклікае паўторную праверку. Цыкл зваротнай сувязі складае хвіліны, а не месяцы.

Пяць этапаў працоўнага працэсу VSDD

Прыняцце VSDD не патрабуе поўнай адмовы ад існуючых працэсаў. Большасць каманд рэалізуюць гэта як структураванае накладанне на вяршыні гнуткіх або ітэрацыйных працоўных працэсаў. Метадалогія разбіваецца на пяць розных этапаў, якія ствараюць бесперапынны ланцужок ад бізнес-намераў да разгорнутага кода.

1. Стварэнне спецыфікацый: бізнес-аналітыкі і эксперты па вобласці супрацоўнічаюць з распрацоўшчыкамі для напісання афіцыйных спецыфікацый з выкарыстаннем структураваных фарматаў — OpenAPI для API, дыяграм канечнага аўтамата для працоўных працэсаў або прадметна-спецыфічных моў (DSL) для бізнес-логікі. Кожная спецыфікацыя ўключае перадумовы, пасляўмовы і інварыянты.
2. Прагляд спецыфікацый і мадэляванне: перад напісаннем кода спецыфікацыі мадэлююцца ў рэальных умовах. Зацікаўленыя бакі могуць "запусціць" спецыфікацыю, каб убачыць, як будзе паводзіць сябе сістэма, выяўляючы непаразуменні, перш чым яны стануць дарагімі памылкамі.
3. Рэалізацыя з убудаванай праверкай: Распрацоўшчыкі пішуць код са спасылкамі на спецыфікацыі. Аўтаматызаваныя інструменты пастаянна правяраюць, ці кожная функцыя, канчатковая кропка і пераўтварэнне даных адпавядаюць адпаведным спецыфікацыйным абмежаванням.
4. Праверка інтэграцыі: па меры зборкі модуляў крос-спецыфікацыйная праверка гарантуе, што кантракты паміж кампанентамі выконваюцца. Фармат вываду модуля выстаўлення рахункаў-фактур павінен адпавядаць таму, што спецыфікацыі модуля ўліку чакаюць у якасці ўваходных дадзеных.
5. Пастаянны маніторынг спецыфікацый: маніторынг падчас разгортвання правярае, ці працягваюць адпавядаць характарыстыкі вытворчасці спецыфікацыям, выяўляючы дрэйф у навакольным асяроддзі, анамаліі дадзеных і збоі інтэграцыі іншых вытворцаў у рэжыме рэальнага часу.

Гэты пяціступеністы цыкл гарантуе, што спецыфікацыі ніколі не разглядаюцца як дакументы тыпу "напішы адзін раз, забудзься назаўжды". Яны з'яўляюцца жывымі, дыхаючымі артэфактамі, якія развіваюцца разам з кодавай базай і застаюцца праверанымі на кожным кроку.

Чаму толькі традыцыйнае тэсціраванне недастаткова

Звычайным пярэчаннем супраць VSDD з'яўляецца: "Мы ўжо пішам тэсты - хіба гэтага недастаткова?" Шчыры адказ - адмоўны, і дадзеныя пацвярджаюць гэта. Даследаванне групы Empirical Software Engineering ад Microsoft паказала, што нават праекты з ахопам кода больш за 80 % рэгулярна дастаўлялі дэфекты, якія караніліся ў прабелах у спецыфікацыях - сітуацыі, калі тэсты праходзілі таму, што яны тэставалі няправільную рэч, а не таму, што праграмнае забеспячэнне было правільным.

Традыцыйныя модульныя і інтэграцыйныя тэсты правяраюць паводзіны рэалізацыі, але яны могуць правяраць толькі тыя сцэнарыі, якія чакаў распрацоўшчык. Калі распрацоўшчык няправільна разумее бізнес-правіла, ён няправільна напіша і код, і тэст — і абодва пройдуць. VSDD разрывае гэты цыкл шляхам стварэння незалежнага ўзроўню праверкі. Аўтарам спецыфікацыі з'яўляюцца эксперты дамена, а не распрацоўшчыкі, якія пішуць рэалізацыю, што стварае натуральную сістэму стрымкі і раўнавагі, якая рана выяўляе нясупадзенні.

Самая небяспечная памылка ў любой сістэме - гэта не тая, якая прыводзіць да збою - гэта тая, якая моўчкі выдае няправільны вынік, у той час як кожны тэст у наборы праходзіць зялёны. Правераная распрацоўка, арыентаваная на спецыфікацыі, існуе менавіта для таго, каб выяўляць гэтую катэгорыю збояў, гарантуючы, што правільнасць вымяраецца ў адпаведнасці з бізнес-намерамі, а не здагадкамі распрацоўшчыка.

Разгледзім механізм разліку заработнай платы, які павінен апрацоўваць стаўкі звышурочных у 14 розных юрысдыкцыях. Распрацоўшчык можа напісаць тэсты, якія ахопліваюць пяць юрысдыкцый, з якімі яны найбольш знаёмыя, прапускаючы гранічныя выпадкі ў астатніх дзевяці. Згодна з VSDD, у спецыфікацыі былі б яўна пералічаны ўсе 14 набораў правілаў, а аўтаматызаваная праверка пазначала б любую юрысдыкцыю без адпаведнай рэалізацыі - перш чым код дасягне QA.

Уплыў у рэальным свеце: ад аэракасмічнай прамысловасці да бізнес-платформаў

VSDD мае свае інтэлектуальныя карані ў важных для бяспекі галінах. Лабараторыя рэактыўнага руху НАСА выкарыстоўвала фармальныя спецыфікацыі і праверку на працягу дзесяцігоддзяў - аўтаномная навігацыйная сістэма марсахода Curiosity была пабудавана ў адпаведнасці з афіцыйна праверанымі спецыфікацыямі, якія гарантавалі, што транспартны сродак ніколі не перавядзе сябе ў невыпраўляльны стан. Airbus выкарыстоўвае падобныя метады ў сваіх бесправадных сістэмах кіравання, дзе недахоп спецыфікацый - гэта не проста памылка, гэта патэнцыйная катастрофа.

Але метадалогія хутка распаўсюджваецца за межы аэракасмічнай і абароннай прамысловасці. Кампаніі, якія займаюцца фінансавымі тэхналогіямі, прынялі прынцыпы VSDD для праверкі адпаведнасці механізмаў апрацоўкі транзакцый нарматыўным патрабаванням у некалькіх юрысдыкцыях адначасова. Платформы аховы здароўя выкарыстоўваюць праверку спецыфікацый, каб інструменты падтрымкі клінічных прыняццяў ніколі не рэкамендавалі лекавыя ўзаемадзеянні, якія парушаюць рэкамендацыі FDA. І ўсё часцей модульныя бізнес-платформы з дзесяткамі ўзаемазвязаных інструментаў звяртаюцца да VSDD для кіравання складанасцю крос-модульных узаемадзеянняў.

У Mewayz, дзе 207 модуляў, якія ахопліваюць CRM, выстаўленне рахункаў, разлік заработнай платы, кадры, кіраванне аўтапаркам, аналітыку і многае іншае, павінны бесперашкодна працаваць разам для больш чым 138 000 карыстальнікаў, прынцыпы VSDD непасрэдна вызначаюць інжынерныя практыкі платформы. Калі абнаўленне логікі разліку падаткаў у модулі выстаўлення рахункаў-фактур можа каскадна ўлівацца ў заработную плату, бухгалтарскі ўлік і аналітыку, правераныя спецыфікацыі гарантуюць, што кожная наступная залежнасць улічваецца і пацвярджаецца перад унясеннем змяненняў. Вось як платформа можа маштабавацца да сотняў модуляў без памылак інтэграцыі, якія звычайна выклікаюць складаныя бізнес-сістэмы.

Укараненне VSDD без кіпячэння акіяна

Адно з самых памылковых уяўленняў аб VSDD заключаецца ў тым, што ён патрабуе поўнага перагляду працэсу і месяцаў наладжвання, перш чым прынесці карысць. На практыцы найбольш паспяховыя ўсынаўленні пачынаюцца з малога і паступова пашыраюцца. Каманды, якія спрабуюць афіцыйна вызначыць усю сваю сістэму ў першы дзень, непазбежна згараюць. Каманды, якія пачынаюць са свайго модуля з самай высокай рызыкай і пашыраюцца, бачаць складаную аддачу.

Вось прагматычная стратэгія прыняцця, якая працуе для каманд любога памеру:

• Пачніце з межаў вашай інтэграцыі. Кропкі, дзе модулі або сэрвісы абменьваюцца данымі, - гэта месцы, дзе прабелы ў спецыфікацыях наносяць найбольшую шкоду. Спачатку афіцыйна ўкажыце кантракты на API — схемы запытаў/адказаў, коды памылак, абмежаванні хуткасці і патрабаванні да аўтэнтыфікацыі.
• Дадайце інварыянты ў вашу бізнес-логіку. Вызначце правілы, якія заўсёды павінны быць вернымі — балансы на рахунках ніколі не павінны быць адмоўнымі, час сустрэч не павінен накладацца, запісы супрацоўнікаў павінны мець сапраўдны падатковы ідэнтыфікатар. Закадзіруйце іх як правераныя сцверджанні.
• Аўтаматызуйце праверку ў CI/CD. Уключыце праверку спецыфікацый у канвеер бесперапыннай інтэграцыі, каб кожны запыт на выцягванне перад аб'яднаннем правяраўся на адпаведнасць спецыфікацыі. Гэта стварае хуткую пятлю зваротнай сувязі, не патрабуючы ад распрацоўшчыкаў змены штодзённага працоўнага працэсу.
• Зрабіце спецыфікацыі сумеснымі. Выкарыстоўвайце інструменты, якія дазваляюць нетэхнічным зацікаўленым бакам чытаць і ўносіць свой уклад у спецыфікацыі. Калі фінансавы дырэктар можа пераканацца, што спецыфікацыі выстаўлення рахункаў адпавядаюць апошнім падатковым правілам, вы ліквідуеце разрыў паміж бізнес-намерамі і тэхнічнай рэалізацыяй.

Ключ у тым, што VSDD разглядаецца як градыент, а не як двайковы файл. Нават частковае прыняцце - праверка толькі вашых самых важных бізнес-правіл - можа ліквідаваць цэлыя катэгорыі вытворчых дэфектаў. Кампанія SaaS, якая правярала толькі свае спецыфікацыі, звязаныя з выстаўленнем рахункаў, паведаміла аб скарачэнні на 73 % зваротаў у службу падтрымкі, звязаных з выстаўленнем рахункаў, за першы квартал пасля прыняцця.

Роля штучнага інтэлекту ў праверцы спецыфікацый наступнага пакалення

На стыку VSDD і штучнага інтэлекту будучыня метадалогіі. Інструменты на аснове штучнага інтэлекту пачынаюць аўтаматызаваць найбольш працаёмкія часткі працоўнага працэсу VSDD — генерацыю першапачатковых спецыфікацый з існуючых кодавых баз, выяўленне прабелаў у спецыфікацыях шляхам аналізу журналаў вытворчых памылак і нават прапанову ўдасканалення спецыфікацый на аснове назіраных мадэляў паводзін карыстальнікаў.

Вялікія моўныя мадэлі цяпер могуць пераводзіць бізнес-патрабаванні натуральнай мовы ў структураваныя спецыфікацыі, якія паддаюцца машыннай праверцы, з надзвычайнай дакладнасцю, памяншаючы вузкае месца пры распрацоўцы спецыфікацый, якое гістарычна рабіла фармальныя метады непрактычнымі для хутка рухаюцца каманд. Калі менеджэр па прадуктах піша: «кліенты плана Enterprise павінны атрымліваць зніжку 15 % на заказы звыш 10 000 долараў ЗША», інструменты штучнага інтэлекту могуць генераваць адпаведныя фармальныя спецыфікацыі, тэставыя прыклады і зацвярджэння праверкі — ператвараючы прапанову ў правераны кантракт за секунды, а не за гадзіны.

Такія платформы, як Mewayz, выкарыстоўваюць аўтаматызацыю штучнага інтэлекту ў сваіх аперацыйных модулях, каб забяспечыць гэты ўзровень дакладнасці ў штодзённых бізнес-працэсах. Калі кампанія наладжвае карыстальніцкія працоўныя працэсы — злучаючы даныя CRM з правіламі выстаўлення рахункаў і разлікамі заработнай платы — праверка з дапамогай штучнага інтэлекту можа прааналізаваць увесь ланцужок працоўных працэсаў і пазначыць лагічныя неадпаведнасці, перш чым яны праявяцца як памылкі ў рэальных транзакцыях. Гэта практычнае прымяненне прынцыпаў VSDD у маштабе: забеспячэнне таго, каб складаная бізнес-логіка, наладжаная карыстальнікам, заставалася правільнай нават па меры яе развіцця.

Спачатку мысленне спецыфікацыі: культурны зрух, які варта зрабіць

Магчыма, самы недаацэнены аспект VSDD - не тэхнічны, а культурны. Каманды, якія арыентуюцца на спецыфікацыі, паведамляюць пра паляпшэнні, якія выходзяць далёка за рамкі скарачэння дэфектаў. Камунікацыя паміж тэхнічнымі і нетэхнічнымі членамі каманды паляпшаецца, таму што спецыфікацыі забяспечваюць агульную адназначную мову. Час адаптацыі скарачаецца, таму што новыя распрацоўшчыкі могуць прачытаць спецыфікацыі, каб зразумець паводзіны сістэмы без зваротнай распрацоўкі кодавай базы. Архітэктурныя рашэнні становяцца больш прадуманымі, таму што кошт змены спецыфікацыі (і распаўсюджванне гэтых змяненняў праз праверку) прымушае каманды старанна думаць, перш чым павялічваць складанасць.

Індустрыя праграмнага забеспячэння патраціла дзесяцігоддзі на аптымізацыю хуткасці дастаўкі. VSDD не запавольвае дастаўку — ён перанакіроўвае час, які быў бы выдаткаваны на адладку, выпраўленне і прабачэнне перад кліентамі, у яснасць, якая прадухіляе ўзнікненне гэтых праблем. Для прадпрыемстваў, якія выконваюць крытычна важныя аперацыі з дзясяткамі модуляў і абслугоўваюць тысячы карыстальнікаў, гэты кампраміс не проста варты ўвагі — ён вельмі важны. Пытанне не ў тым, ці можа ваша арганізацыя дазволіць сабе прыняць Правераную распрацоўку, арыентаваную на спецыфікацыі. Справа ў тым, ці можаце вы дазволіць сабе гэтага не рабіць.

Часта задаюць пытанні

Што такое правераная распрацоўка, арыентаваная на спецыфікацыі (VSDD)?

VSDD - гэта метадалогія, якая пазбаўляе ад двухсэнсоўнасці праектаў праграмнага забеспячэння, патрабуючы, каб кожная функцыя, бізнес-правіла і архітэктурнае рашэнне былі зафіксаваны ў праверанай спецыфікацыі перад тым, як напісацца код. У адрозненне ад традыцыйных падыходаў, пры якіх дапушчэнні кіруюць распрацоўкай, VSDD забяспечвае ўзгадненне паміж зацікаўленымі бакамі і распрацоўшчыкамі з дапамогай структураваных спецыфікацый, якія можна правяраць, што значна зніжае ўзровень няўдач праектаў на 69%, адзначаны ў галіновых справаздачах.

Чаму большасць праграмных праектаў правальваюцца, нягледзячы на кваліфікаваныя каманды?

Асноўнай прычынай з'яўляецца не талент або бюджэт - гэта неадназначнасць. Каманды ствараюць функцыі, якія ніхто не запытваў, адпраўляюць код, які супярэчыць бізнес-правілам, і марнуюць месяцы на рэфактарынгі сістэм, пабудаваных на неправераных здагадках. VSDD вырашае гэта, робячы спецыфікацыі адзінай крыніцай праўды, гарантуючы, што ўсе зацікаўленыя бакі пагаджаюцца з тым, што будуецца да пачатку распрацоўкі, прадухіляючы дарагія перакосы і дрэйф аб'ёму на працягу ўсяго жыццёвага цыкла праекта.

Як VSDD параўноўваецца з метадалогіямі Agile або Waterfall?

У той час як Agile падкрэслівае ітэрацыйную дастаўку, а Waterfall выконвае жорсткія паслядоўныя фазы, абодва часта пакутуюць ад прабелаў у спецыфікацыях. VSDD дапаўняе гэтыя структуры, дадаючы ўзровень праверкі — спецыфікацыі правяраюцца на адпаведнасць патрабаванням бізнесу перад уваходам у любы цыкл распрацоўкі. Гэта азначае, што незалежна ад таго, працуеце вы спрынтам або фазамі, кожная задача ўзыходзіць да пацверджанага, адназначнага патрабавання, якое зацікаўленыя бакі відавочна ўхвалілі.

Ці можна прымяніць VSDD да каманд, якія выкарыстоўваюць такія платформы, як Mewayz?

Абавязкова. Такія платформы, як Mewayz, 207-модульная бізнес-АС ад 19 долараў у месяц, ужо цэнтралізуюць аперацыі, аўтаматызацыю і кіраванне праектамі. Прымяненне прынцыпаў VSDD у такіх інструментах гарантуе, што кожны працоўны працэс, інтэграцыя і аўтаматызаваны працэс пабудаваны на аснове правераных спецыфікацый - памяншаючы колькасць паўторных работ і дапамагаючы камандам хутчэй пастаўляць надзейныя сістэмы ва ўвесь бізнес-стэк.