Encontré un impreso article by Bertrand Meyer donde dice que las pruebas se pueden generar a partir de las especificaciones. Mi equipo de desarrollo no hace nada como esto, pero parece una buena técnica para considerar. ¿Cómo está generando pruebas a partir de las especificaciones? ¿Cómo describirías el éxito que tienes al descubrir las fallas del programa a través de este método?¿Cómo está generando pruebas a partir de las especificaciones?
Hay todo tipo de formas de hacerlo, que van desde lo que yo considere una 'forma de arte' (y no necesariamente un buen arte) hasta pruebas matemáticamente derivadas de especificaciones formales. Al final del día, su equipo de desarrollo debe decidir qué pueden hacer según el cronograma con el que están trabajando. Dicho esto, poder probar el software contra especificaciones es una buena cosa.
Solo su equipo puede medir la "profundidad" de sus pruebas, y eso probablemente será una función de qué tan buenas son sus especificaciones. Si dicen algo así como 'la IU de inicio de sesión necesita proporcionar un botón cancelar y un botón de inicio de sesión, y necesitan trabajar', sus pruebas serán bastante generales. Pero tenga en cuenta que incluso las pruebas muy generales son una buena cosa. Las pruebas son una buena cosa. Demasiados desarrolladores tienen una mala actitud cuando se trata de pruebas, pero al final del día, estás enviando un software que debería funcionar, y para mí, eso significa mucho.
La eficacia que tengan sus pruebas para encontrar fallas en el programa dependerá de los detalles que les ponga. Lo que es especialmente agradable de tener los procedimientos de prueba escritos en las especificaciones es que puede probar cada compilación con el mismo nivel de detalle que la compilación anterior (generalmente denominada prueba de regresión).
Esto podría ser una referencia a RSpec, que es una manera muy inteligente de desarrollar pruebas como una serie de requisitos. Todavía me estoy acostumbrando, pero ha sido muy útil tanto para definir lo que tengo que hacer como para asegurarme de hacerlo.
@Tim Sullivan de Bertrand Meyer sólo puede estar relacionado con Eiffel :)
creo que está hablando ESpec. Dado el nombre RSpec de Ruby Folk, creo que podemos darles la etiqueta "fuertemente inspirada".
Yo diría que depende de sus especificaciones. Todavía tengo que trabajar en cualquier lugar donde las especificaciones fueran lo suficientemente buenas como para crear pruebas unitarias completas a partir de las especificaciones: el nivel de detalle simplemente no estaba allí. Mis gerentes siempre nos dijeron que si especificamos ese nivel, podrían enviar las especificaciones a India y codificarlas a bajo precio;)