Software Verification in the Age of Coding Agents
Podcast Archives - Software Engineering Daily

Software Verification in the Age of Coding Agents

B2Obere Mittelstufe15. Oktober 202647 Min.
  • Technologie

Software testing is widely understood as essential to building reliable systems, and it’s one of the hardest things to get right. A fundamental issue is that tests are good at confirming the behavior a team expects, but the most damaging failures tend to hide in the edge cases no one thought to check during development. Those blind spots are only growing as AI produces more code that no human has closely reviewed. Antithesis is a software verification company built around an approach called deterministic simulation testing. The platform runs a customer’s software in a fully cont...

Folge abspielen

Öffnet den Player: das vollständige Transkript, jedes Wort anklickbar, mit Übersetzung und Karteikarten.

Probieren Sie es: Tippen Sie auf ein Wort

Echte Sätze vom Anfang dieser Folge. Jedes Wort ist mit seinem Niveau markiert.

Satz 6 von 12 · 0:30

Antithysys is a software verification company built around an approach called deterministic

.

The platform runs a customer software in a fully controlled environment, exploring thousands

Diesen Satz anhören

Tippen Sie auf ein Wort, um seine Bedeutung in Ihrer Sprache zu sehen.

Kennen Sie diese Wörter?

8 schwierigere Wörter aus dieser Folge. Tippen Sie auf eines, um die Bedeutung zu sehen, und markieren Sie es dann.

  • B20:30
  • B29:34
  • B215:00
  • C121:35
  • B226:37
  • B229:30
  • B239:48
  • B243:47

Markieren Sie ein paar Wörter, und wir sagen Ihnen, wie gut diese Folge zu Ihrem Niveau passt.

Passt diese Folge zu Ihnen?

B2

B2 · Obere Mittelstufe

Angenehm, wenn Sie schon Fernsehnachrichten folgen

A1 20 %A2 29 %B1 24 %B2 21 %C1 6 %
  • 73 % der Wörter sind B1 oder leichter.
  • 196 Wörter pro Minute: natürlich und recht schnell.
  • 206 schwierigere Wörter (ab B2) in der ganzen Folge.

Transkript

Der Anfang der Folge. Das ganze Transkript ist im Player.

0:00

Software testing is widely understood as essential to building reliable systems, and it's one of the hardest things to get right. A fundamental issue is that tests are good at confirming the behavior a team expects, but the most damaging failures tend to hide in the edge cases no one thought to check during development. Those blind spots are only growing as AI produces more code that no human has closely reviewed.

0:24

Antithysys is a software verification company built around an approach called deterministic simulation testing. The platform runs a customer software in a fully controlled environment, exploring thousands of different paths through it at runtime.

0:40

Crucially, the paths aren't pre-specified and they're not merely the expected cases. In this way, it can surface rare, damaging bugs that normal testing would never catch. Karl Svera is on the red team at Antithesis, and he also leads much of the company's AI strategy.

Das war der Anfang. Der Rest der Folge (46 Min.) ist im Player: jedes Wort anklickbar, mit Übersetzung, gespeicherten Wörtern und Karteikarten.

Im Player weiterhören

Automatisch aus dem Audio erstellt. Kann Fehler enthalten. Das Audio gehört seinem Herausgeber und wird aus dessen Feed abgespielt. Rechteinhaber können eine Entfernung beantragen — Urheberrechts- und Entfernungsrichtlinie