%0 Journal Article
%T An¨¢lisis est¨¢tico de c¨®digo en el ciclo de desarrollo de software de seguridad cr¨ªtica
%A Eduardo Lluna
%J Revista Espa£¿ola de Innovaci¨®n, Calidad e Ingenier¨ªa del Software
%D 2011
%I Asociaci¨®n de T¨¦cnicos de Inform¨¢tica
%X 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 cualquier t¨¦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 an¨¢lisis est¨¢tico m¨ªnimas requeridas para un sistema de seguridad cr¨ªtica en base a una norma y, puesto que estas t¨¦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.
%U http://www.redalyc.org/articulo.oa?id=92222551004