その代表例として型チェックに代表される静的解析があるけど、他にも設計やプロセスレベルでバグが減ることを促すための取り組みというのはあると思う。