A methodology for validating cloud models using metamorphic testing