Hola compañeros,

Me pueden ayudar con la especificiación en JML de este método y con las pruebas unitarias en Junit

De ante mano muchas gracias

public double promedio() {
double prom = 0;
double resultado=0;

for(int i=0;i<vec.length;i++) {
prom = (prom + vec[i]);
resultado= (prom /vec.length);
}

System.out.println("El promedio es:"+ resultado);
return resultado;
}