Gepresenteerd door AWS
Autonome agenten comprimeren de leveringstijdlijnen van software van weken tot dagen. De bedrijven die agenten veilig opschalen, zullen degenen zijn die bouwen met behulp van spec-gedreven ontwikkeling.
Er is een moment in elke technologische verschuiving waarop de early adopters niet langer uitschieters zijn, maar de basislijn gaan vormen. We bevinden ons op dat punt in de softwareontwikkeling en de meeste teams realiseren zich dit nog niet.
Een jaar geleden ging vibe-codering viraal. Niet-ontwikkelaars en junior-ontwikkelaars ontdekten dat ze met AI buiten hun mogelijkheden konden bouwen. Het verlaagde de vloer. Het maakte het maken van prototypen veel sneller, maar het introduceerde ook een overdaad aan slop. Wat de industrie toen nodig had, was iets dat de lat hoger legde: iets dat de kwaliteit van de code verbeterde en werkte op de manier waarop de meest deskundige ontwikkelaars werken. Spec-gedreven ontwikkeling deed het. Het legde de basis voor betrouwbare autonome codeermiddelen.
Specificaties zijn het vertrouwensmodel voor autonome ontwikkeling
De meeste discussies over door AI gegenereerde code richten zich op de vraag of AI code kan schrijven. De moeilijkere vraag is of je erop kunt vertrouwen. Het antwoord loopt rechtstreeks via de specificatie.
Spec-gedreven ontwikkeling begint met een bedrieglijk eenvoudig idee: voordat een AI-agent ook maar één regel code schrijft, werkt deze vanuit een gestructureerde, contextrijke specificatie die definieert wat het systeem moet doen, wat de eigenschappen ervan zijn en wat ‘correct’ eigenlijk betekent. Deze specificatie is een artefact waar de agent gedurende het hele ontwikkelingsproces tegen pleit – fundamenteel anders dan de AI-benaderingen vóór de agent bij het achteraf schrijven van documentatie.
Enterprise-teams bouwen op deze basis. Het Kiro IDE-team gebruikte Kiro om Kiro IDE te bouwen – een agentive coding-omgeving met native spec-gestuurde ontwikkeling – waardoor het bouwen van functies werd teruggebracht van twee weken naar twee dagen. Een AWS-engineeringteam voltooide een 18 maanden durend re-architectuurproject waarbij aanvankelijk 30 ontwikkelaars betrokken waren, waarbij zes mensen Kiro in 76 dagen gebruikten. Een technisch team van Amazon.com lanceerde “Add to Delivery” – een functie waarmee klanten items kunnen toevoegen na het afrekenen – twee maanden eerder dan gepland met behulp van Kiro en spec-gestuurde ontwikkeling. Alexa+, Amazon Finance, Amazon Stores, AWS, Fire TV, Last Mile Delivery, Prime Video en meer integreren allemaal spec-gestuurde ontwikkeling als onderdeel van hun bouwaanpak.
Die verschuiving verandert alles stroomafwaarts.
Verifieerbare tests zorgen ervoor dat autonome agenten veilig kunnen worden uitgevoerd
De specificatie wordt een geautomatiseerde correctheidsengine. Wanneer een ontwikkelaar met behulp van AI 150 check-ins per week genereert, kan geen mens die hoeveelheid code handmatig beoordelen. In plaats daarvan kan code die op basis van een concrete specificatie is gebouwd, worden geverifieerd door middel van op eigenschappen gebaseerde tests en neurosymbolische AI-technieken die automatisch honderden testgevallen genereren die rechtstreeks uit de specificatie zijn afgeleid, waarbij randgevallen worden onderzocht die geen mens zou denken met de hand te schrijven. Deze tests bewijzen dat de code voldoet aan de gedefinieerde kenmerken van de specificatie en gaan veel verder dan handgeschreven testsuites voor aantoonbaar correct gedrag.
Verifieerbaar testen maakt de verschuiving mogelijk van eenmalige programmering naar continue autonome ontwikkeling. Traditionele, door AI ondersteunde ontwikkeling werkt als een enkel schot: u geeft de agent een specificatie, de agent produceert output en het proces eindigt. De agenten van vandaag corrigeren zichzelf voortdurend, voeden bouw- en testfouten terug in hun eigen redenering, genereren aanvullende tests om hun eigen output te onderzoeken en herhalen totdat ze iets opleveren dat zowel functioneel als verifieerbaar is. De specificatie is het anker dat voorkomt dat de lus gaat afdrijven. In plaats van dat ontwikkelaars voortdurend controleren of de agent de juiste beslissingen neemt, kan de agent zichzelf aan de hand van de specificaties controleren om er zeker van te zijn dat hij op koers ligt.
De autonome agent van de toekomst zal zijn eigen specificaties schrijven, waarbij hij specificaties gebruikt als mechanisme voor zelfcorrectie, voor verificatie, om ervoor te zorgen dat wat hij produceert overeenkomt met het beoogde gedrag van het systeem.
Multi-agent, autonoom en direct actief
De ontwikkelaars die vandaag de dag het tempo bepalen, werken op een fundamenteel andere manier. Ontwikkelaars besteden veel tijd aan het opstellen van hun specificaties, en aan het schrijven van controlebestanden die door de specificatie worden gebruikt om ervoor te zorgen dat de agent weet wat en hoe hij moet bouwen – meer tijd dan hun agent kan besteden aan het bouwen van de software zelf. Ze voeren meerdere agenten parallel uit om een probleem vanuit verschillende perspectieven te bekritiseren, en voeren ook meerdere specificaties uit, elk geschreven voor een ander onderdeel van het systeem dat ze bouwen. Ze laten agenten uren, soms dagen aan de slag. Ze geven duizenden Kiro-credits uit omdat de output dit rechtvaardigt.
Een jaar geleden verloren agenten hun context en vielen ze na twintig minuten uit elkaar. Nu kun je ze elke week verder rijden dan de week ervoor. De mogelijkheden van agenten zijn de afgelopen zes maanden aanzienlijk verbeterd en werkelijk complexe problemen kunnen worden opgelost. Nieuwere LLM’s zijn tokenefficiënter dan de vorige generatie, dus voor dezelfde uitgaven krijgt u aanzienlijk meer gedaan.
De uitdaging is dat er diepgaande expertise nodig is om dit goed te doen. De tools, methoden en infrastructuur bestaan, maar het orkestreren ervan is moeilijk. Het doel van Kiro is om deze mogelijkheden met diepgaande expertise beschikbaar te maken voor iedere ontwikkelaar, en niet alleen voor de top één procent die dit al door heeft.
De infrastructuur haalt de ambities in
Agenten zullen binnen een jaar tien keer vaardiger zijn. Dat is het tempo van verbetering dat we week na week zien.
Tegelijkertijd convergeert de infrastructuur die dit vaardigheidsniveau ondersteunt. Agenten draaien nu in de cloud in plaats van op locatie, en worden parallel op schaal uitgevoerd met veilige, betrouwbare communicatie tussen agentsystemen. Organisaties kunnen nu agentworkloads uitvoeren zoals ze elk gedistribueerd systeem op bedrijfsniveau zouden uitvoeren, met de governance, kostenbeheersing en betrouwbaarheidsgaranties die serieuze software vereist. Spec-gedreven ontwikkeling is de architectuur van de autonome systemen van morgen.
Ontwikkelaars worden niet langer beperkt door de manier waarop ze het probleem willen oplossen. De ontwikkelaars die het goed doen in deze wereld zijn degenen die nu die basis leggen: door gebruik te maken van spec-gedreven ontwikkeling, door vanaf het begin prioriteit te geven aan testbaarheid en verificatie, door met agenten samen te werken en door in systemen te denken in plaats van in syntaxis.
Deepak Singh is vice-president van Kiro bij AWS.
Gesponsorde artikelen zijn inhoud die is geproduceerd door een bedrijf dat voor de post betaalt of een zakelijke relatie heeft met VentureBeat, en is altijd duidelijk gemarkeerd. Voor meer informatie kunt u contact opnemen met sales@venturebeat.com.
