Métodos de verificación en la verificación de software

¿Qué es la verificación de software? 
La revisión de cualquier software con el fin de encontrar fallas se conoce como verificación de software. La verificación es el proceso de verificar que un software logre su objetivo sin ningún error. Es el proceso para asegurar si el producto que se desarrolla es correcto o no. La revisión de un documento se puede realizar desde la primera fase de desarrollo de software, es decir, la fase de requisitos y análisis de software, donde el producto final es el documento SRS. Existen muchos métodos para practicar la verificación del software, como revisiones por pares, recorridos, inspecciones, etc., que pueden ayudarnos a prevenir fallas potenciales; de lo contrario, puede conducir a la falla del software. 

Métodos de verificación:

1. Revisiones por pares: 
el método más sencillo y la forma informal de revisar los documentos o los programas/software con el fin de descubrir las fallas durante el proceso de verificación es el método de revisión por pares. En este método, entregamos el documento o los programas de software a otros y les pedimos que revisen esos documentos o programas de software donde esperamos sus opiniones sobre la calidad de nuestro producto y también esperamos que encuentren las fallas en el programa/documento. Las actividades involucradas en este método pueden incluir verificación de documentos SRS, verificación SDD y verificación de programas. En este método, los revisores también pueden preparar un breve informe sobre sus observaciones o hallazgos, etc.

ventajas:

• Puede esperar algunos buenos resultados sin gastar recursos significativos.
• Es muy eficiente y significativo en su naturaleza.

Desventajas:

• Llevar a malos resultados si el revisor no tiene suficiente conocimiento.

2. Recorrido: los recorridos 
son el tipo de método de verificación formal y muy sistemático en comparación con la revisión por pares. En un tutorial, el autor del documento de software presenta el documento a otras personas, que pueden oscilar entre 2 y 7. No se espera que los participantes preparen nada. El presentador es responsable de preparar la reunión. Los documentos se distribuyen a todos los participantes. En el momento de la reunión del recorrido, el autor introduce el contenido para que se familiaricen con él y todos los participantes tienen la libertad de preguntar sus dudas.

ventajas:

• Puede ayudarnos a encontrar fallas potenciales.
• También se puede utilizar para compartir documentos con otros.

Desventajas:

• El autor puede ocultar algunas áreas críticas y enfatizar innecesariamente algunas áreas específicas de su interés.

3. Inspecciones:
las inspecciones son el tipo de método de verificación más estructurado y formal y se conocen comúnmente como inspecciones. Se constituye un equipo de tres a seis participantes dirigido por un moderador imparcial. Cada persona en el grupo participa abiertamente, activamente y sigue las reglas sobre cómo se llevará a cabo dicha revisión. Todos pueden tener tiempo para expresar sus puntos de vista, fallas potenciales y áreas críticas. Después de la reunión, se prepara un informe final después de incorporar las sugerencias necesarias por parte del moderador.

ventajas:

• Puede ser muy efectivo para encontrar posibles fallas o problemas en los documentos como SRS, SDD, etc.
• Las inspecciones críticas también pueden ayudar a encontrar fallas y mejorar estos documentos que pueden prevenir la propagación de una falla en el proceso del ciclo de vida del desarrollo de software.

Desventajas:

• Toman tiempo y requieren disciplina.
• Requiere más costo y también necesita probadores calificados.

Aplicaciones de los métodos de verificación:
Los tres métodos de verificación anteriores son muy populares y tienen sus propias fortalezas y debilidades. Podemos comparar estos métodos en varios temas específicos como se indica a continuación:

S.no	Método	Presentador	Nº de miembros	requisitos previos	Reporte	Fuerza	Debilidad
1.	Revisiones hechas por colegas	0	1 o 2	Sin requisito previo	No requerido	Menos costoso	El resultado depende de la capacidad del revisor
2.	Tutorial	Autor	2 a 7 miembros	Se requiere que el único presentador esté preparado	El informe es preparado por el presentador.	El intercambio de conocimientos	Encuentra pocos fallos y no muy caro
3.	Inspección	Autor y otros miembros	3 a 6 miembros	Todos los participantes deben estar preparados.	El informe es preparado por el moderador.	Efectivo pero puede tener fallas	Caro y requiere miembros muy capacitados

Por lo tanto, la Verificación es probablemente más efectiva que la validación, pero puede encontrar algunas fallas que son algo imposibles de encontrar durante el proceso de validación. Pero al mismo tiempo, nos permite encontrar fallas en la fase/momento más temprano posible del desarrollo de software.