El software embebido en aplicaciones cruciales debe cumplir objetivos de calidad específicos como parte de los imperativos regulatorios o de procesos de verificación corporativos. A fin de que los equipos de software logren estos objetivos, los desarrolladores y directivos deben definir los objetivos de calidad, los criterios de evaluación y los umbrales de métricas asociados. El panel web de métricas de Polyspace ayuda a los desarrolladores de software a definir umbrales y métricas relevantes, como métricas de código, de MISRA-C y de errores de tiempo de ejecución. También ofrece la posibilidad de realizar un seguimiento del progreso de estas métricas a lo largo de todo el proceso de verificación y comparar las diferencias en cuanto a calidad en cada revisión de código.
Otro reto para el desarrollo de aplicaciones de alta integridad es que la puesta en práctica no sistemática de tareas de verificación puede llevar a fluctuaciones en la calidad del código. Polyspace ofrece ahora integración con sistemas de correo electrónico y procesos nocturnos, lo que contribuye a automatizar el proceso de verificación continua. Los ingenieros pueden reducir el trabajo repetitivo impuesto por las tareas de verificación manuales, lo que les permite centrarse en tareas de verificación de más alto nivel como la solución de problemas nuevos que surgen entre dos versiones del mismo código.
"Además de verificar que el software embebido esté libre de errores de tiempo de ejecución, los ingenieros y directivos de calidad necesitan visibilidad sobre el ciclo de calidad del software", afirma Brett Murphy, director de marketing técnico de MathWorks. "Los equipos que empleen una interfaz común para diseñar modelos de calidad de software que permitan la verificación continua del código y midan su progreso en relación con métricas cruciales serán capaces de satisfacer la demanda creciente de software de alta calidad."
Para obtener más información, visite: http://www.mathworks.com
No hay comentarios