CI-1201 Tarea #1


  Universidad de Costa Rica 

  Escuela de Ciencias de la 

  Computación e Informática

Profesor Adolfo Di Mare
CI-1201
II Semestre 2008

$[\/]$

CI-1201 Programación II

Tarea #1 [solución]

Indentación y documentación de la clase `Acumulador`

#ifndef Acumulador_h
#define Acumulador_h ///< Evita la inclusión múltiple
class Acumulador{private:long m_total;long m_cantidad;long m_menor;long
m_mayor;public:Acumulador():m_total(0),m_cantidad(0),m_menor(0)
,m_mayor(0){/*borre();*/}~Acumulador(){}Acumulador(const
Acumulador&o){*this=o;}const Acumulador& operator=(const Acumulador&o){
m_total=o.m_total;m_cantidad=o.m_cantidad;m_menor
=o.m_menor;m_mayor=o.m_mayor;return*this;}void borre()
{m_total = m_cantidad = m_menor = m_mayor = 0;}long total() const{
return((m_cantidad <= 2) ? 0 : m_total-m_menor-m_mayor);}long
cantidad() const{return m_cantidad;}void acumule(long
val){m_total += val;m_cantidad++;if(m_cantidad > 1){
m_menor =( val < m_menor ? val : m_menor);m_mayor =( val > m_mayor
? val : m_mayor);}else{m_menor = m_mayor = val;}}void acumule( unsigned
n, const long * val){for(unsigned i=0; i<n; ++i){acumule(val[i]);
}}friend bool operator==(const Acumulador&A,const Acumulador&B){return(
A.m_total==B.m_total&&A.m_cantidad==B.m_cantidad&&A.m_menor==B.m_menor
&&A.m_mayor==B.m_mayor);}friend bool operator!=(const Acumulador&A,const
Acumulador&B){return!(A==B);}friend bool check_ok( const Acumulador&
A);friend class test_Acumulador;}; /* bool */
#endif

bool check_ok( const Acumulador& A){if( // Acumulador.cpp
!(&A!=0)){return false;}if(!(A.m_menor <= A.m_mayor)){return false;}if(!
(A.m_cantidad >= 0)){return false;}if((A.m_cantidad==0)&&((A.m_total !=0)
||(A.m_menor!=0)||(A.m_mayor != 0))){return false;}if((A.m_cantidad==1)
&&((A.m_total != A.m_mayor)||(A.m_menor != A.m_mayor))){return false;}
return true;}

Figura 1: Implementación de Acumulador

El objetivo de esta tarea programada es darle la oportunidad de tomar un programa C++ completo para que usted le agregue la documentación y aprenda a compilarlo. Tome esta implementación de la clase Acumulador y dele formato de acuerdo a las convenciones de programación definidas en el curso. Haga tanto la documentación interna como la documentación externa, y construya un sitio Internet en donde instale tanto el código fuente como su documentación. Use Doxygen. Ejecute el programa paso a paso, usando el depurador simbólico. Entregue un reporte en el que relate su experiencia.

Su reporte debe permitirle a una persona ajena al tema entender qué hizo y cómo lo hizo. Además, también debe servir para que esa persona pueda repetir el ejercicio desarrollado. Usted sabrá que su documentación es deficiente si solo le sirve a quien haya asistido a las lecciones del curso.

Di Mare, Adolfo: "Convenciones de Programación para Pascal"; Reporte técnico ECCI-01-88 Escuela de Ciencias de la Computación e Informática, Universidad de Costa Rica, 1988.
http://www.di-mare.com/adolfo/p/convpas.htm

// test_Acumulador.cpp (C) 2006 adolfo@di-mare.com

/** \file  test_Acumulador.cpp
    \brief Datos de prueba para la clase \c Acumulador.

    \author Adolfo Di Mare <adolfo@di-mare.com>
    \date   2006.
*/

#include "Acumulador.h"
#include "BUnit.h" // Módulo para prueba unitaria de programas

