Scribd Logo
Cargar

¡Te damos la bienvenida a Scribd!

  • 132 vistas

    Ingeniería Del Software de Sala Limpia

    Cargado por

    Roger Fernández
    La ingeniería de software de sala limpia es un enfoque de desarrollo de software que produce productos de alta calidad mediante la eliminación de errores en las especificaciones y el diseño. Utiliza modelos de procesos formales que incluyen la certificación estadística de la calidad del código e involucran la especificación matemática del software. Algunas de sus ventajas son una mejor comprensión del sistema, una comunicación más clara con los clientes y una mayor calidad y productividad del software.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd

    Ingeniería Del Software de Sala Limpia

    Cargado por

    Roger Fernández
    132 vistas2 páginas
    La ingeniería de software de sala limpia es un enfoque de desarrollo de software que produce productos de alta calidad mediante la eliminación de errores en las especificaciones y el diseño. Utiliza modelos de procesos formales que incluyen la certificación estadística de la calidad del código e involucran la especificación matemática del software. Algunas de sus ventajas son una mejor comprensión del sistema, una comunicación más clara con los clientes y una mayor calidad y productividad del software.

    Título original

    Ingeniería del Software de Sala Limpia.docx

    Derechos de autor

    © © All Rights Reserved

    Formatos disponibles

    DOCX, PDF, TXT o lea en línea desde Scribd

    ¿Le pareció útil este documento?

    ¿Este contenido es inapropiado?

    La ingeniería de software de sala limpia es un enfoque de desarrollo de software que produce productos de alta calidad mediante la eliminación de errores en las especificaciones y el diseño. Utiliza modelos de procesos formales que incluyen la certificación estadística de la calidad del código e involucran la especificación matemática del software. Algunas de sus ventajas son una mejor comprensión del sistema, una comunicación más clara con los clientes y una mayor calidad y productividad del software.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    132 vistas2 páginas

    Ingeniería Del Software de Sala Limpia

    Cargado por

    Roger Fernández
    La ingeniería de software de sala limpia es un enfoque de desarrollo de software que produce productos de alta calidad mediante la eliminación de errores en las especificaciones y el diseño. Utiliza modelos de procesos formales que incluyen la certificación estadística de la calidad del código e involucran la especificación matemática del software. Algunas de sus ventajas son una mejor comprensión del sistema, una comunicación más clara con los clientes y una mayor calidad y productividad del software.

    Copyright:

    © All Rights Reserved
    Descargue como DOCX, PDF, TXT o lea en línea desde Scribd
    Descargar como docx, pdf o txt
    Está en la página 1de 2

    1

    Ingeniera del Software de Sala Limpia


    Denominado ingeniera de cleanroom es un acercamiento al desarrollo del
    software lgico, que mejora la calidad y reduce costos. La ingeniera de software de
    sala limpia es un enfoque de desarrollo de software que da lugar a un producto de alta
    calidad, evitando as tener que corregir errores despus de desarrollarlo. El enfoque de
    sala limpia demanda la disciplina necesaria para eliminar errores en las
    especificaciones y en el diseo, fabricando entonces el producto de forma limpia.
    Su modelo de proceso incluye la certificacin estadstica de calidad de los
    incrementos de cdigo, a medida que estos se van acumulando en el sistema. El
    modelo de mtodos formales acompaa a un conjunto de actividades que conducen a
    la especificacin matemtica del software. Cuando se usa los mtodos formales se
    eliminan muchos de los problemas que son difciles de superar con las metodologas
    habituales.
    Las ventajas de los mtodos formales son:
    - Se comprende mejor el sistema.
    - La comunicacin con el cliente mejora ya que se dispone de una descripcin
    clara y no ambigua de los requisitos del usuario.
    - El sistema se describe de manera precisa.
    - El sistema se asegura matemticamente que es correcto segn las
    especificaciones.
    - Mayor calidad del software respecto al cumplimiento de las especificaciones.
    - Mayor productividad
    Tareas de la sala limpia
    - Planificacin de Incrementos.- permite calidad temprana y continua interaccin
    con el usuario.
    - Recoleccin de requisitos.- definir requisitos para el producto de software y
    obtener un acuerdo con el cliente en los requisitos.
    - Especificacin de la estructura de cajas.- Una caja encapsula el sistema con un
    cierto grado de detalle, tres tipos especiales de funciones matemticas son
    importantes en el desarrollo a Sala limpia:



    2

    o Caja Negra. Especifica el comportamiento del sistema, o de una parte de
    un sistema.
    o Caja de Estado. Esta caja encapsula los datos de estados y de servicios
    (operaciones) de forma anloga a los objetos. En esta vista de
    especificacin, se representan las entradas de la caja de estados y sus
    salidas.
    o Caja Transparente. Las funciones de transicin que estn implicadas en
    la caja de estados se definen en la caja transparente.
    - Diseo Formal.- Mediante el uso del enfoque de estructura de cajas, el diseo
    de sala limpia es una extensin natural y sin discontinuidades de la
    especificacin.
    - Verificacin de Correccin.- Lleva a cabo una serie de rigurosas actividades de
    verificacin de correccin aplicadas primero al diseo y despus al cdigo
    - Generacin de Cdigo, inspeccin y verificacin.- Las especificaciones de
    estructura de caja que se representan mediante un lenguaje especializado se
    traducen la lengua de programacin ms adecuada.
    - Planificacin de la comprobacin estadstica.- El propsito del proceso
    estadstico de prueba y de certificacin es demostrar la aptitud del software
    para el uso en un experimento estadstico formal.
    El diseo que se utiliza en la ingeniera del software de sala limpia hace mucho
    uso de la filosofa de programacin estructurada. La tcnica y estrategia de la
    comprobacin de la sala limpia es fundamentalmente distinta de los enfoques
    convencionales de comprobacin.
    La ingeniera del software de sala limpia se diferencia de otros mtodos o
    paradigmas por las siguientes razones:
    - Hace uso explcito del control estadstico de calidad.
    - Verifica la especificacin del diseo empleando una demostracin de correccin
    basada en las matemticas.
    - Hace mucho uso de la comprobacin estadstica de utilizacin para descubrir
    errores de especial incidencia.

    También podría gustarte

    pFad - Phonifier reborn

    Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

    Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


    Alternative Proxies:

    Alternative Proxy

    pFad Proxy

    pFad v3 Proxy

    pFad v4 Proxy