Alle projecten
Onderzoek
Test amplifier voor smart contracts
Onderzoek naar het uitbreiden van een Solidity-testset zodat meer randgevallen voor release worden gevonden.
Smart contracts zijn na deploy moeilijk te wijzigen. Dit onderzoek bekijkt hoe tests groeien zodat meer fouten eerst worden gevonden. Het is geen live SaaS.
- Uitdaging
- Smart-contractteams hadden bredere dekking nodig zonder elk geval met de hand te schrijven.
- Wat Yvios bouwde
- Een onderzoeksmethode die gegenereerde tests combineert met search-based verfijning voor Solidity-contracten.
- Aanpak
- Vergelijk gegenereerde tests, search-based diversificatie en een hybride van beide, en meet dekking — geen marktclaims.
- Huidige status
- Onderzoek. Geen commercieel product.
- Resultaat
- De aanpak kan een testset verbreden en in bestaande developerpipelines passen. Het blijft onderzoek.
- Bewijs
- Methode- en dekkingsnotes in het casedossier. Geen productinterface om te tonen.
- Wat erin zit
- Geautomatiseerde checks, Dekkingsanalyse
Dit project hoort bij Yvios Intelligence.