/// Datos de prueba para la clase \c Acumulador.
class test_Acumulador : public TestCase {
public:
    test_Acumulador() { setUp(); } ///< Constructor que invoca \c setUp()
    bool run();
private:
    void test_constructor();
    void test_copie_igual();
    void test_copie();
    void test_acumule();
    void test_total_cantidad();
    void test_borre();
    void test_Verifica_Suma();
    bool Verifica_Suma(long total, unsigned dim, long vec[]);
};

/// Ejecuta las pruebas.
bool test_Acumulador::run() {
    test_constructor();
    test_copie_igual();
    test_copie();
    test_acumule();
    test_total_cantidad();
    test_borre();
    test_Verifica_Suma();
    return wasSuccessful();
}

/// Cantidad de valores del vector \c V[].
/// - Esta una macro que no se puede implementar con plantillas.
#define DIM(V) (sizeof(V) / sizeof(*V)) // *V == *(V+0) == V[0]

/// Retorna \c true cuando la suma total de un acumulador es igual a \c total.
/// - En caso contrario, simplementer retorna \c false.
bool test_Acumulador::Verifica_Suma(long total, unsigned dim, long vec[]) {
    Acumulador A;
    assertTrue( check_ok( A ) );
    for (unsigned i=0; i<dim; ++i) {
        A.acumule( vec[i] );
        assertTrue( check_ok( A ) );
    }
    return ( A.total() == total );
}

/// Datos de prueba para el constructor y destructor de la clase.
void test_Acumulador::test_constructor() {
    {{  // test::constructor()
        Acumulador A;
        assertTrue( 0 == A.total() );
        assertTrue( 0 == A.cantidad() );
        long vec[] = { 1, 2, 3, 4,  5 };
        A.acumule( DIM(vec) , vec );
        assertTrue( 2+3+4 == A.total() );
        A.borre();
        assertTrue( 0 == A.total() );
    }}
    {   Acumulador A;
        {   // acumulador vacío
            A.borre();
            assertTrue( 0 == A.m_menor );
            assertTrue( A.m_menor == A.m_mayor );
            assertTrue( A.m_cantidad == 0 );
        }
    }
}

/// Datos de prueba para las operaciones de copia.
void test_Acumulador::test_copie() {
    {{  // test::copie()
        Acumulador A;
        long vec[] = { 1, 2, 3, 4,  5 };
        A.acumule( DIM(vec) , vec );
        Acumulador B; B = A;
        assertTrue( A.total()    == B.total() );
        assertTrue( A.cantidad() == B.cantidad() );
        assertTrue( A == B );
        A.borre();
        assertTrue( A != B );
        assertTrue( A.total()    != B.total() );
        assertTrue( A.cantidad() != B.cantidad() );
        B.borre();
        assertTrue( A == B );
    }}
}

/// Datos de prueba para las operaciones de copia y de comparación.
void test_Acumulador::test_copie_igual() {
    {{  // test::copie_igual()
        Acumulador A;
        long vec[] = { 1, 2, 3, 4,  5 };
        A.acumule( DIM(vec) , vec );
        Acumulador B = A;
        assertTrue( A.total()    == B.total() );
        assertTrue( A.cantidad() == B.cantidad() );
        assertTrue( A == B );
        A.borre();
        assertTrue( A != B );
        assertTrue( A.total()    != B.total() );
        assertTrue( A.cantidad() != B.cantidad() );
        B.borre();
        assertTrue( A == B );
    }}
}

/// Datos de prueba para \c Acumulador::borre().
void test_Acumulador::test_borre() {
    {{  // test::borre()
        Acumulador A;
        long vec[] = { 1, 2, 3, 4,  5 };
        A.acumule( DIM(vec) , vec );
        assertTrue( 2+3+4 == A.total() );
        assertTrue( 5 == A.cantidad() );
        A.borre();
        assertTrue( 0 == A.total() );
        assertTrue( 0 == A.cantidad() );
    }}
}

