Optimal DO-178C Testing Strategy with V-model