An innovative approach for testing bioinformatics programs using metamorphic testing