/// Datos de prueba para \c Acumulador::acumule().
void test_Acumulador::test_acumule() {
    {{  // test::acumule()
        Acumulador A;
        for ( long i=5; i>=0; --i ) {
            A.acumule( i );
        }
        assertTrue( 4+3+2+1 == A.total() );
        assertTrue( A.cantidad() == 6 );
        A.borre();
        assertTrue( 0 == A.total() );
        assertTrue( 0 == A.cantidad() );
    }}
    {   Acumulador A;
        {   // acumulación de puros ceros
            A.borre();
            assertTrue( 0 == A.total() );
            for ( long i=5; i>=0; --i ) {
                A.acumule( 0 );
            }
            assertTrue( 0+0+0+0 == A.total() );
            assertTrue( A.cantidad() == 6 );
        }
        {   // acumulación de solo un número
            A.borre();
            A.acumule( 12 );
            assertTrue( 12 == A.m_menor );
            assertTrue( A.m_menor == A.m_mayor );
            assertTrue( 0 == A.total() );
        }
        {   // acumulación ascendente de 2 números
            A.borre();
            A.acumule( 7 ); A.acumule( 11 );
            assertTrue(  7 == A.m_menor );
            assertTrue( 11 == A.m_mayor );
            assertTrue(  2 == A.m_cantidad );
            assertTrue(  0 == A.total() );
        }
        {   // acumulación descendente de 2 números
            A.borre();
            A.acumule( 11 ); A.acumule( 7 );
            assertTrue(  7 == A.m_menor );
            assertTrue( 11 == A.m_mayor );
            assertTrue(  2 == A.m_cantidad );
            assertTrue(  0 == A.total() );
        }
        {   // acumulación ascendente de 3 números
            A.borre();
            A.acumule( 7 ); A.acumule( 9 ); A.acumule( 11 );
            assertTrue(  7 == A.m_menor );
            assertTrue( 11 == A.m_mayor );
            assertTrue(  3 == A.m_cantidad );
            assertTrue(  9 == A.total() );
        }
        {   // acumulación descendente de 3 números
            A.borre();
            A.acumule( 11 ); A.acumule( 9 ); A.acumule( 7 );
            assertTrue(  7 == A.m_menor );
            assertTrue( 11 == A.m_mayor );
            assertTrue(  3 == A.m_cantidad );
            assertTrue(  9 == A.total() );
        }
        {   // vec[] en orden ascendente
            long vec[] = { -2, -1, -0, +0 , +1, +2, +3, +4  };
            A.borre();
            A.acumule( DIM(vec) , vec );
            assertTrue( A.total() == (-1) + (-0) + (+0) + (+1) + (+2) + (+3) );
            assertTrue( 8 == A.cantidad() );
        }
        {   // vec[] en orden decendente
            long vec[] = { +4, +3, +2, +1, +0, -0, -1, -2 };
            A.borre();
            A.acumule( DIM(vec) , vec );
            assertTrue( A.total() == (-1) + (-0) + (+0) + (+1) + (+2) + (+3) );
            assertTrue( 8 == A.cantidad() );
        }
        {   // vec[] en orden alocado
            long vec[] = { -1, -2, +1, +0, -0, +4, +3, +2 };
            A.borre();
            A.acumule( DIM(vec) , vec );
            assertTrue( A.total() == (-1) + (-0) + (+0) + (+1) + (+2) + (+3) );
            assertTrue( 8 == A.cantidad() );
        }
    }
}

/// Método base que ejecuta todas las pruebas de la clase.
void test_Acumulador::test_total_cantidad() {
    {{  // test::total_cantidad()
        Acumulador A;  //   2   3   4    5   6   7   8
        long vec[] = { -2, -1, -0, +0 , +1, +2, +3, +4  };
        A.acumule( DIM(vec) , vec );
        assertTrue( A.total() == (-1) + (-0) + (+0) + (+1) + (+2) + (+3) );
        assertTrue( 8 == A.cantidad() && 8 == DIM(vec) );
    }}
}

