El método de partición de categorías para especificar y generar pruebas funcionales

Se ha desarrollado un método para crear suites de pruebas funcionales en el que un ingeniero de pruebas analiza la especificación del sistema, escribe una serie de especificaciones de pruebas formales y luego utiliza una herramienta generadora para producir descripciones de pruebas a partir de las cuales se redactan los scripts de prueba. Las ventajas de este método son que el evaluador puede modificar fácilmente la especificación de prueba cuando sea necesario, y puede controlar la complejidad y el número de pruebas anotando la especificación de las pruebas con restricciones.