>>33
手動でやっても正しくテストできているかは証明できない。

だから自動化で正しくテストできていることが証明できなかったとしても
それは手動でやるのと何ら変わりない。

そして証明以外の点で、自動化には大きなメリットがある。