\documentclass[10pt,a4paper]{article} % Packages \usepackage{fancyhdr} % For header and footer \usepackage{multicol} % Allows multicols in tables \usepackage{tabularx} % Intelligent column widths \usepackage{tabulary} % Used in header and footer \usepackage{hhline} % Border under tables \usepackage{graphicx} % For images \usepackage{xcolor} % For hex colours %\usepackage[utf8x]{inputenc} % For unicode character support \usepackage[T1]{fontenc} % Without this we get weird character replacements \usepackage{colortbl} % For coloured tables \usepackage{setspace} % For line height \usepackage{lastpage} % Needed for total page number \usepackage{seqsplit} % Splits long words. %\usepackage{opensans} % Can't make this work so far. Shame. Would be lovely. \usepackage[normalem]{ulem} % For underlining links % Most of the following are not required for the majority % of cheat sheets but are needed for some symbol support. \usepackage{amsmath} % Symbols \usepackage{MnSymbol} % Symbols \usepackage{wasysym} % Symbols %\usepackage[english,german,french,spanish,italian]{babel} % Languages % Document Info \author{Bryan02} \pdfinfo{ /Title (tecnicas-de-validadcion-y-verificacion.pdf) /Creator (Cheatography) /Author (Bryan02) /Subject (Técnicas de Validadción y Verificación Cheat Sheet) } % Lengths and widths \addtolength{\textwidth}{6cm} \addtolength{\textheight}{-1cm} \addtolength{\hoffset}{-3cm} \addtolength{\voffset}{-2cm} \setlength{\tabcolsep}{0.2cm} % Space between columns \setlength{\headsep}{-12pt} % Reduce space between header and content \setlength{\headheight}{85pt} % If less, LaTeX automatically increases it \renewcommand{\footrulewidth}{0pt} % Remove footer line \renewcommand{\headrulewidth}{0pt} % Remove header line \renewcommand{\seqinsert}{\ifmmode\allowbreak\else\-\fi} % Hyphens in seqsplit % This two commands together give roughly % the right line height in the tables \renewcommand{\arraystretch}{1.3} \onehalfspacing % Commands \newcommand{\SetRowColor}[1]{\noalign{\gdef\RowColorName{#1}}\rowcolor{\RowColorName}} % Shortcut for row colour \newcommand{\mymulticolumn}[3]{\multicolumn{#1}{>{\columncolor{\RowColorName}}#2}{#3}} % For coloured multi-cols \newcolumntype{x}[1]{>{\raggedright}p{#1}} % New column types for ragged-right paragraph columns \newcommand{\tn}{\tabularnewline} % Required as custom column type in use % Font and Colours \definecolor{HeadBackground}{HTML}{333333} \definecolor{FootBackground}{HTML}{666666} \definecolor{TextColor}{HTML}{333333} \definecolor{DarkBackground}{HTML}{00A393} \definecolor{LightBackground}{HTML}{EFF9F8} \renewcommand{\familydefault}{\sfdefault} \color{TextColor} % Header and Footer \pagestyle{fancy} \fancyhead{} % Set header to blank \fancyfoot{} % Set footer to blank \fancyhead[L]{ \noindent \begin{multicols}{3} \begin{tabulary}{5.8cm}{C} \SetRowColor{DarkBackground} \vspace{-7pt} {\parbox{\dimexpr\textwidth-2\fboxsep\relax}{\noindent \hspace*{-6pt}\includegraphics[width=5.8cm]{/web/www.cheatography.com/public/images/cheatography_logo.pdf}} } \end{tabulary} \columnbreak \begin{tabulary}{11cm}{L} \vspace{-2pt}\large{\bf{\textcolor{DarkBackground}{\textrm{Técnicas de Validadción y Verificación Cheat Sheet}}}} \\ \normalsize{by \textcolor{DarkBackground}{Bryan02} via \textcolor{DarkBackground}{\uline{cheatography.com/207404/cs/44908/}}} \end{tabulary} \end{multicols}} \fancyfoot[L]{ \footnotesize \noindent \begin{multicols}{3} \begin{tabulary}{5.8cm}{LL} \SetRowColor{FootBackground} \mymulticolumn{2}{p{5.377cm}}{\bf\textcolor{white}{Cheatographer}} \\ \vspace{-2pt}Bryan02 \\ \uline{cheatography.com/bryan02} \\ \end{tabulary} \vfill \columnbreak \begin{tabulary}{5.8cm}{L} \SetRowColor{FootBackground} \mymulticolumn{1}{p{5.377cm}}{\bf\textcolor{white}{Cheat Sheet}} \\ \vspace{-2pt}Not Yet Published.\\ Updated 6th May, 2025.\\ Page {\thepage} of \pageref{LastPage}. \end{tabulary} \vfill \columnbreak \begin{tabulary}{5.8cm}{L} \SetRowColor{FootBackground} \mymulticolumn{1}{p{5.377cm}}{\bf\textcolor{white}{Sponsor}} \\ \SetRowColor{white} \vspace{-5pt} %\includegraphics[width=48px,height=48px]{dave.jpeg} Measure your website readability!\\ www.readability-score.com \end{tabulary} \end{multicols}} \begin{document} \raggedright \raggedcolumns % Set font size to small. Switch to any value % from this page to resize cheat sheet text: % www.emerson.emory.edu/services/latex/latex_169.html \footnotesize % Small font. \begin{multicols*}{3} \begin{tabularx}{5.377cm}{x{2.43873 cm} x{2.53827 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Leyenda}} \tn % Row 0 \SetRowColor{LightBackground} Primera columna & Técnicas de Verificación \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} Segunda y tercera columna & Técnicas de Validación \tn % Row Count 4 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.34379 cm} x{3.63321 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Walkthrough}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Revisión informal de documentos o código con el equipo} \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} {\bf{Fases}} & En todo el CVDS \tn % Row Count 3 (+ 1) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Retroalimentación rápida, útil para compartir conocimiento \tn % Row Count 6 (+ 3) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & Poco formal y depende de la experiencia del equipo \tn % Row Count 8 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.39356 cm} x{3.58344 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Code inspections}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Detectar errores y mejorar la calidad mediante revisiones detalladas del código} \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} {\bf{Fases}} & Codificación \tn % Row Count 3 (+ 1) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Alta precisión para encontrar defectos \tn % Row Count 5 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & Requiere tiempo extra y planificación \tn % Row Count 7 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.34379 cm} x{3.63321 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Reviews}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Inspección sistemática del software} \tn % Row Count 1 (+ 1) % Row 1 \SetRowColor{white} {\bf{Fases}} & Primeras etapas del CVDS \tn % Row Count 2 (+ 1) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Reduce el costo de mantenimiento del software \tn % Row Count 4 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & Puede ser costosa y depende de la disponibilidad del equipo \tn % Row Count 7 (+ 3) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.34379 cm} x{3.63321 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Formal Proofs}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Justificar que un programa cumpla una especificación formal de su comportamiento} \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} {\bf{Fases}} & Diseño y codificación \tn % Row Count 3 (+ 1) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Mejor documentación y comprensión \tn % Row Count 5 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & No siempre viables para todos los proyectos \tn % Row Count 7 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.34379 cm} x{3.63321 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Simulation and prototyping}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Es una técnica que consiste en construir versiones para analizar diseños de producto candidatos} \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} {\bf{Fases}} & Diseño \tn % Row Count 3 (+ 1) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Feedback temprano de las opciones de diseño \tn % Row Count 5 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & Puede requerirse mucho recursos para analizar cada opción \tn % Row Count 7 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.34379 cm} x{3.63321 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Black Box Testing}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Evaluar la funcionalidad sin ver el código} \tn % Row Count 1 (+ 1) % Row 1 \SetRowColor{white} {\bf{Fases}} & Fase de pruebas funcionales \tn % Row Count 2 (+ 1) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & No requiere conocimiento interno del sistema \tn % Row Count 4 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & No detecta problemas estructurales \tn % Row Count 6 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.34379 cm} x{3.63321 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{White Box Testing}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Evaluar la estructura interna del código} \tn % Row Count 1 (+ 1) % Row 1 \SetRowColor{white} {\bf{Fases}} & Fase de pruebas de unidad y de integración \tn % Row Count 3 (+ 2) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Permite identificar errores internos y optimizar el código \tn % Row Count 6 (+ 3) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & Requiere acceso al código y conocimientos técnicos avanzados \tn % Row Count 9 (+ 3) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.34379 cm} x{3.63321 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Heuristic Testing}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Detectar fallos usando la experiencia y el conocimiento del sistema} \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} {\bf{Fases}} & Fase de pruebas de sistema \tn % Row Count 3 (+ 1) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Útil para identificar problemas difíciles de prever \tn % Row Count 5 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & Depende de la habilidad del probador \tn % Row Count 7 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.34379 cm} x{3.63321 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Interface Testing}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Validar la interacción entre módulos o sistemas} \tn % Row Count 1 (+ 1) % Row 1 \SetRowColor{white} {\bf{Fases}} & Fase de pruebas de integración \tn % Row Count 3 (+ 2) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Asegura la correcta interacción de componentes \tn % Row Count 5 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & Puede ser difícil simular todos los escenarios de interfaz \tn % Row Count 8 (+ 3) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.69218 cm} x{3.28482 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Equivalence Class Partitioning}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Divide los datos de entrada en clases que se consideran equivalentes} \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} {\bf{Fases}} & Pruebas de sistema \tn % Row Count 3 (+ 1) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Reduce casos de prueba \tn % Row Count 5 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & Omite errores fuera de clases \tn % Row Count 7 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.39356 cm} x{3.58344 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Boundary Value Analysis}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Prueba los valores en los límites de los rangos de entrada} \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} {\bf{Fases}} & Pruebas de sistema \tn % Row Count 3 (+ 1) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Detecta errores en límites de entrada \tn % Row Count 5 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & No cubre casos intermedios \tn % Row Count 7 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.34379 cm} x{3.63321 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Decision Table-Based Testing}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Usa tablas para representar combinaciones de condiciones y acciones} \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} {\bf{Fases}} & Diseño de pruebas, pruebas de requisitos \tn % Row Count 4 (+ 2) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Maneja lógica compleja \tn % Row Count 6 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & Tablas grandes difíciles de gestionar \tn % Row Count 8 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.59264 cm} x{3.38436 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Cause Effect Graphing}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Crea un grafo para mostrar relaciones lógicas entre condiciones y efectos} \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} {\bf{Fases}} & Análisis y diseño de pruebas \tn % Row Count 4 (+ 2) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Visualiza condiciones y efectos \tn % Row Count 6 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & Difícil con requisitos ambiguos \tn % Row Count 8 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.34379 cm} x{3.63321 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{DD Path Testing}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Usado para diseñar casos de prueba basados en rutas de ejecución independientes(flujo del programa)} \tn % Row Count 3 (+ 3) % Row 1 \SetRowColor{white} {\bf{Fases}} & Requerimientos y diseño \tn % Row Count 4 (+ 1) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Proporciona una cobertura completa de las ramas \tn % Row Count 6 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & No logra cubrir todas las rutas posibles del grafo del flujo de control \tn % Row Count 9 (+ 3) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{x{1.34379 cm} x{3.63321 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{Data Flow Testing}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{Analiza como las variables son definidas y usadas a lo largo del funcionamiento de un programa.} \tn % Row Count 2 (+ 2) % Row 1 \SetRowColor{white} {\bf{Fases}} & Pruebas \tn % Row Count 3 (+ 1) % Row 2 \SetRowColor{LightBackground} {\bf{Fortalezas}} & Detección precisa de errores lógicos \tn % Row Count 5 (+ 2) % Row 3 \SetRowColor{white} {\bf{Debilidades}} & Limitada debido a que no detecta todo tipo de errores \tn % Row Count 7 (+ 2) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} \begin{tabularx}{5.377cm}{p{0.4977 cm} p{0.4977 cm} } \SetRowColor{DarkBackground} \mymulticolumn{2}{x{5.377cm}}{\bf\textcolor{white}{References}} \tn % Row 0 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{G. R. Maquieira, "Qué es black box testing o pruebas de caja negra", Openwebinars.net, 06-ene-2023.} \tn % Row Count 3 (+ 3) % Row 1 \SetRowColor{white} \mymulticolumn{2}{x{5.377cm}}{Edu.uy. {[}En línea{]}. Disponible en: \seqsplit{https://www.fing.edu.uy/tecnoinf/maldonado/cursos/ingsoft/materiales/teorico/is09-Verificacion-Validacion.pdf.} {[}Consultado: 06-nov-2024{]}.} \tn % Row Count 7 (+ 4) % Row 2 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{G. Sharma, "Data Flow Testing," GeeksforGeeks, Aug. 14, 2023. {[}Online{]}. Available: \seqsplit{https://www.geeksforgeeks.org/data-flow-testing/}} \tn % Row Count 10 (+ 3) % Row 3 \SetRowColor{white} \mymulticolumn{2}{x{5.377cm}}{S. Sharma, "Path Testing in Software Engineering," GeeksforGeeks, Jul. 20, 2023. {[}Online{]}. Available: \seqsplit{https://www.geeksforgeeks.org/path-testing-in-software-engineering/}} \tn % Row Count 14 (+ 4) % Row 4 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{TryQA, "What is Verification in Software Testing (or) What is Software Verification?," TryQA.com. {[}Online{]}. Available: \seqsplit{https://tryqa.com/what-is-verification-in-software-testing-or-what-is-software-verification/}} \tn % Row Count 19 (+ 5) % Row 5 \SetRowColor{white} \mymulticolumn{2}{x{5.377cm}}{ChipVerify, "Verification Techniques," ChipVerify.com. {[}Online{]}. Available: \seqsplit{https://www.chipverify.com/verification/verification-techniques}} \tn % Row Count 22 (+ 3) % Row 6 \SetRowColor{LightBackground} \mymulticolumn{2}{x{5.377cm}}{S. K. Chopra, Software Quality Assurance: Principles and Practice, 1st ed. New Delhi, India: Katson Publishing House, 2018.} \tn % Row Count 25 (+ 3) \hhline{>{\arrayrulecolor{DarkBackground}}--} \end{tabularx} \par\addvspace{1.3em} % That's all folks \end{multicols*} \end{document}