------- Forwarded message follows -------
From:    Adolfo Di Mare <adolfo@di-mare.com>
To:      Programacion I <ci1101@yahoogroups.com>
Date:    Thu, 02 May 2013 08:25:02 -0600
Subject: [CI-1101] Ejemplo de una especificación Java

> Buenas profe. Estaba estudiando el formato para hacer la especificación
> de la manera correcta. Ya entiendo el segundo punto {2} que es la
> descripcion corta pero veo cómo hacer el encabezado y el ejemplo que
> esta en la pagina esta en C++. Si tiene algún ejemplo de un encabezado
> de un programa Java le agradezco que me lo enseñe para comprender todo
> un poco mejor.

La especificación "corta" cabe en un renglon:

// Retorna res[i]==true si VAL[i] es un número de Armstrong.

El ejemplo de uso NO aparece en las especificaciones de Pg1 porque es
material del curso siguiente. Yo uso ejemplos assertTrue() para complementar
la especificación. Sin embargo, para Pg1 NO es necesario que incluyan
ejemplos assertTrue() en cada especificación.

Un ejemplo Java es el siguiente:

{1} public static char[] alVerres( char V[] );
{2} // Retorna una copia de A[] con los valores invertidos.
{   {4}
    static char Vbcdefgh[] = { 'b','c','d','e','f','g','h' };
    static char Vhgfedcb[] = { 'h','g','f','e','d','c','b' };
    static char Vabababa[] = { 'a','b','a','b','a','b','a' };
    {
        assertTrue( sonIguales( Vbcdefgh, alVerres(Vhgfedcb) ) );
        assertTrue( sonIguales( Vabababa, alVerres(Vabababa) ) );
    }
}

Referencia: http://www.di-mare.com/adolfo/p/BUnitXP.htm#fg-01

------- End of forwarded message -------