A CP approach of the variability testing of software product lines