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

Software Verification in the Age of Coding Agents

B2उच्च-मध्यम15 अक्टूबर 202647 मिनट
  • प्रौद्योगिकी

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...

एपिसोड चलाएँ

प्लेयर खुलता है: पूरा ट्रांसक्रिप्ट, हर शब्द क्लिक करने योग्य, अनुवाद और फ़्लैशकार्ड के साथ।

आज़माएँ: किसी भी शब्द पर टैप करें

इस एपिसोड की शुरुआत के असली वाक्य। हर शब्द पर उसका स्तर दिखाया गया है।

वाक्य 6 / 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

यह वाक्य सुनें

किसी शब्द पर टैप करें और उसका अर्थ अपनी भाषा में देखें।

क्या आप ये शब्द जानते हैं?

इस एपिसोड के 8 कठिन शब्द। किसी पर टैप करके अर्थ देखें, फिर उसे चिह्नित करें।

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

कुछ शब्द चिह्नित करें, हम बताएँगे कि यह एपिसोड आपके स्तर से कितना मेल खाता है।

क्या यह एपिसोड आपके लिए सही है?

B2

B2 · उच्च-मध्यम

अगर आप टीवी समाचार पहले से समझते हैं तो आरामदायक

A1 20%A2 29%B1 24%B2 21%C1 6%
  • 73% शब्द B1 या उससे आसान हैं।
  • प्रति मिनट 196 शब्द: स्वाभाविक, काफ़ी तेज़ बोली।
  • पूरे एपिसोड में 206 कठिन शब्द (B2 और ऊपर)।

प्रतिलेख

एपिसोड की शुरुआत। पूरा ट्रांसक्रिप्ट प्लेयर में है।

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.

यह थी शुरुआत। बाक़ी एपिसोड (46 मिनट) प्लेयर में है: हर शब्द क्लिक करने योग्य, अनुवाद, सहेजे गए शब्दों और फ़्लैशकार्ड के साथ।

प्लेयर में जारी रखें

ऑडियो से स्वचालित रूप से बनाया गया। इसमें त्रुटियाँ हो सकती हैं। ऑडियो उसके प्रकाशक का है और उनकी फ़ीड से चलाया जाता है। अधिकार धारक हटाने का अनुरोध कर सकते हैं — कॉपीराइट और हटाने की नीति