PROPUESTA METODOLÓGICA PARA VALIDAR LA FUNCIONALIDAD DE SOFTWARE EN SISTEMAS EMBEBIDOS

Resumen

Resumen

En la actualidad la innovación tecnológica ha permitido incorporar diversos dispositivos electrónicos, que realizan tareas automatizadas en aparatos o equipos industriales, o de uso en hogares u oficinas. En general, estos dispositivos son computadoras de propósito especial dentro de un sistema mecánico o eléctrico, que están diseñados para satisfacer las necesidades específicas, conocidos como sistemas embebidos. Estos sistemas los encontramos en los automóviles, en el control industrial, en aparatos del hogar como refrigeradores, lavadoras, entre otros. Estos sistemas incluyen un microprocesador que internamente mantiene algoritmos computacionales que leen datos provenientes de sensores, los procesan y producen una acción de retroalimentación. La complejidad del sistema se refleja en el manejo de señales recibidas y en el procesamiento de la relación entre ellas y el estado de las variables de control para generar una respuesta. La programación de la lógica de operación, anteriormente se hacía en lenguaje ensamblador, pero actualmente se realiza en lenguajes de alto nivel, como son Java y C, teniendo especial cuidado en aquellos sistemas en que el tiempo de respuesta es crítica, como lo establece Fariña (2015). El incremento de la complejidad de los algoritmos que realizan los dispositivos adiciona la posibilidad de generar fallos en el sistema, aunado con la necesidad de mejorar la productividad del software intentando construir programas altamente confiables en periodos de tiempo cada vez más cortos. Este artículo es una propuesta metodológica para incorporar mecanismos que mejoren la calidad del producto de software, aplicando reglas de codificación en el desarrollo, utilizar herramientas que permitan cuantificar su complejidad y analizar los modos en los que puede fallar e incorporando la solución.

Palabras Clave: Prueba de software, pruebas unitarias, software embebido, validación, verificación.

Abstract

Today technological innovation has allowed incorporating various electronic devices that perform automated industrial equipment or use equipment in homes or offices tasks. In general, these devices are special purpose computers within a mechanical or electrical system, which are designed to do specific task, known as embedded systems. These systems are found in automobiles, industrial control, in household appliances such as refrigerators, washing machines, among others. These systems include a microprocessor internally maintains computational algorithms that read data from sensors, process and produce a feedback action. System complexity is reflected in handling received signals and processing the relationship between them and the state of the control variables to generate a response. These systems include a microprocessor inside it has computational algorithms that read data from sensors, process and produce a feedback action. System complexity is reflected in handling received signals and processing the relationship between them and the state of the control variables to generate a response. The programming was did previously in assembly language, but currently it done in high level languages as C and Java, taking special care to those systems where response time is critical, Fariña (2015). The increasing complexity of the algorithms that perform operation of device can produce system failure coupled with the need to improve the software productivity trying to build software highly realibility in less time. This article is a proposal to incorporate mechanisms to improve product quality software, introducing coding rules applying in the development, use tools to quantify their complexity and analyze the ways that can fail.

Keywords: Test software, unit testing, embedded software, validation, verification.