Methods of Parameter Verification and Scenario Generation During Virtual Testing of Highly Automated and Autonomous Vehicles