A Comprehensive Approach to On-Board Autonomy Verification and Validation