Playing Games to Test Software: How One Company Conquered Metroid and Mario

2025-08-24
Playing Games to Test Software: How One Company Conquered Metroid and Mario

A company used playing Nintendo games, specifically Metroid and Super Mario Bros., to test its software platform, Antithesis. Initially, their AI testing system got stuck on a red door in Metroid because it prioritized eliminating enemies, depleting its missiles. This led them to develop a new 'swarm testing' technique that optimizes objectives while exploring the state space, such as prioritizing having more missiles. This not only solved the red door problem but enabled Antithesis to explore the game world more efficiently, uncover bugs, and even exploit game mechanics for speedruns. This technique isn't limited to game testing; it's applicable to various software testing scenarios, such as finding memory leaks or performance anomalies.

Read more
Development

Making Everything Testable: Mitchell's GPU Testing Challenge

2025-07-06
Making Everything Testable: Mitchell's GPU Testing Challenge

HashiCorp co-founder Mitchell faced a significant challenge while developing his latest project, Ghostty, a GPU-rendered terminal emulator: testing the GPU rendering code. This article summarizes his BugBash presentation, exploring how to make seemingly untestable code testable. It highlights the lack of widely accepted solutions for GPU testing in the age of AI, making Mitchell's approach particularly valuable. His solution and the work at Antithesis demonstrate a commitment to pushing the boundaries of software testing.

Read more
Development GPU testing