用玩游戏来测试软件？这家公司用马里奥和银河战士证明了它的可行性

一家公司通过玩任天堂游戏，特别是《银河战士》和《超级马里奥兄弟》，来测试其软件平台Antithesis。起初，他们的AI测试系统在《银河战士》中卡在一个红门前，因为系统优先消灭敌人而消耗了所有导弹。这促使他们开发了一种新的“群体测试”技术，该技术能够在探索状态空间的同时优化目标，例如优先保持更多导弹。这种技术不仅解决了红门问题，还使Antithesis能够以更有效率的方式探索游戏世界，发现游戏中的漏洞，甚至利用游戏机制完成“速通”。这项技术不仅适用于游戏测试，还可以应用于各种软件测试场景，例如寻找内存泄漏或性能异常。