The Graybox testing methodology is defined as the application of Requirement Based Test Cases (RBTC) generated from a Requirements Specification Language (RSL) supplied to a Unit Under Test using its interface parameters to verify the software executing under the control of a test execution environment.