IEEE

Revista
Española de

Innovación,
Calidad e
Ingeniería del Software
Volumen 7, No. 3, diciembre, 2011

Web de la editorial: www.ati.es
Web de la revista: www.ati.es/reicis
E-mail: calidadsoft@ati.es
ISSN: 1885-4486
Copyright © ATI, 2011
Ninguna parte de esta publicación puede ser reproducida, almacenada, o
transmitida por ningún medio (incluyendo medios electrónicos, mecánicos,fotocopias, grabaciones o cualquier otra) para su uso o difusión públicos sin
permiso previo escrito de la editorial. Uso privado autorizado sin restricciones.
Publicado por la Asociación de Técnicos de Informática (ATI), Via Laietana,
46, 08003 Barcelona.
Secretaría de dirección: ATI Madrid, C/Padilla 66, 3º dcha., 28006 Madrid

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

Revista Española de Innovación, Calidad e Ingeniería del
Software (REICIS)
Editor
Dr. D. Luís Fernández Sanz (director)
Departamento de Ciencias de la Computación, Universidad de Alcalá

Miembros del Consejo Científico
Dr. Dña. Idoia Alarcón
Depto. de Informática
Universidad Autónoma de Madrid

Dr. D. José Antonio Calvo-Manzano
Depto. de Leng y Sist. Inf. eIng.Software
Universidad Politécnica de Madrid

Dra. Tanja Vos
Depto. de Sist. Informáticos y Computación
Universidad Politécnica de Valencia

Dña. Mª del Pilar Romay
CEU Madrid

Dr. D. Alvaro Rocha
Universidade Fernando Pessoa
Porto

Dr. D. Oscar Pastor
Depto. de Sist. Informáticos y Computación
Universidad Politécnica de Valencia

Dra. Dña. María Moreno
Depto. de InformáticaUniversidad de Salamanca

Dra. D. Javier Aroba
Depto de Ing. El. de Sist. Inf. y Automática
Universidad de Huelva

D. Guillermo Montoya
DEISER S.L.
Madrid

Dr. D. Pablo Javier Tuya
Depto. de Informática
Universidad de Oviedo

Dra. Dña. Antonia Mas
Depto. de Informática
Universitat de les Illes Balears

D. Jacques Lecomte
Meta 4, S.A.
Francia

Dra. Raquel Lacuesta
Depto. deInformática e Ing. de Sistemas
Universidad de Zaragoza

Dra. María José Escalona
Depto. de Lenguajes y Sist. Informáticos
Universidad de Sevilla

Dr. Dña. Aylin Febles
CALISOFT
Universidad de Ciencias Informáticas (Cuba)

ISSN: 1885-4486 © ATI, 2011

2

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

Contenidos

REICIS

Editorial

4

LuísFernández-Sanz

Presentación

5

Luis Fernández-Sanz

Patrones de adaptación para arquitecturas de software basadas en
tecnologías del acuerdo

6

J. Santiago Pérez-Sotelo, Carlos E. Cuesta y Sascha Ossowski

Análisis estático de código en el ciclo de desarrollo de software de
seguridad crítica

26

Eduard Lluna

Sección Actualidad Invitada:
Perspectivas de la mejora deprocesos de software

39

José Antonio Calvo-Manzano, Cátedra Everis de Mejora de Procesos Software en
el Espacio Iberoamericano

ISSN: 1885-4486 © ATI, 2011

3

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 incluidos los 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 cualquiertécnica que permita eliminar estos defectos en la fase de creación
permitirá aumentar la calidad a un coste más reducido. 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...