The Testing Technique that requires devising test cases to demonstrate that each program function is operational is called
Black-Box Testing
Glass-Box Testing
Grey-Box Testing
White-Box Testing