A test team is applying risk-based testing to a healthcare application. They have identified that the medication dosage calculation module has a high risk level. Which combination of testing approaches is MOST appropriate for this high-risk module?