Test de cobertura de código con gcov

A la hora de determinar la validez del código programado, resulta útil analizar el mismo para determinar si las diferentes partes del mismo son todas probadas al pasar los test (una buena forma es hacer desarrollo guiado por test o TDD). Para ello, las herramientas GNU nos proporcionan gcov, que nos dará información diversa sobre éste tipo de análisis.

Existe diversa información a analizar cuando se realiza un análisis de cobertura de código (http://en.wikipedia.org/wiki/Code_coverage), aunque aquí nos limitaremos a anotar la manera de utilizarlo de forma mas básica.

Para utilizar gcov, deberemos compilar nuestro programa/as añadiendo las opciones -fprofile-arcs -ftest-coverage a la compilación (podemos añadirlo a CFLAGS p. ej.)

¡¡¡Importante!!! Si utilizamos alguna directiva de optimización de código (p. eje -O2) gcov no nos dará información útil, ya que las optimizaciones modificarán el análisis. Por tanto, dichas opciones han de ser eliminadas en la compilación para la cobertura de código.

Una vez compilado el programa, obtenemos un archivo .gcno con la información que necesita gcov.

A continuación, si ejecutamos el programa, se nos creará un archivo .gcda con los datos de la ejecución para interpretarlos con gcov.

Lo siguiente sería invocar a gcov con las opciones que necesitemos, por ejemplo:

#gcov programa.c

Ésto creará un archivo programa.c.gcov con toda la información sobre la cobertura del código. Si lo editamos, podemos ver que al lado de cada línea nos indica el número de veces que se ha ejecutado la linea en cuestión (y si se ha ejecutado claro). De esta forma podemos saber que partes del código han sido probadas y cuáles no.

Otra opción interesante es invocar gcov con la opción -b, que nos dará información probabilistica sobre las sentencias condicionales (análisis MC/DC y similares como se puede ver en el artículo de la wikipedia)

Por último, es posible generar informes html a partir de ésta información utilizando el script lcov en vez de gcov, inicialmente pensando para realizar estas tareas sobre el kernel de Linux, pero útil también para aplicaciones de usuario normales, aunque no genera información probabilistica sobre las sentencias condicionales.

La manera de utilizarlo es la siguiente:

• Capturar la información.

#lcov -c -d directorio_de_trabajo -o nombre_archivo_salida.info

• Generar html

#genhtml nombre_archivo_salida.info -o directorio_destino_html

Para usarlo en baterías de test, puede ser necesario utilizar las capacidades que tiene de combinar datos de distintas ejecuciones, para lo cual es recomendable ver man lcov.

Mezclar enlazado dinámico y estático C

A veces, en un programa en C, es necesario enlazar con bibliotecas estáticas, lo cual no es un problema, salvo que también necesites enlazar con otras dinámicas.
Por defecto, cuando invocamos el enlazador desde gcc, el enlazado se hace de manera dinámica, aunque podemos forzarlo con la opción -static para que se haga estática. De ésta forma, se incluirán en el ejecutable los códigos objeto de las funciones llamadas en él.
Pero, ¿y si lo que queremos es enlazar algunas bibliotecas de forma dinámica y otras de forma estática?
Pues la solución es simple, aunque creo que no óptima:

 -Wl,--whole-archive -lbiblio_estatica ...
-Wl,--no--whole-archive -lbiblio_dinamica ...  

Con lo que mediante -Wl le decimos a gcc que le pase lo siguiente al enlazador ld.

Y digo que creo que no es óptima porque según el manual del enlazador ld, éstas opciones hacen que se incluya en el ejecutable los archivos completos que se indican a continuación, por lo que se introducirá código que el programa no use (o eso es lo que yo entiendo).

Después le pasamos la opción que anula la configuración de incluir todos los archivos

VIM: Elminar ^M en archivos de texto

En ocasiones, cuando abrimos archivos de texto plano con vim procedentes de "otros" sistemas operativos, nos encontramos con unos caracteres molestos al final de cada línea.

Para eliminarlos, existe un método muy sencillo desde el propio vim, ahí va la receta:

abrimos el archivo:

vim nombre_archivo.xxx

En modo comando usamos:

:%s/Ctrl+V,Ctrl+M//

"et voila"

esto nos puede servir para otras muchas sustituciones, ya que "%" significa "en todo el documento", y la "s" nos permite sustituir.

Herramientas de depuración: pstack (Linux)

Hoy he descubierto una utilidad que parece interesante, se llama pstack y permite ver la pila de un proceso invocándola con su PID.
Sólo es válida para Linux y en la arquitectura x86 de 32 bits, Además, es necesario que el proceso no haya sufrido un proceso de stripping de los simbolos para que sea útil.

Mas información en "man pstack"

Crear Tablas Latex a partir de excel o Open Document Spreadsheet

Haciendo uso de las macros Excel2Latex y Calc2Latex, podemos obtener el código LaTex para insertarlo directamente en un bloque ERT en Lyx o en el código Latex directamente. Consultar la instalación y uso de las mismas en la página correspondiente (buscar en google el nombre de los scripts).

Conectar mediante XDMCP a una maquina Linux

Para conectar a una máquina Linux mediante XDMCP desde OSX, tendremos que tener habilitada dicha funcionalidad en gdm.conf (o en /etc/gdm/custom.conf en xubuntu y similares) o en el archivo de configuración del gestor de ventanas usado. Mirar el archivo de ejemplo (/etc/gdm/gdm.conf-dpkg-bak) para ver las distintas opciones. Es conveniente hacer uso del parámetro que limita el máximo número de conexiones, porque puede suceder que tras una conexión que termina con fallo no podamos conectar de nuevo hasta reiniciar.

Una vez configurado correctamente, conectamos mediante:

/usr/X11R6/bin/Xnest :1 -query 192.168.0.12 -geometry 1024x768 -terminate

con la opción -terminate, hacemos que finalice la conexión cuando salgamos de la sesión remota, en vez de volver a la pantalla de login.
Con la opción -geometry podemos definir el tamaño de la ventana que veremos.

Creación de presentaciones en Latex

Para crear presentaciones en Latex (con transiciones y todo no te vayas a pensar....) podemos usar el paquete Beamer. Para mayor comodidad podemos hacer uso de Lyx para hacerlo, para lo cual necesitamos instalar el paquete latex-beamer (en OSX viene con el instalador de Lyx) y seleccionamos el Layout  presentation (beamer).

Si no modificamos nada mas, las diapositivas saldran un poco simples, pero podemos usar temas para cambiar los colores, etc.
De forma simple, podemos poner en el preámbulo TeX lo siguiente:

\usetheme{nombre_Tema}

....