3.2 Técnicas de definición de requerimientos

 

Qué son?

Estas técnicas consisten en poder aplicar un desglose para así poder analizar los requisitos y partes, el análisis de los requerimientos del software es la etapa que sigue  en un registro o una matriz de trazabilidad, estas se dividen en dos:

ESTATICAS

Son un sistema de entidades, atributos y relaciones con otros.

1.     Referencia indirecta

2.     Definición axiomática

3.     Expresiones regulares

4.     Abstracciones de datos

DINAMICAS

Son un sistema de función de los cambios que ocurren a lo largo del tiempo. Considerando un sistema en particular hasta que un estimulo lo obliga a cambiar de estado

1.     Tablas de decisión

 

Esta es una herramienta que mediante reglas lógicas ayuda a decidir qué acciones a ejecutar en función de las condiciones.

Un conjunto de:

·        CONDICIONES satisfechas por el sistema en un momento dado.

·        REGLAS para reaccionar ante los estímulos que ocurren cuando se reúnen determinados conjuntos de condiciones.

·        ACCIONES a ser tomadas como resultado.

2.     Diagramas de transición

Este se realiza con Máquinas de estados finito, esto es, máquinas que describen un sistema como un conjunto de estados donde el sistema de reacciones a ciertos eventos ya sean internos o externos.

Una construcción de:

·        Identificar los estados

·        Si hay un estado complejo

·        Desde el estado inicial

·        Analizan las condiciones

·        Verificando la conciencia

3.     Redes de Petri

Son utilizadas para especificar sistemas de tiempo real en los que son necesarios representar aspectos de concurrencia. Esta ejecución se realiza disparando transiciones habilitadas. Una transición está habilitada cuando cada lugar de entrada tiene al menos tantos tokens como arcos hacia la transición

4.     Casos de uso

 

Procesos de modelado de las funcionalidades del sistema en término de los eventos que interactúan entre los usuarios y el sistema.

·        Captura requerimientos funcionales.

·        Descompone el alcance del sistema.