Kata de string calculator basada en BDD