Embedded Software Testing

Manual técnico y exhaustivo enfocado en los fundamentos y metodologías avanzadas de verificación y validación de software embebido para sistemas críticos (automotriz, aeroespacial, dispositivos médicos y automatización industrial). El contenido se sitúa en los estándares de calidad y desarrollo de la industria vigentes hacia 2026 y está concebido para desarrolladores de firmware, ingenieros de sistemas embebidos, profesionales de QA y líderes de pruebas que cuentan con conocimientos previos de programación en C o C++, así como nociones básicas de arquitectura de microcontroladores y sistemas operativos en tiempo real.

La obra aborda sistemáticamente todas las fases del ciclo de vida de pruebas en entornos con restricciones severas de hardware y memoria. Enseña a estructurar la ingeniería y trazabilidad de requerimientos, a implementar análisis estático automatizado de código y revisiones técnicas formales, y a diseñar pruebas unitarias y de integración midiendo cobertura de código (incluidos criterios rigurosos como MC/DC). Se adentra en problemas propios del bajo nivel: análisis de tiempo de ejecución en el peor caso (Worst-Case Execution Time o WCET), análisis de planificabilidad en sistemas concurrentes y distribuidos, análisis de interacción hardware-software basado en FMEA (Failure Mode and Effects Analysis), y la adopción de pruebas basadas en modelos y técnicas asistidas por inteligencia artificial, todo bajo el marco normativo de estándares como ISO 9001 y CMMI.

A lo largo de los capítulos se proponen ejercicios técnicos y problemas aplicados donde se analizan interfaces de comunicación, se resuelven condiciones de carrera en RTOS y se implementan dobles de prueba (stubs, mocks y emuladores) para desacoplar el software del hardware físico. Su mayor valor reside en llenar el vacío de la literatura tradicional de testing, que suele asumir entornos de ejecución ideales en PC o servidores, aportando rigor sobre la frontera electrónica y temporal. Conviene dominar C/C++ y depuración de microcontroladores antes de leerlo, ya que no enseña electrónica básica ni sintaxis inicial.