Geração semi-automática de massas de testes funcionais a partir da composição de casos de uso e tabelas de decisão Documento