Hi mates,

I am writing a program that automatically generates test input values according to given conditions.

Fox example, given the conditions of "x<0, y<10", the program generates a set of value combinations of x and y as test input. Some combinations are valid cos they meet the conditions, others are invalid cos they dont meet.

I can deal with independent variables, such as the conditions above, using equivalence class partitioning and boundary value analysis.

BUT i have no idea to deal with dependent vars, such as "x < y-5", "|x-y|<10". Is there some strategies to generate test input values for such conditions? Or some tool that can generate test input values for dependent variables?

Many thanks.