Please enable JavaScript.
Coggle requires JavaScript to display documents.
Teoría de la prueba de programas - Coggle Diagram
Teoría de la prueba de programas
Enfasis
Seleccionar un subconjunto de casos de prueba de todos los casos de prueba posibles
Diseñar casos de prueba de distintas fuentes
Priorizar la ejecución de los casos de prueba seleccionados
Detectar defectos a través de pruebas basadas en ejecución
Efectividad de la estrategia de selección de casos de prueba
Análisis de suficiencia de los casos de prueba
Teorías más conocidas
Teoría de Weyuker & Ostrand
Basado en la Teoría de Goodenough & Gerhart, propone una versión modificada del teorema que ayuda a definir el C (criterio) evitando contradicciones
Un criterio C es valido si:
(∀P)[(∃d ∈ D)(¬OK(P, d)) ⇒ (∃T ⊆ D)(C(T) & ¬SUCC(P, T))]
Un criterio C es uniforme si:
(∀P)(∀T1, ∀T2 ⊆ D)[(C(T1) & C(T2)) ⇒ SUCC(P, T1) ⬄ SUCC(P, T2)]
Sin embargo, que se cumplan dichas condiciones requeriría de pruebas exhaustivas, lo cual es impráctico
Teoría de Gourlay
Hace énfasis en el proceso requerido para poder determinar los casos de prueba, en particular en el hecho de que la correctitud del programa y la efectividad de los casos de prueba dependerán netamente de la especificación del programa, que es aquella que define que es correcto y que no en un primer lugar.
p corr s ⇒ p ok(t)s ∀t
Clasifica los tipos de metodos de prueba en base a su dependencia
Dependiente de programa
Dependientede la especificación
Dependiente de las expectativas
Teoría de Goodenough & Gerhart
Define un modelo mediante el cual podemos determinar si un programa esta libre de una cantidad significante de errores de consecuencias severas.
Teorema Fundamental
: (∃T ⊆ D)(COMPLETE(T, C) ∧ RELIABLE(C) ∧ VALID(C) ∧ SUCCESSFUL(T)) ⇒ (∀d ∈ D)OK(d)
Clasifica los fallos de un programa
Lógicos
Que el programa produzca resultados incorrectos, independiente de los recursos necesarios
Rendimiento
Que el programa no produzca los resultados esperados dentro de las limitiaciones de recursos especificadas
Problemas debido a la imposibilidad de definir un C (criterio) valido y factible