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

Software Verification in the Age of Coding Agents

B2Intermédiaire avancé15 octobre 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...

Écouter l'épisode

Ouvre le lecteur : la transcription complète, chaque mot cliquable, avec traduction et cartes mémoire.

Essayez : touchez un mot

De vraies phrases du début de cet épisode. Chaque mot est marqué de son niveau.

Phrase 6 sur 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

Écouter cette phrase

Touchez un mot pour voir son sens dans votre langue.

Connaissez-vous ces mots ?

8 mots plus difficiles de cet épisode. Touchez-en un pour voir son sens, puis indiquez si vous le connaissiez.

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

Marquez quelques mots et nous vous dirons si cet épisode correspond à votre niveau.

Cet épisode est-il pour vous ?

B2

B2 · Intermédiaire avancé

Confortable si vous suivez déjà le journal télévisé

A1 20 %A2 29 %B1 24 %B2 21 %C1 6 %
  • 73 % des mots sont de niveau B1 ou plus faciles.
  • 196 mots par minute : débit naturel, plutôt rapide.
  • 206 mots plus difficiles (B2 et plus) dans tout l'épisode.

Transcription

Le début de l'épisode. La transcription complète est dans le lecteur.

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.

C'était le début. La suite de l'épisode (46 min) est dans le lecteur : chaque mot cliquable, avec traduction, mots enregistrés et cartes mémoire.

Continuer dans le lecteur

Générée automatiquement à partir de l'audio. Peut contenir des erreurs. L'audio appartient à son éditeur et est diffusé depuis son flux. Les ayants droit peuvent demander le retrait — politique de droits d'auteur et de retrait