Please enable JavaScript.
Coggle requires JavaScript to display documents.
Teoría de Goodenough y Gerhart - Coggle Diagram
Teoría de Goodenough y Gerhart
Condiciones para la confiabilidad
Un conjunto de predicados de prueba debe satisfacer al menos las siguientes condiciones para tener alguna posibilidad de siendo confiable.
Cada condición de ramificación individual en el programa debe estar representado por un condición equivalente en C
Cada condición relevante para la correcta funcionamiento del programa que está implícita en la especificación y conocimiento de los datos.
Cada posible condición de terminación en el programa, por ejemplo, un desbordamiento.
Conceptos básicos en la teoría de las pruebas
para ello
Una base teórica de las pruebas da a los tester y desarrolladores información valiosa sobre sistemas de software y el desarrollo de procesos
Existe un nuevo campo de investigación denominado “Testing Theory""
Errores de programa
Las fallas se deben a dos razones principales
Las fallas ocurren debido a nuestra inadecuada comprensión de todas las condiciones con las que un programa debe tratar
Las fallas ocurren debido a que no nos damos cuenta de que ciertas combinaciones de condiciones requieren tratamientos especiales
Goodenough y Gerhart clasificaron los problemas de programas de la siguiente manera
Fallo lógico
Fallo de rendimiento
Conceptos fundamentales
Una prueba ideal se interpreta de la siguiente manera. si de la ejecución exitosa de una muestra del dominio de entrada podemos concluir que el programa no contiene errores, entonces la muestra constituye una prueba ideal
Teoria del Testeo
La selección de datos para satisfacer un predicado de prueba, es cuando seleccionamos datos para ejercer la combinación de condiciones en el curso de ejecucion p
Inconvenientes de la teoría
Varias dificultades nos impiden aplicar la teoría de Goodenough y Gerhart de una manera ideal
Los conceptos de confiabilidad y validez son definidos con respecto a toda la entrada dominio de un programa
No se conserva la validez ni la fiabilidad.
durante todo el proceso de depuración
Los conceptos de confiabilidad y validez se
han definido con respecto a un programa
Teoría de Weyuker y Ostrand
La fiabilidad y validez de un criterio dependen ante la presencia de fallas en un programa y sus tipos
Proporcionan una versión modificada de la teoría en la que la validez y la fiabilidad de los criterios de selección de la prueba dependen únicamente de la especificación del programa.
Fiabilidad y validez de la selección de pruebas los criterios son metas ideales, y las metas ideales son raramente logradas. Es útil buscar menos ideal pero objetivos utilizables. Al conformarse con menos ideal objetivos, esencialmente aceptamos la realidad de que la corrección de programas grandes no es algo que nos esforzamos por lograr
Sin embargo, el concepto de prueba uniformemente ideal la selección también tiene varios defectos
Teoría de Gourlay
Un proceso ideal para el software desarrollo, que consiste en lo siguiente pasos
Un cliente y un equipo de desarrollo especifican las necesidades
Una base teórica de las pruebas da a los tester y desarrolladores información valiosa sobre sistemas de software y el desarrollo procesos
Un ingeniero de pruebas toma tanto la especificación y el programa y selecciona un conjunto de pruebas casos . Los casos de prueba se basan en la especificación y el programa
Se dice que el programa es correcto si y sólo si cumple con la especificación. La Teoria de Gourlay establece una relación entre tres conjuntos de entidades, a saber, especificaciones, programas y pruebas, y proporciona una base para comparar diferentes métodos para seleccionar pruebas
El programa se ejecuta con el seleccionado datos de prueba, y el resultado de la prueba se compara con el resultado esperado
Se dice que el programa tiene fallas si algunos las pruebas fallan
Se puede decir que el programa está listo para usar si pasa todos los casos de prueba
Idoneidad de las pruebas
Las pruebas dan a los diseñadores y programadores mucha confianza en un componente de software o un producto completo si pasa su prueba casos
Intuitivamente la idea detrás de especificar un criterio para evaluar la adecuación de la prueba es saber si se han realizado o no suficientes pruebas. En ausencia de la adecuación de la prueba, los desarrolladores se verán obligados a usar "ad hoc" medidas para decidir cuándo dejar de hacer pruebas. Algunos ejemplos de medidas "ad hoc" para detener la prueba son los siguientes
Detener cuando el tiempo asignado para la prueba caduca
Deténgase cuando sea el momento de liberar el producto.
Deténgase cuando todos los casos de prueba se ejecuten sin revelando fallas
Se dice que el programa es correcto si y sólo si cumple con la especificación. Pruebas de Gourlay La teoría establece una relación entre tres conjuntos de entidades, a saber, especificaciones, programas y pruebas, y proporciona una base para comparar diferentes métodos para seleccionar pruebas
El programa se ejecuta con el seleccionado datos de prueba, y el resultado de la prueba se compara con el resultado esperado
Se dice que el programa tiene fallas si algunas de las pruebas fallan
Se puede decir que el programa está listo para usar si pasa todos los casos de prueba
Limitaciones de las pruebas
Debido a la naturaleza poco práctica de probar incluso pequeños programas para ser correctos, clientes y Los desarrolladores de software confían en la eficacia de pruebas, dos limitaciones principales de las pruebas:
Una vez que hemos seleccionado un subconjunto de la entrada dominio, nos enfrentamos al problema de verificar la corrección del programa salidas para entrada de prueba individual. Eso es un la salida del programa se examina para determinar si el programa funcionó correctamente en la prueba aporte
Probar significa ejecutar un programa con un generalmente pequeño, subconjunto adecuado de la entrada dominio del programa
Un pequeño subconjunto propio del dominio de entrada es elegido porque el costo puede no permitir mucho subconjunto más grande para ser elegido, y mucho menos el completo conjunto de entrada Probar con el conjunto de entrada completo es conocido como pruebas exhaustivas