Resumenes de algunos capitulos de swebook.

...

Herramientas de calidad del sw o Herramientas de revision de auditoría Apoyan las revisiones y auditorías o Herramientas de análisis estáticos Estas herramientas se usan para analizar los artefactos de sw. Como lo son los analizadores sintácticos y semánticos, análisis de datos, análisis de flujo de control y dependencia

Herramientas compuestas o Herramientas de integración de técnicas La integración de instrumentos es importante para hacer a instrumentos individuales cooperar. Esta categoría potencialmente se superpone con la categoría de ambientes integrados CASE donde las técnicas de integración son aplicadas; sin embargo es suficientemente distinto para merecer una categoría de su propiedad. Las clases típicas de integracion de instrumento son la plataforma, la presentación, el proceso, datos, y el control. o Meta-herramientas Las meta-herramientas generan otras herramientas; compilador de compiladores es el ejemplo clásico Componentes de las herramientas CASE: editor, visualización, documentación…. o Herramientas de evaluación A causa de la evolución continua de las herramientas de la Ingenieria de sw, la evaluación de instrumentos es un tema esencial. PMD: Analizador estatico de código utiliza conjunto de reglas para detectar problemas dentro del sw (código duplicado, variables parámetros o métodos sin usar, condicionales innecesarios) Métodos heurísticos o Métodos estructurados Comienza con una vista de alto nivel, y a medida que avanza el diseño se hace más detallado o Métodos orientados a datos Los puntos de partida son las estructuras de datos que un programa manipula o Métodos orientados a objetos El sistema es visto como un conjunto de objetos más que de funciones

Métodos formales Los denominados métodos formales parten de una especificación de las necesidades de información en términos de un modelo matemático riguroso, del cual se podría deducir el programa que les satisfaga. o Especificación del lenguaje y notaciones Este tema trata la especificación o notación el lenguaje usado. Las especificaciones de lenguaje pueden ser clasificadas como orientado por modelo, orientado por características u orientado por comportamiento. o Refinamiento Este tema trata como el método refina (o transforma) la especificación en una forma que es mas cercana a la forma final deseada de un programa ejecutable. Descripción más detallada. o Propiedades de verificación/confirmación Este tema cubre las prioridades de verificación que son especificas al acercamiento formal, incluyendo tanto confirmación de teorema como la comprobación del modelo Verificación proporcionando una prueba formal de la exactitud del sistema

Métodos de prototipado o Estilos del prototipado Tiene varios accesos: Especificación desechable, evolutiva y ejecutable o Objetivo del prototipado Se relaciona con las exigencias, el diseño arquitectónico o la interfaz de usuario o Técnicas de evaluación del prototipado Cubre los motivos por los cuales los resultados del ejercicio de un prototipado son usado