リリース前にソフトウェアが正しく動作することを検証する根本的に新しい方法を提供する"Antithesis"がSeries Aで$105Mを調達

Antithesisは、Jane Streetがリードし、Amplify Venture Partners、Spark Capital、Tamarack GlobalなどのVCや個人投資家などが参加したSeries Aで$105Mを調達した。

リリース前にソフトウェアが正しく動作することを検証する根本的に新しい方法を提供するAntithesisは、数年分の実世界の本番動作を数時間でテストする、完全決定論的で大規模並列のシミュレーションを実行します。Antithesisはコードベースの隅々までインテリジェントに探索し、一般的な障害を戦略的に注入して、システムが常に意図したとおりに動作することを保証します。このプラットフォームは、発見したバグを独自の環境で完全に再現し、迅速なデバッグを可能にします。

ソフトウェアシステムはより複雑になり、AIが生成するコード量が加速する中、従来のテスト手法では追いつけなくなっています。現在、多くの組織は依然として(エンジニアまたはAIによって)記述された例示ベースのテストに依存しています。これらの方法は表面的な問題は検出できますが、障害、データ破損、連鎖的なシステム障害を引き起こす深い創発的な挙動を確実に露呈させることはできません。

Antithesisはこれを決定論的シミュレーションテストに置き換えます。これは、検証対象のシステムを完全自動で大規模に並列化されたシミュレーションで実行し、数カ月分の本番挙動を数時間に圧縮します。このプラットフォームはエッジケースを探索し、一般的な障害を注入し、正しさを検証し、障害を完全に再現することで、エンジニアが前例のないスピードと確信を持って問題を修正できるようにします。

「いまやソフトウェアはあらゆるものを支えています。そしてシステムがより複雑で分散化するにつれ、正しさを保証する新しいテストモデルが世界に必要です。今回の資金調達により、信頼性を達成可能にするだけでなく当然のものとするインフラを拡大します。ちょうど信号機が毎回正しく動作することを期待するように。私たちの顧客はすでに、決定論的に検証されたシステムが壊れることなくより速く出荷され、より深い信頼を獲得できることを証明しています。」とAntithesisのCEOは述べています。

「Jane Streetは世界で最も要求の厳しい分散システムを運用していますが、Antithesisは他のどのテスト手法でも発見できなかった問題を見つけるのに役立ちました。私たちは依存する技術に非常に高い基準を設けており、投資する企業にはさらに高い基準を適用します。初期ラウンドをリードすることは私たちにとってまれですが、Antithesisは数年先を進んでおり、決定論的シミュレーションテストが業界横断で基盤となると信じています。」とJane StreetのEngineerは述べています。

Antithesisは、システムが失敗できない組織で既に使用されています。

Jane Streetは、グローバルな取引事業の運営に不可欠な複雑な分散システムを検証するためにAntithesisに依存しています。
EthereumはThe Mergeを前に、極端な条件下でグローバルネットワークをシミュレーションするためにAntithesisを使用し、歴史的なProof-of-Stake移行を危険にさらしかねない重大な問題を発見しました。
MongoDBは、データベースプラットフォームの中核コンポーネントを厳密にテストするためにAntithesisを使用し、エンジニアが微妙な問題を顧客に届く前に発見できるようにしています。

これらの例は、金融、インフラプラットフォーム、高度なAIシステムを構築する組織にわたって急速に拡大する顧客基盤を反映しています。Antithesisは過去2年間で売上を12倍以上に増加させ、今も急速に成長を続けています。