¿Cómo se generan pruebas a partir de especificaciones?

Question

Me encontré con un impreso artículo de Bertrand Meyer donde afirma que se pueden generar pruebas a partir de especificaciones.Mi equipo de desarrollo no hace nada parecido, pero parece una buena técnica a considerar.¿Cómo se generan pruebas a partir de especificaciones?¿Cómo describiría el éxito que ha tenido al descubrir fallos en el programa mediante este método?

Answer 1

Hay todo tipo de formas de hacerlo, desde lo que yo consideraría una "forma de arte" (y no necesariamente un buen arte) hasta pruebas derivadas matemáticamente de especificaciones formales.Al final del día, su equipo de desarrollo debe decidir qué pueden hacer en función del cronograma con el que están trabajando.Dicho esto, poder probar el software según las especificaciones es algo bueno.

Sólo su equipo puede medir la "profundidad" de sus pruebas, y eso probablemente dependerá de qué tan buenas sean sus especificaciones.Si dicen algo como "la interfaz de usuario de inicio de sesión debe proporcionar un botón de cancelación y un botón de inicio de sesión, y deben funcionar", sus pruebas serán bastante generales.Pero tenga en cuenta que incluso las pruebas más generales son algo bueno.Las pruebas son algo bueno.Muchos desarrolladores tienen una mala actitud cuando se trata de pruebas, pero al final del día, estás entregando software que debería funcionar y, para mí, eso significa mucho.

La efectividad que tendrán sus pruebas para encontrar fallas en el programa dependerá del detalle que les ponga.Lo que es especialmente bueno de tener procedimientos de prueba escritos según las especificaciones es que puede probar cada compilación con el mismo nivel de detalle que la compilación anterior (lo que normalmente se conoce como prueba de regresión).

Answer 2

Esto podría ser una referencia a RSpec, que es una forma realmente inteligente de desarrollar pruebas como una serie de requisitos.Todavía me estoy acostumbrando, pero ha sido muy útil tanto para definir lo que necesito hacer como para asegurarme de hacerlo.

Answer 3

@Tim Sullivan de Bertrand Meyer, solo puede estar relacionado con Eiffel :)

Creo que está hablando de EEspec.Dado el nombre RSpec de Ruby Folk, creo que podemos darles la etiqueta de "muy inspirados".

Answer 4

Yo diría que depende de tus especificaciones.Todavía tengo que trabajar en algún lugar donde las especificaciones fueran lo suficientemente buenas como para crear pruebas unitarias completas a partir de especificaciones; el nivel de detalle simplemente no estaba allí.Mis gerentes siempre nos dijeron que si especificábamos a ese nivel, podrían enviar las especificaciones a la India y codificarlas a bajo costo;)