Melhorias no modelo que representa um problema de selecao e priorizacao de casos de teste