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

Software Verification in the Age of Coding Agents

B2بالاتر از متوسط۲۳ مهر ۱۴۰۵۴۷ دقیقه
  • فناوری

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 ۲۰٪A2 ۲۹٪B1 ۲۴٪B2 ۲۱٪C1 ۶٪
  • ۷۳٪ کلمه‌ها در سطح B1 یا ساده‌تر هستند.
  • ۱۹۶ کلمه در دقیقه: گفتار طبیعی و نسبتاً سریع.
  • ۲۰۶ کلمه‌ی سخت‌تر (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 دقیقه) در پلیر است: همه‌ی کلمه‌ها قابل کلیک، با ترجمه، ذخیره‌ی کلمه و فلش‌کارت.

ادامه در پلیر

به‌صورت خودکار از صوت تولید شده و ممکن است خطا داشته باشد. صوت متعلق به ناشر آن است و از فید خودش پخش می‌شود. صاحبان حق می‌توانند درخواست حذف بدهند — سیاست کپی‌رایت و حذف محتوا