Please enable JavaScript.
Coggle requires JavaScript to display documents.
Theory of Program Testing 9 - Coggle Diagram
Theory of Program Testing 
Conceptos básicos
Se enfonca en
Seleccionar un sub-conjunto de casos de prueba del conjunto total de casos de prueba posible [1, 2]
-
Probar oráculos usandos durante el testeo [6, 7]
-
-
-
-
-
-
Teoría de Goodenough and Gerhart
-
Teoría del testeo
Por cada predicado de prueba, seleccionamos una prueba para la cual el predicado es satisfecho.
-
-
-
-
-
Teoría de Weyuker y Ostrand
El criterio de validez y confiabilidad de una prueba de selección son solo dependientes de la especificación del programa, en lugar de el programa.
-
Tiene la intención de resolver todos las dificultados de depender del programa en las definiciones dadas por Goodenough y Gehart
-
Confiabilidad y Validez de una prueba son las metas ideales, y las metas iddeas son raramente conseguidas.
-
Teoría de Gourlay
Algunas definiciones
Si un programa es correcto, entonces nunca producira un resultado inesperado con respecto a la especificación
Una prueba consiste de un número de ensayos de algún tipo, y el pasar la prueba depende de realizar todos los ensayos como corresponde
El elegir un modelo de construcción modela la situación donde un ingeniero es dado un número de formas de testar el prgroama, donde todas son equivalentes
-
-
-
-
Suficiencia del Testeo
El testeo les da a los diseñadores y programadores mayor confieza en un componente de software o un producto completo si pasa los casos de prueba
El criterio para evaluar que una prueba es suficiente, es saber si se han realizado las suficientes pruebas
Sin la suficiencia del testeo, se deja de realizar pruebas cuando
-
-
-
Los casos de prueba de diseño son independients del criterio de suficiencia porque su principal función es encontrar errores.
Es decir, no hay problemas siempre que se revelen los errores
-
Un entendimiento comun de correctitud es que encontrar y solucionamos todos los errores del programa, haciendolo "correcto"
-
-
Limitaciones del Testeo
-
-
Debemos verificar la correctitud de las salidas del programa de forma individual para entradas de prueba individuales.
-
-