/// Corre varias pruebas específicas.
void test_Acumulador::test_Verifica_Suma() {
    {   assertTrue( 35 ==  2  + 3 + 4 + 5 + 6 + 7 + 8 );
        long vec[] = { 1 , 2 ,  3 , 4 , 5 , 6 , 7 , 8 , 9 };
        assertTrue( Verifica_Suma( 35, DIM(vec), vec ) );
    }

    {   long vec[] = { 1 };
        assertTrue( Verifica_Suma( 0, DIM(vec), vec ) );
    }

    {   long vec[] = { 1, 2 };
        assertTrue( Verifica_Suma( 0, DIM(vec), vec ) );
    }

    {   long vec[] = { 1, 2, 1 };
        assertTrue( Verifica_Suma( 1, DIM(vec), vec ) );
    }

    {   long vec[] = { 2, 2, 1 };
        assertTrue( Verifica_Suma( 2, DIM(vec), vec ) );
    }

    {   assertTrue( 12 ==  2 + 2 + 2 + 2 + 2 + 2  );
        long vec[] = { 1 , 2 , 2 , 2 , 2 , 2 , 2 , 2 };
        assertTrue( Verifica_Suma( 12, DIM(vec), vec ) );
    }

    {   // Esta es la que genera 1 error
        assertFalse(13 ==  2 + 2 + 2 + 2 + 2 + 2  );
        long vec[] = { 1 , 2 , 2 , 2 , 2 , 2 , 2 , 2 };
        assertTrue( Verifica_Suma( 13, DIM(vec), vec ) );
    }
}

#include <iostream> // cout

/** Este es el programa principal.
   - Primero crea la prueba \c Test de tipo \c test_Acumulador.
   - Luego hace la prueba, invocando \c test_Acumulador::run().
   - Por último graba en \c cout los resultados usando \c Report().
*/
int main() {
    test_Acumulador tester;       // crea la prueba
    tester.run();                 // la ejecuta
    std::cout << tester.report(); // graba en "cout" los resultados
    return 0;
}

// EOF: test_Acumulador.cpp

Figura 2: Datos de prueba para la clase Acumulador

Fuentes para

Doxygen
/** Calcula el Máximo Común Divisor de los números \c "x" y \c "y". - Se usa el algoritmo de Euclides para hacer el cálculo. - <code> mcd(x,y) >= 1 </code> siempre. - MCD <==> GCD: <em> Greatest Common Divisor </em>. \pre <code> (y != 0) </code> */ long mcd(long x, long y);

Documentación generada por

long mcd ( long x, long y )
Calcula el Máximo Común Divisor de los números "x" y "y".

Se usa el algoritmo de Euclides para hacer el cálculo.

mcd(x,y) >= 1 siempre.

MCD <==> GCD: Greatest Common Divisor .

Precondición:

(y != 0)

Entrega de la tarea

PROJECT_NAME = "952809 Tarea Programada #1" OUTPUT_LANGUAGE = Spanish OUTPUT_DIRECTORY = . GENERATE_LATEX = NO GENERATE_MAN = NO GENERATE_RTF = NO CASE_SENSE_NAMES = YES INPUT_ENCODING = ISO-8859-1 INPUT = Acumulador.h Acumulador.cpp test_Acumulador.cpp RECURSIVE = NO QUIET = YES JAVADOC_AUTOBRIEF = YES EXTRACT_ALL = YES EXTRACT_PRIVATE = YES EXTRACT_STATIC = YES EXTRACT_LOCAL_CLASSES = YES INLINE_INHERITED_MEMB = YES SOURCE_BROWSER = YES INLINE_SOURCES = NO STRIP_CODE_COMMENTS = NO REFERENCED_BY_RELATION= NO REFERENCES_RELATION = NO FULL_PATH_NAMES = NO SORT_MEMBER_DOCS = NO SORT_BRIEF_DOCS = NO CLASS_DIAGRAMS = YES ENABLE_PREPROCESSING = YES MACRO_EXPANSION = YES EXPAND_ONLY_PREDEF = YES PREDEFINED = "DOXYGEN_COMMENT" \ "Spanish_dox" \ "__cplusplus" \ "_MSC_VER=1300" EXAMPLE_PATH = . #--- TODOS ESTOS SON MENOS COMUNES --- # DISTRIBUTE_GROUP_DOC = YES # ENABLE_PREPROCESSING = YES # FILE_PATTERNS = diagrams_*.h # GENERATE_TAGFILE = example.tag # HAVE_DOT = YES # PERL_PATH = perl # TAGFILES = example.tag=../../example/html # Manual ==> http://www.doxygen.org/manual.html

Luego de escribir la documentación de su programa envíe su trabajo por correo electrónico. Para esto, haga un archivo empacado .zip cuyo nombre sea su número de carnet. Incluya en ese archivo lo siguiente:

