gerando nusmv por teste unitário