kzxjk

¿Verificabilidad como requerimiento?
Se ha propuesto que la verificabilidad ( en Inglés, testability) es un tipo de requerimiento de un sistema. De acuerdo con el grado de verificabilidad que sedesea obtener puede incrementarse o disminuirse la cantidad de software de soporte necesario para llevar a cabo las pruebas (p. ej. arneses de prueba, oráculos, manejadores). En mi opinión, laverificabilidad en abstracto no existe, siempre es respecto a uno o más requerimientos. Un software es verificable respecto a un requerimiento en la medida que:

Las propiedades del software relevantesal requerimiento sean visibles al ejecutar ese software (observabilidad);
Puede controlarse la ejecución del software para explorar el dominio del requerimiento (controlabilidad).

¿Cuándocomenzar el proceso de pruebas de validación?
La respuesta tradicional es al culminar la fase de codificación.

La respuesta más moderna es tan pronto como sea posible. [¿Por qué? Porque el análisis dela verificabilidad de los requerimientos y la elaboración de los casos de prueba son buenas formas de revisar los requerimientos y de detectar, de manera temprana, problemas con ellos.Adicionalmente las necesidades de observabilidad y controlabilidad forman parte de los requerimientos del diseño y permiten comenzar temprano el desarrollo o búsqueda de software de apoyo a las pruebas].

Sinembargo, el proceso de pruebas debe adaptarse al macro-nivel o etapa del desarrollo. Recuerden que en RPM, cada release pasa por las siguientes etapas: Exploración, Refinamiento del Plan, Construcción(Build) y Puesta en Marcha (Deploy). En una etapa exploratoria, los requerimientos son menos precisas y más fluidas, por lo que el proceso de prueba puede ser muy informal; el proceso que hemosesgrimido usualmente resulta demasiado pesado. En cambio, en una etapa de Construcción, el grueso de los requerimientos deben ser más precisos lo que conlleva mayor formalidad en el proceso de prueba....