Un documento en formato HTML que describa el trabajo que realizó. Incluya el nombre del compilador que usó.
La especificación de su programa.
Archivo de configuración Doxygen (los asistentes usrarán este archivo de configuración para generar la documentación de su programa, por lo que sobra que usted incluya esa documentaciónen su archivo .zip).
El código fuente de sus programas (archivos de implementación *.c, *.cpp, *.h, etc.).
Los archivos y datos de prueba para su programa.
Un archivo de enlace Internet, con extensión .url que permita abrir la página Internet en que está la documentación completa de su programa.

Las cuentas de computador en la ECCI se asignan de acuerdo al número de carnet. Por ejemplo, si su carnet es el número 95-28-09, para entregar su tarea usted debe crear el archivo 952809.zip para enviarlo por correo electrónico. Si varios alumnos participaron en la confección de la tareas, sus carnets deben incluirse en el nombre del archivo .zip: 952809-952810-952811.zip.

      Luego haga en su cuenta personal un subdirectorio llamado public_html, que es bajo el que se instalan todas sus páginas Internet. Por ejemplo, si su solución está en el archivo HTML llamado "OLP/t3sol952809.htm", entonces usted debe instalar esa página en el archivo
      public_html/OLP/t3sol952809.htm
de su cuenta. Luego, para acceder esa página Internet, debe entrar a este sitio:
      http://anubis.ecci.ucr.ac.cr/~e952809/OLP/t3sol952809.htm

[InternetShortcut] URL=http://anubis.ecci.ucr.ac.cr/~e952809/OLP/t3sol952809.htm

952809.url

Como todas las cuentas de estudiante son la letra "e" seguida del número de carnet, para el estudiante de carnet "952809" la cuenta es "e952809". Para indicarle al servidor Internet a cuál cuenta entrar se usa el caracter "~" (Alt-126), seguido del nombre de la cuenta: "~e952809". En este caso, el archivo de acceso rápido a su página Internet se llamaría "952809.url".

Después de la fecha de entrega del programa, puede usted instalar en su cuenta personal su solución (no instale antes su solución en Internet, pues en ese caso sería usted culpable de facilitar la copia de su trabajo, y en consecuencia se haría acreedor a la sanción respectiva).

Por ejemplo, para entregar su tarea programada, el estudiante 952809 crea su archivo 952809.zip en el que aparece estos archivos (este alumno no hizo los programas de prueba):

Acumulador.h: Define el tipo "Acumulador" para sumar secuencias de números enteros
test_Acumulador.cpp: Datos de prueba para la clase Acumulador
BUnit.h: Modulo [B]ásico para prueba [unit]aria de programas

952809.doc: Documentación, escrita con Word (incluye la portada)
952809.htm: Página Internet con toda la documentación
952809.dxg: Archivo de configuración Doxygen.
952809.url: Enlace para abrir la página Internet

test_Acumulador.dsp: Archivo para compilar el programa con MSC++ v6.x
test_Acumulador.vcproj: Archivo para compilar el programa con MSC++ .NET
test_Acumulador.dev: Archivo para compilar el programa con GNU C++.

[mailto:] Entrega de Tareas

Tiempo de entrega:	7 días
Modalidad:	Individual

Políticas de Corrección de Tareas

Es muy importante que el programa esté correctamente indentado y que las instrucciones estén debidamante espaciadas.
Es muy importante que en todo el programa haya buena documentación interna.
Uso de Doxygen para la especificación de todos los métodos, funciones y campos de la clase.
http://www.di-mare.com/adolfo/p/convpas.htm
http://java.sun.com/docs/codeconv/CodeConventions.pdf

La falta de cualquier especificación debe ser castigada fuertemente.

Correcta indentación del código fuente.

Correcto espaciado del código fuente.

Código fuente escrito de manera que se legible y claro.

Uso de indentificadores significativos.

Soluciones

$[/\]$

Tarea #1 [solución]

Indentación y documentación de la clase Acumulador

Entrega de la tarea

Políticas de Corrección de Tareas

Soluciones

Indentación y documentación de la clase `Acumulador`