Software testing is widely understood as essential to building reliable systems, and it\u2019s 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.<\/p>\n
Antithesis<\/a> is a software verification company built around an approach called deterministic simulation testing. The platform runs a customer\u2019s software in a fully controlled environment, exploring thousands of different paths through it at runtime. Crucially, the paths aren\u2019t pre-specified and they\u2019re not merely the expected cases. In this way, it can surface rare, damaging bugs that normal testing would never catch.<\/p>\n Carl Sverre<\/a> is on the Red Team at Antithesis and he also leads much of the company\u2019s AI strategy. In this episode, Carl joins Sean Falconer to discuss the Antithesis approach to software verification, why reliability tooling has been chronically underinvested, what makes stateful and distributed systems so hard to test, how deterministic simulation testing works under the hood, and much more.<\/p>\n Full Disclosure: This episode is sponsored by Antithesis<\/em><\/p>\n Sponsorship inquiries: \n<\/p> The post Software Verification in the Age of Coding Agents<\/a> appeared first on Software Engineering Daily<\/a>.<\/p>","protected":false},"excerpt":{"rendered":" Software testing is widely understood as essential to building reliable systems, and it\u2019s 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. […]<\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"rop_custom_images_group":[],"rop_custom_messages_group":[],"rop_publish_now":"initial","rop_publish_now_accounts":[],"rop_publish_now_history":[],"rop_publish_now_status":"pending","footnotes":""},"categories":[15],"tags":[],"class_list":["post-14659","post","type-post","status-publish","format-standard","hentry","category-world"],"_links":{"self":[{"href":"https:\/\/handoli.com\/index.php\/wp-json\/wp\/v2\/posts\/14659","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/handoli.com\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/handoli.com\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/handoli.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/handoli.com\/index.php\/wp-json\/wp\/v2\/comments?post=14659"}],"version-history":[{"count":0,"href":"https:\/\/handoli.com\/index.php\/wp-json\/wp\/v2\/posts\/14659\/revisions"}],"wp:attachment":[{"href":"https:\/\/handoli.com\/index.php\/wp-json\/wp\/v2\/media?parent=14659"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/handoli.com\/index.php\/wp-json\/wp\/v2\/categories?post=14659"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/handoli.com\/index.php\/wp-json\/wp\/v2\/tags?post=14659"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}
sponsor@softwareengineeringdaily.com<\/a><\/p>\n