Global Constraints in Software Testing Applications