Ingeniero

Páginas: 20 (4753 palabras) Publicado: 28 de agosto de 2013
Redalyc
Sistema de Información Científica
Red de Revistas Científicas de América Latina, el Caribe, España y Portugal

Lluna, Eduardo
Análisis estático de código en el ciclo de desarrollo de software de seguridad crítica
REICIS Revista Española de Innovación, Calidad e Ingeniería del Software, vol. 7,
núm. 3, 2011, pp. 26-38
Asociación de Técnicos de Informática
Madrid, EspañaDisponible en: http://www.redalyc.org/src/inicio/ArtPdfRed.jsp?iCve=92222551004

REICIS Revista Española de Innovación, Calidad
e Ingeniería del Software
ISSN (Versión electrónica): 1885-4486
reicis@ati.es
Asociación de Técnicos de Informática
España

¿Cómo citar?

Número completo

Más información del artículo

Página de la revista

www.redalyc.org
Proyecto académico sin fines de lucro,desarrollado bajo la iniciativa de acceso abierto

Revista Española de Innovación, Calidad e Ingeniería del Software, Vol.7, No. 3, 2011

Análisis estático de código en el ciclo de desarrollo de
software de seguridad crítica
Eduardo Lluna
Instituto Tecnológico de Informática (ITI)
elluna@iti.es

Resumen
El software es un elemento clave de los actuales sistemas de control incluidoslos de
seguridad crítica, en los que un fallo puede causar daños irreparables a personas o el
entorno. Puesto que el software ni envejece ni se estropea, la calidad de éste dependerá
principalmente de los defectos que se introduzcan en la fase de codificación. Por lo
tanto cualquier técnica que permita eliminar estos defectos en la fase de creación
permitirá aumentar la calidad a un coste másreducido. Las técnicas de Análisis Estático
realizan esa función permitiendo localizar defectos sin ejecutar el código. Existen
diversas técnicas y no siempre se pueden aplicar todas por razones de coste y tiempo.
En este artículo se presenta una selección de las técnicas de análisis estático mínimas
requeridas para un sistema de seguridad crítica en base a una norma y, puesto que estastécnicas son más eficientemente aplicadas por herramientas automáticas, se presenta un
proceso de selección de estas herramientas en función de requisitos del proyecto.
Palabras clave: Calidad del software, Seguridad crítica, Análisis estático, EN-50128.

Static code analysis in the development cycle of safety critical
software
Abstract
The software is a key element of control systems,including safety-critical, where failure
could cause irreparable damage to persons or the environment. Software does not get
aged or broken so its quality will largely depend on the number of defects introduced in
the coding phase. Therefore any technique to avoid defects in the coding phase will
increase software quality at a lower cost. Static Analysis techniques perform this
function locatingdefects on the code without running it. There are several techniques
but all of them cannot always be applied due to cost and time reasons. This article
presents a minimum selection of static analysis techniques required for a safety critical
system according a norm and, since these techniques are more efficiently applied by
automated tools, a tool selection process based on project requirementsis presented.
Key words: Software quality, Safety critical, Static analysis, EN-50128.

Lluna, E. “Análisis estático de código en el ciclo de desarrollo de software de seguridad crítica”, REICIS, vol. 7, no.3, 2011, pp.
24-**. Recibido: 22-11-2011; revisado:1-12-2011; aceptado: 19-12-2011.

ISSN: 1885-4486 © ATI, 2011

26

Revista Española de Innovación, Calidad e Ingeniería delSoftware, Vol.7, No. 3, 2011

1. Introducción
Hoy en día el software es un elemento clave en los sistemas de control, incluidos los de
seguridad crítica, aquellos cuyo fallo puede causar daños irreparables a personas, bienes
o medio ambiente. Esta dependencia ha hecho que el nivel de fiabilidad requerido para
este tipo de software sea muy elevado. La forma de conseguir un software de calidad...
Leer documento completo

Regístrate para leer el documento completo.

Estos documentos también te pueden resultar útiles

  • Ingeniero
  • Ingeniero
  • Ingeniero
  • Ingeniero
  • Ingeniero
  • Ingeniero
  • Ingeniero
  • Ingeniero

Conviértase en miembro formal de Buenas Tareas

INSCRÍBETE - ES GRATIS