Automated Test Data Generation on the Analyses of Feature Models: A Metamorphic Testing Approach