Using software testing techniques for bioinformatics tools