mamam

Análisis de valores límite: los errores tienden a darse más en los límites del campo de entrada que en el centro. Por ello, se ha desarrollado el análisis de valores límites (AVL) como técnica deprueba.
"clases de equivalencia". Esta técnica trata cada parámetro como un modelo algebráico donde unos datos son equivalentes a otros.

El tamaño de la prueba de software - bajo - el uso deeste enfoque puede variar desde un simple módulo, función, o un objeto de clúster a un subsistema o de una completo sistema de software.

Gráfica Causa-efecto. La gráfica Causa-efecto representa unaayuda gráfica en seleccionar, de una manera sistemática, un gran conjunto de casos de prueba. Tiene un efecto secundario beneficioso en precisar estados incompletos y ambigüedades en laespecificación.

La meta para el Tester
es utilizar con eficacia los recursos disponibles mediante el desarrollo de un conjunto de casos de prueba que da el máximo rendimiento de los defectos por eltiempo y el esfuerzo

Modelado de estado finito. Los nodos representan diferentes estados del software observables por el usuario (por ejemplo, cada una de las pantallas que aparecen cuando untelefonista coge una petición por teléfono), y los enlaces representan las transiciones que ocurren para moverse de estado a estado

Modelado de flujo de datos. Los nodos objetos de datos y los enlacesson las transformaciones que ocurren para convertir un objeto de datos en otro.

Modelado de planificación. Los nodos son objetos de programa y los enlaces son las conexiones secuenciales entreesos objetos. Los pesos de enlace se usan para especificar los tiempos de ejecución requeridos al ejecutarse el programa

Modelado del flujo de transacción. Los nodos representan los pasos dealguna transacción (por ejemplo, los pasos necesarios para una reserva en una línea aérea usando un servicio en línea), y los enlaces representan las conexiones lógicas entre los pasos (por ejemplo,...