Este documento describe varias técnicas de prueba de software, incluyendo técnicas basadas en la intuición, especificaciones, código, errores, estadísticas y uso. Explica brevemente cada técnica y su propósito, como pruebas ad hoc, particiones de equivalencia, pruebas de mutación, pruebas de perfil operativo y más. Concluye que realizar diferentes tipos de pruebas ayuda a evaluar la calidad del software y encontrar errores para entregar un producto de calidad al usuario.

1. UNIVERSIDAD NACIONAL DE
CHIMBORAZO
FACULTAD DE CIENCIAS DE LA EDUCACIÓN,
HUMANAS Y TECNOLOGÍAS
ESCUELA DE INFORMÁTICA APLICADA A LA EDUCACIÓN
DESARROLLO DE APLICACIONES INFORMÁTICAS II
NOMBRE: Hernán Espinoza.
SEMESTRE: 8vo
“B”

2. ENSAYO
Clasificación de las técnicas de prueba y el uso de las mismas en la
ingeniera del SW de aplicaciones educativas
En el presente ensayo se muestra la importancia de entregar un software de calidad al
usuario para que ellos sientan seguridad y satisfechos cuando se encuentren dispuestos
a utilizar nuestro producto es por esa razón que se deben realizar varias pruebas que
verifiquen su calidad y a continuación se dará a conocer las principales técnicas de
prueba y su uso.
Técnicas basadas en la intuición y la experiencia.
Esta técnica se basa en la habilidad e intuición de los ingenieros desarrolladores de
software ya experimentados, y en el conocimiento de situaciones similares. Dentro de
esta técnica podemos encontrar dos tipos de pruebas.
 Pruebas ad doc: Las pruebas ad hoc es un enfoque que algunos desarrolladores
toman para probar de forma rápida y eficaz software.
 Pruebas por exploración: Este tipo de pruebas no son preestablecidas, se
diseñan, ejecutan y se modifica de manera dinámica sobre la marcha, en donde
la eficacia de la prueba depende del conocimiento del ingeniero de pruebas.
Técnicas basadas en la especificación.
 Particiones de equivalencia: Partición de equivalencia es una técnica que divide
los datos de entrada de una unidad de software en particiones de datos
equivalentes desde el que se pueden derivar los casos de prueba. Esta técnica
trata de definir los casos de prueba que descubren clases de errores, reduciendo
así el número total de casos de prueba que debe ser desarrollada.
 Análisis de valores límite: En este tipo de pruebas los valores de entrada de los
casos de prueba se eligen en las cercanías de los límites de los dominios de
entrada de las variables.
 Pruebas de robustez: Básicamente son las encargadas de verificar la capacidad
del programa para soportar entradas incorrectas.

3.  Tablas de decisión: La tabla de decisión es una herramienta que sintetiza
procesos en los cuales se dan un conjunto de condiciones (entradas) y un
conjunto de acciones (salidas)a tomar según el valor que toman las condiciones.
Puede utilizarse como herramienta en los distintos momentos del proyecto, esto
es: en la exposición de los hechos, en el análisis del sistema actual, en el diseño
del nuevo sistema y en el desarrollo del software.
 Pruebas basadas en máquinas de estado finito: Se construye un grafo
(Representación simbólica de los elementos constituidos de un sistema o
conjunto, mediante esquemas gráficos.) del Software y se analiza su
funcionalidad.
 Pruebas aleatorias: Aquí en esta prueba se toma datos de entrada al azar para
realizar las pruebas, pero requiere el conocimiento del dominio de las entradas.
Técnicas basadas en el código.
Analizan el código de un programa o un módulo del mismo, realizando pruebas de
cobertura.
 Pruebas de coberturabasadas en flujo de datos: El diagrama de flujo de control
es anotado con información sobre cómo se definen usan y eliminan las variables
del programa El criterio más fuerte buscaprobar todos los caminos de definición-
uso, además para cada variable, se debe ejecutar cada segmento de camino de
flujo de control desde la definición de la variable a su uso.
Técnicas basadas en errores.
En este tipo de técnicas de pruebas “inventan” los casos de prueba con el objetivo de
descubrir categorías de defectos probables o previstos.
 Pruebas de conjetura de errores: Los casos de prueba se diseñan intentando
descubrir los defectos más probables del programa.
 Pruebas de mutación: Un mutante es una versión ligeramente modificada de un
programa la diferencia es un pequeño programa que es solo un cambio
sintáctico, más de forma que de fondo.

4. Técnicas estadísticas.
Este tipo de pruebas estudian estadísticamente el número de fallos.
 Pruebas de sala limpia: Se trata de un modelo de proceso del software que hace
hincapié en la verificación matemática de la corrección, y en la certificación de
la fiabilidad del software. El resultado final es una tasa de fallo extremadamente
baja, que sería difícil o imposible de conseguir empleando métodos menos
formales.
Técnicas basadas en el uso.
 Pruebas de perfil operativo: Se reproduce y se prueba el entorno operativo en
que deberá funcionar el programa. Se trata de inferir, a partir de los resultados
observados, la futura fiabilidad del software cuando esté en uso.
 Pruebas de fiabilidad del software: Métodoen el cual laspruebasson “diseñadasy
guiadas por objetivos de fiabilidad y criticidad de las diferentes funcionalidades”
Como se señala en cada una de las diferentes técnicas tienes sus características que las
diferencian de las demás técnicas. Es importante realizar la mayoría de pruebas para
que se pueda realizar de manera más precisa la verificación de la calidad del software y
que esté libre de errores, pero hay que tener en cuenta que resulta un poco complicado
llevar a cabo todo este tipo de pruebas ya que los softwares que se desarrollan llevan
una línea extensa de código por tal razón se debe escoger de manera minuciosa cual
será el tipo de técnica que se aplicara.
Conclusión
En mi opinión creo que para realizar eldesarrollo de un software hay realizar con mucho
cuidado y respetando todas las normas de calidad ya que las estas normas nos permiten
asegurar de que estamos creando el software de manera correcta.
En este ensayo se presentaron las diferentes pruebas que existe para el desarrollo del
software y que hay que tomar mucho en cuenta ya que con estas podemos evaluar la
calidad del software y verificar errores con el fin de poder entregar un software de
calidad que satisfaga completamente las necesidades del usuario.

5. Bibliografía.
Henry Umaña y Miguel Cubides (s.f).Tendencias en Ingeniería de Software e Inteligencia
Artificial, Pruebas basadas en máquinas de estado finitas, volumen 4, Recuperado de:
http://www.facso.unsj.edu.ar/catedras/ciencias-economicas/sistemas-de-
informacion-II/documentos/tabla.pdfe
María Castilla (s. f). Sistemas de Información II, Recuperado de:
http://www.facso.unsj.edu.ar/catedras/ciencias-economicas/sistemas-de-
informacion-II/documentos/tabla.pdf
Carlos Blanco. B (s. f). Ingeniería del Software II, Construcción y Pruebas de Software,
Recuperado de: http://ocw.unican.es/ensenanzas-tecnicas/ingenieria-del-software-
ii/materiales/tema1-pruebasSistemasSoftware.pdf
Direcciones URL.
http://docsetools.com/articulos-educativos/article_11744.html