Show HN: Avera – a deterministic check that proves no regression was introduced
Avera is a deterministic verification tool that ensures no regression has been introduced in your codebase. It provides a reliable check to confirm that changes maintain expected behavior without unexpected side effects, helping developers catch issues before deployment.
背景メモ
- AveraはGitHub上に公開されたばかりのツールで、ソフトウェアの変更（リファクタリングやバグ修正など）を加えたあと、動作結果が**完全に同一であること**を検証する"決定論的チェック"を提供する。
- 従来のリグレッションテスト（単体テストやE2Eテスト）はテストケースの網羅性に依存するのに対し、Averaはプログラムの出力や副作用を決定論的に比較することで、**「既存の振る舞いを一切変えていない」**という保証を自動化する狙い。
- この発想は「リファクタリングは振る舞いを変えてはいけない」というソフトウェア工学の基本原則に基づいており、大規模なコードベースでの安全な変更を支援するツールとして注目される。
- まだ実験的段階であり、Show HNとしてコミュニティからのフィードバックを募っている状況。