Boundary Value Analysis for Input Variables with Functional Dependency