Verifizierung von KI-generiertem Code: Ihren Agenten beibringen, wie sie ihre eigene Ausgabe korrigieren können.

Die AI-Programmierung hat grundlegend verändert, wie Software geschrieben wird, und die Verbesserungen sind real. Werkzeuge wie Claude Code und Cursor beschleunigen die Entwicklergeschwindigkeit und verändern, wie wir Softwareengineering angehen, was zu besseren Designs führt. Allerdings ist, da KI mehr Code als je zuvor schreibt, Testen und Verifizierung der neue Engpass. Nehmen Sie an diesem Workshop teil, wenn Sie auf Probleme stoßen wie: In diesem Workshop werden wir einen grundlegend anderen Ansatz zur Lösung der Verifizierungslücke vorstellen. Anstatt zu versuchen, jeden Ausfallmodus im Voraus zu erraten, definieren wir die Invarianten, die immer für das System wahr sein sollten, und setzen Ihre Software dann einer rigorosen Umgebung aus, die systematisch und deterministisch nach Wegen sucht, diese Grenzen zu überschreiten. Wir werden erörtern, wie dieser Ansatz hilft, die Arten von Fehlern sichtbar zu machen, die in modernen Systemen weiterhin schmerzhaft sind, einschließlich Abstürze, Datenkorrektheitsfehler, Fehler bei der Fehlertoleranz und andere schwer reproduzierbare Probleme. Sobald wir einen Fehler finden, werden wir die Ursache genau bestimmen und Ihnen und Ihren Codier-Agents detaillierte Debugging-Informationen geben, um Probleme schneller zu iterieren und zu beheben. Dies kann in bestehende Workflows integriert werden und sich mit der Art und Weise weiterentwickeln, wie Ihr Team heute Software erstellt. Um diesen Workshop produktiv zu gestalten, ermutigen wir Sie auch, Ihre täglichen Realitäten in Ihren eigenen Engineering-Workflows zu teilen und eine offene Diskussion darüber zu fördern, wie KI-unterstütztes Engineering sich entwickeln kann und sollte. Wenn Sie Ihre Produktivität steigern und einen rigoroseren Ansatz zur Auffindung, Reproduktion und Behebung von Fehlern, die konventionelle Tests übersehen, wünschen, würden wir uns freuen, Sie dabei zu haben. Die Plätze sind begrenzt. Bitte melden Sie sich bald an!