Tema I Testing Estructurado
|
|
- Sofia Acosta Arroyo
- hace 7 años
- Vistas:
Transcripción
1 Tema I Testing Estructurado 4ta Parte Verificación y Validación de Software UNS Contenido Testing de Unidad: Caja Negra Grafos Causa Efecto Clases de Equivalencia Valores Límite Verificación y Validación de Software UNS 2
2 Testing de Unidad: Caja Negra Lectura Ghezzi, C., et.al. Fundamentals of Software Engineering. Prentice Hall, 99. [Cap. 6] White Lee, General Overview of Software Testing. Artículos Scuola estiva Software Testing Metodi e Tecniche, Italia, 993. Verificación y Validación de Software UNS 3 Testing de Módulos: Caja Negra () No tiene en cuenta la estructura El sistema se ve como una caja negra con entradas y con salidas Sólo nos importa que la salida sea correcta para unas entradas predefinidas Se comprueba la respuesta conforme a la especificación Verificación y Validación de Software UNS 4
3 Testing de Módulos: Caja Negra (2) Es impracticable probar el software para todas las posibilidades De nuevo hay que tener criterios para elegir buenos casos de prueba Permite descubrir la omisión de implementación de un camino de control Especificación Formal vs. Informal Verificación y Validación de Software UNS 5 Testing de Módulos: Caja Negra (3) Problema del Oráculo Para muchos problemas no es posible determinar a priori el resultado de la ejecución de un programa => no existen datos de test para comparar Es necesario contar con un Oráculo de Testing, para chequear correctitud de las salidas de los tests. El Oráculo puede asumir la forma de una tabla de valores, algoritmos para ejecutar manualmente, fórmulas en el cálculo de predicados. Verificación y Validación de Software UNS 6
4 Testing de Módulos: Caja Negra (4) Un caso de prueba funcional es bien elegido si se cumple que: Reduce el número de otros casos necesarios para que la prueba sea razonable Esto implica que el caso ejecute el máximo número de posibilidades de entrada diferentes para así reducir el total de casos Verificación y Validación de Software UNS 7 Testing de Módulos: Caja Negra (5) Proceso de Testing de Caja Negra: Descomponer una especificación en un conjunto de casos relevantes Producir para cada caso uno o más datos de test La descomposición es por pasos, basada en la identificación de condiciones y la derivación de casos Verificación y Validación de Software UNS 8
5 Testing de Módulos: Caja Negra (6) Existen diversas técnicas: Grafos Causa-Efecto/Tablas de Decisión Clases de Equivalencia Valores Límites Verificación y Validación de Software UNS 9 Caja Negra: Grafos Causa Efecto () Solo debemos conocer los operadores booleanos OR AND IF A = OR B = THEN C = IF A = AND B = THEN C = Explora las circunstancias donde se dan combinaciones de las entradas Verificación y Validación de Software UNS
6 Caja Negra: Grafos Causa Efecto (2) Solo debemos conocer los operadores booleanos IDENTITY NOT IF A = THEN B = IF A = THEN B = ELSE B = Verificación y Validación de Software UNS Caja Negra: Grafos Causa Efecto (3) Desarrollando los Grafos, Tablas y Casos de Test. Dividir la especificación en piezas que sean trabajables. No intentar crear un simple grafo para toda la especificación 2. Identificar Causas y Efectos: Una causa es una única condición de entrada Un efecto es una condición de salida o transformación del sistema 3. Traducir las relaciones semánticas en cada segmento en relaciones booleanas enlazando causas con efectos. Es decir, construir los grafos Verificación y Validación de Software UNS 2
7 Caja Negra: Grafos Causa Efecto (4) 4. Colocar las restricciones que se aplican a las causas y efectos Restricciones sobre las Causas Exclusiva Inclusiva A lo sumo uno es TRUE. A= THEN B=; B= THEN A=. Pueden ser ambos Al menos uno es TRUE. No pueden ser todos FALSE Verificación y Validación de Software UNS 3 Caja Negra: Grafos Causa Efecto (7) Restricciones sobre las Causas Requiere Una y solo una A es TRUE entonces B debe ser TRUE. Si A= THEN B= Solo una puede ser TRUE. No pueden ser ambas FALSE ni ambas TRUE. Restricciones sobre los Efectos Mascaras Si el efecto A es TRUE (A=) entonces el efecto B debe ser FALSE (B=) Verificación y Validación de Software UNS 4
8 Caja Negra: Grafos Causa Efecto (8) Desarrollando los Grafos, Tablas y Casos de Test 5. Crear una Tabla de Decisión resumiendo todas las posibles combinaciones de estados Las Causas son las entradas Los Efectos son las salidas Las Columnas son los casos de prueba 6. Dividir las entradas de la tabla en reglas, una por cada combinación única de estados en el grafo. Verificación y Validación de Software UNS 5 Caja Negra: Grafos Causa Efecto (9) Desarrollando los Grafos, Tablas y Casos de Test Indicar cuales combinación de estados están asociados con los efectos colocando una X (o un ) en la columna que representa esa combinación estadocondición. Convertir cada columna (regla) de la tabla de decisión en un caso de test Verificación y Validación de Software UNS 6
9 Caja Negra: Grafos Causa Efecto () Ejemplo: Requerimientos para calcular primas en seguros de autos : Para mujeres de menos de 65 años, la prima es de $5 Para hombres de menos de 25 años, la prima es de $3 Para hombres entre 25 y 64 años, la prima es de $ Para cualquiera de mas de 65 años, la prima es de $5 Verificación y Validación de Software UNS 7 Caja Negra: Grafos Causa Efecto () Ejemplo: Pasos -2 Causas (condiciones de entrada). Sexo masculino 2. Sexo femenino 3. Edad < Edad >=25 y < Edad >= 65 Efectos (condiciones de salida). Prima = $. Prima = $3 2. Prima = $5 3. Prima = $5 Verificación y Validación de Software UNS 8
10 Caja Negra: Grafos Causa Efecto (2) Ejemplo: Paso 3 Causas: (Sexo masculino) AND 4 (Edad >=25 y < 65) Efecto: (Prima = $) 2 Causas:. (Sexo masculino) AND 3 (Edad <25) Efecto: (Prima = $3) Verificación y Validación de Software UNS 9 Caja Negra: Grafos Causa Efecto (2) Ejemplo: Paso 3 3 Causas: ( AND 5 (Edad >= 65)) OR (2 (Sexo femenino) AND 5) Efecto: 2 (Prima = $5 4 Causas: (2 AND 3 (Edad <25) OR (2 AND 4 (Edad >=25 y < 65) Efecto: 3 (Prima = $5) Verificación y Validación de Software UNS 2
11 Caja Negra: Grafos Causa Efecto (3) Ejemplo: Paso 4 Colocamos una restricción de una y solo una porque el sexo puede ser femenino o masculino pero no ambas 3 Verificación y Validación de Software UNS 2 Caja Negra: Grafos Causa Efecto (4) Ejemplo: Pasos 5-75 grafo 3 grafo 4 Casos de Test Causas (masculino) 2 (femenino) 3 (<25) 4 (>=25 y <65) 5 (>=65) Efectos ($) ($3) 2 ($5) 3 ($5) Verificación y Validación de Software UNS 22
12 Caja Negra: Grafos Causa Efecto (5) Casos de Test Ejemplo: Paso 8 Entradas (Causas) Salidas Esperadas (Efectos) Sexo Edad Masculino <25 $3 2 Masculino >=25 y <65 $ 3 Masculino >=65 $5 4 Femenino >=65 $5 5 Femenino <25 $5 6 Femenino >=25 y <65 $5 Verificación y Validación de Software UNS 23 Caja Negra: Clases de Equivalencia () Se utilizan para reducir el número de tests sin reducir su cobertura La metodología a a seguir es: Identificar todas las entradas posibles a la unidad que se está testeando. Particionar el universo de las entradas en Clases Definir Cláses Válidas: aquellas que son las entradas esperadas Definir Clases Inválidas: aquellas que no cumplen los requisitos Escoger unos datos representativos de cada clase y probar sólo con esos datos Comprobar que la salida se corresponde con la entrada. Verificación y Validación de Software UNS 24
13 Caja Negra: Clases de Equivalencia (2) Ejemplo: Entrada: Código de entre uno y tres caracteres ASCII como máximo Particiones: Cadenas de uno a tres carácteres. Ej. CR Entradas inválidas: Cadenas de cuatro o más caracteres. Ej. FGTRY Cadena nula: null Test representativos a pasar a la unidad: CR, FGTRY, null. Verificación y Validación de Software UNS 25 Caja Negra: Clases de Equivalencia (3) Identificación de las Clases de Equivalencia: Rango de valores una clase equivalente válida dos clases inválidas Número de valores una clase equivalente válida dos clases inválidas Conjunto de valores de entradas, manejados en forma diferente por el programa uno válido y otro inválido Debe ser uno válido y otro inválido Verificación y Validación de Software UNS 26
14 Caja Negra: Valores Límites () Se testean las unidades considerando los valores límites l de sus entradas y salidas. Puede considerarse como un caso especial de las Clases de Equivalencia eligiendo como valores los límites de las distintas clases. Verificación y Validación de Software UNS 27 Caja Negra: Valores Límites (2) Los límites son más propensos a los errores tanto en la especificación como en el propio código. A menudo no se especifica la manera de interactuar con esos valores. Codificando no los tenemos en cuenta: if a>... if a<... Si a= que hacemos? Verificación y Validación de Software UNS 28
15 Caja Negra: Valores Límites (3) Ejemplos de valores que hay que testear: Máximos valores tanto negativos como positivos de los valores numéricos de entrada y salida así como el valor cero. Cadenas nulas, de un caracter, del límite máximo de las cadenas tanto de salida como de entrada. Archivos vacíos o con un solo caracter Para un rango de valores entre x e y (x-), x, (x+) (y-), y, (y+) Para n elementos, probar con n-, n y n+ elementos x Verificación y Validación de Software UNS 29 y Caja Negra: Valores Límites (4) Ejemplo: Entrada: Código de entre uno y tres caracteres ASCII como máximo Particiones: Cadenas de un caracter. Ej. A Cadenas de tres caracteres. Ej. DNI Entradas inválidas: Cadenas de cuatro caracteres. Ej. TOMA Cadena nula: null Test representativos a pasar a la unidad: A, DNI, TOMA, null Verificación y Validación de Software UNS 3
Elemento crítico para la garantía de calidad del software y representa una revisión final de las especificaciones, del diseño y de la codificación.
Prueba del Software Elemento crítico para la garantía de calidad del software y representa una revisión final de las especificaciones, del diseño y de la codificación. Curso 2005/2006 Ingeniería del Software
Más detallesTema 1 Testing Estructurado
Tema 1 Testing Estructurado 2da Parte Verificación y Validación de Software UNS 1 Contenido Fundamentos de Análisis Ejecución Simbólica Uso de Ejecución Simbólica Verificación y Validación de Software
Más detallesTesting Unitario. Laboratorio de Testing y Aseguramiento de la Calidad del Software
Testing Unitario Laboratorio de Testing y Aseguramiento de la Calidad del Software Construcción de suites Caja blanca/caja negra Cobertura basada en flujo de control Complejidad ciclomática LCov Testing
Más detallesTema I Testing Estructurado
Tema I Testing Estructurado 1ra Parte Verificación y Validación de Software UNS 1 Contenidos Conceptos de V&V Fundamentos de Testing Testing de Unidad Testing de Unidad: Caja Blanca Verificación y Validación
Más detallesPrueba, caso de prueba, defecto, falla, error, verificación, validación.
Modelos de Prueba Prueba, caso de prueba, defecto, falla, error, verificación, validación. Prueba: Las Pruebas son básicamente un conjunto de actividades dentro del desarrollo de software, es una investigación
Más detallesVerificación. Taller de Programación
Verificación Taller de Programación Error, Defecto y Falla puede generar Un defecto un error humano (interna) que puede generar?! una falla (externa) El software falla cuando No hace lo requerido o Hace
Más detallesPlan de estudios ISTQB: Nivel Fundamentos
Plan de estudios ISTQB: Nivel Fundamentos Temario 1. INTRODUCCIÓN 2. FUNDAMENTOS DE PRUEBAS 3. PRUEBAS A TRAVÉS DEL CICLO DE VIDA DEL SOFTWARE 4. TÉCNICAS ESTÁTICAS 5. TÉCNICAS DE DISEÑO DE PRUEBAS 6.
Más detallesCLASE 11: PRUEBAS DE SOFTWARE. Unversidad Simón Bolívar. Prof. Ivette Carolina Martínez
CLASE 11: PRUEBAS DE SOFTWARE Unversidad Simón Bolívar. Prof. Ivette Carolina Martínez Pruebas: Definición Prueba de Software es la ejecución del código usando combinaciones de entradas, en un determinado
Más detallesTema 5 - Pruebas del software Ingeniería del Software de Gestión II
escuela técnica superior de ingeniería informática Tema 5 - Pruebas del software Ingeniería del Software de Gestión II Objetivos Cuáles son las alternativas para verificar y validar software Qué son las
Más detallesCentro Asociado Palma de Mallorca Tutor: Antonio Rivero Cuesta
Capítulo 8 Pruebas de Software Centro Asociado Palma de Mallorca Tutor: Antonio Rivero Cuesta 1 8 Pruebas de Software. 8.1 Introducción. A lo largo de la fase de codificación se introducen de manera inadvertida
Más detallesCalidad del Software. Ejercicios Tema 4 Conceptos de pruebas
Tema 4 Conceptos de Pruebas Calidad del Software Ejercicios Tema 4 Conceptos de pruebas Calidad del Software Enfoque de Caja Blanca: Prueba del camino básico FUNCIÓN PASCAL Especificar un conjunto de pruebas
Más detallesFundamentos de Pruebas de Software
Fundamentos de Pruebas de Software Referencias básicas Ingeniería de software. Un enfoque práctico. Pressman, R. Quinta edición. Mc. Graw Hill 2002 Ingeniería de software. Sommerville, I. Séptima edición.
Más detallesPRUEBAS FUNCIONALES USANDO TÉCNICAS DE CAJA NEGRA PARTE I
PRUEBAS FUNCIONALES USANDO TÉCNICAS DE CAJA NEGRA PARTE I TÉCNICAS DE PRUEBAS DE SOFTWARE INGENIERÍA DE SISTEMAS Y COMPUTACIÓN UNIVERSIDAD DEL VALLE DOCENTE BEATRIZ FLORIAN GAVIRIA Basado Parcialmente
Más detallesGUÍA DE LABORATORIO Nº 19 Implementación de casos de prueba
GUÍA DE LABORATORIO Nº 19 Implementación de casos de prueba GUÍA DE LABORATORIO Nº 19 Actividad de Proyecto: Ejecutar y documentar pruebas del software que cumplan con los estándares de calidad Estructura
Más detallesCLASE # 6 PRUEBAS FUNCIONALES USANDO TÉCNICAS DE CAJA NEGRA PARTE I
CLASE # 6 PRUEBAS FUNCIONALES USANDO TÉCNICAS DE CAJA NEGRA PARTE I 750105M - TÉCNICAS DE PRUEBAS DE SOFTWARE INGENIERÍA DE SISTEMAS Y COMPUTACIÓN UNIVERSIDAD DEL VALLE SEMESTRE 2013A - DOCENTE BEATRIZ
Más detallesIngeniería del Software I
- 1 - Ingeniería del Software I Facultad de Ciencias Exactas y Naturales Universidad de Buenos Aires Segundo Cuatrimestre de 2005 Práctica: Testing Funcional - 2 - Comentario: la mayoría de los enunciados
Más detallesTEMA 2.1 TIPOS DE PRUEBAS DEL SOFTWARE
TEMA 2.1 TIPOS DE PRUEBAS DEL SOFTWARE INTRODUCCIÓN La prueba del software es un elemento crítico para la garantía de la calidad del software y representa una revisión final de las especificaciones, del
Más detallesModelos de calidad. Técnicas de prueba del software Estrategias de prueba del software. Calidad del software. Factores de Calidad. producto.
Técnicas de prueba del software Estrategias de prueba del software 1 Modelos de calidad Calidad del software Factores de Calidad Criterios de calidad del proceso producto Métricas del proceso producto
Más detallesTÉCNICAS DE CAJA BLANCA
TÉCNICAS DE CAJA BLANCA UNIVERSIDAD DEL VALLE DOCENTE BEATRIZ FLORIAN GAVIRIA Basado Parcialmente en Material de la Empresa Green-SQA de ParqueSoft AGENDA Introducción Técnica de cobertura de caminos Técnicas
Más detallesTemario III Testing in the Large
Temario III Testing in the Large 1ra Parte Verificación y Validación de Software UNS 1 Contenidos Testing de Integración Testing de Sistema Testing de Regresión Verificación y Validación de Software UNS
Más detallesUniversidad de Cantabria. Facultad de Ciencias Ingeniería en Informática. Ingeniería del Software II
Universidad de Cantabria. Facultad de Ciencias Ingeniería en Informática. Ingeniería del Software II Ejercicios del Tema 1: Construcción y Pruebas del Software Ejercicio 1 Se desean realizar pruebas de
Más detallesPruebas de Software. Escuela de Ingeniería de Sistemas y Computación Desarrollo de Software II Agosto Diciembre 2008
Pruebas de Software Objetivos de las Pruebas Demostrar al desarrollador y al cliente que el software satisface los requerimientos. Descubrir defectos en el software en que el comportamiento de éste es
Más detallesPruebas de caja blanca
Pruebas de caja blanca Prueba y Mantenimiento del Software Alicia Bárbara Expósito Santana 23/04/2012 INDICE 1.- Introducción 3 2.- Pruebas 2.1.- Prueba del camino básico 4 Gráfico de flujo 4 Complejidad
Más detallesIntroducción a la Computación. Testing en Python. Maximiliano Geier. Facultad de Ciencias Exactas y Naturales, UBA 13/11/2017
Introducción a la Computación Testing en Python Maximiliano Geier Facultad de Ciencias Exactas y Naturales, UBA 13/11/2017 Maximiliano Geier (UBA) Testing en Python 13/11/2017 1 / 12 Testing Qué era testing?
Más detallesInformática General 2016 Cátedra: Valeria Drelichman, Pedro Paleo, Leonardo Nadel, Norma Morales
UNA / AREA TRANSDEPARTAMENTAL DE ARTES MULTIMEDIALES Licenciatura en Artes Multimediales Informática General 2016 Cátedra: Valeria Drelichman, Pedro Paleo, Leonardo Nadel, Norma Morales JavaScript Algoritmo
Más detallesPRUEBA DE SOFTWARE LA PRUEBA DE UN SISTEMA
PRUEBA DE SOFTWARE Probar bien un sistema no es una actividad trivial para aprender. Algunos lo consideran un arte y aprender a hacerlo bien requiere práctica y experiencia. El 50% del tiempo y esfuerzo
Más detallesVerificación y Validación de Software
Verificación y Validación de Ingeniería en Sistemas de Información Departamento de Ciencias e Ingeniería de la Computación 2015 VyVS 2016 / DCIC / UNS Tablas de Decisiones Decision Tables Aplicable a situaciones
Más detallesOperaciones en Datos
Universidad Nacional de Ingeniería Facultad de Ciencias Introducción a la Ciencia de la Computación Operaciones en Datos Prof: J. Solano 2011-I Objetivos Despues de estudiar este cap. el estudiante sera
Más detallesTécnicas de Pruebas de
Técnicas de Pruebas de Software Lecturas Pruebas de Unidades Pruebas Integración Docente Beatriz E. Florián bflorian@eisc.edu.co Mayo 3 de 2005 Pruebas Reglas de oro para pruebas Límites de Pruebas: Probar
Más detallesProcesadores de lenguaje Tema 5 Comprobación de tipos
Procesadores de lenguaje Tema 5 Comprobación de tipos Departamento de Ciencias de la Computación Universidad de Alcalá Resumen Sistemas de tipos. Expresiones de tipo. Equivalencia de tipos. Sobrecarga,
Más detallesTrabajo Práctico 4: Testing Funcional
Trabajo Práctico 4: Testing Funcional 1) Explique claramente cuáles son los objetivos de la Validación y de la Verificación. Qué técnicas usaría para llevar a cabo cada una de estas actividades? 2) Qué
Más detallesIngeniería del Software. Pruebas. Pruebas en el PUD. Las pruebas del software. Diseño de casos de prueba. Pruebas de SI OO
Pruebas Pruebas en el PUD Las pruebas del software Diseño de casos de prueba Pruebas de SI OO 1 Iteración en PUD Planificación de la Iteración Captura de requisitos: Modelo de casos de uso, Modelo de Dominio,...
Más detallesIF ELSE, IF ELSE IF JAVASCRIPT. CONDICIONALES DEL FLUJO O ESTRUCTURAS DE DECISIÓN. EJEMPLOS. EJERCICIOS. (CU01119E)
APRENDERAPROGRAMAR.COM IF ELSE, IF ELSE IF JAVASCRIPT. CONDICIONALES DEL FLUJO O ESTRUCTURAS DE DECISIÓN. EJEMPLOS. EJERCICIOS. (CU01119E) Sección: Cursos Categoría: Tutorial básico del programador web:
Más detallesTema: Estructuras de Selección en C#.
Programación I, Guía 4 1 Tema: Estructuras de Selección en C#. Facultad: Ingeniería Escuela: Ingeniería en Computación Asignatura: Programación I Objetivos Utilizar las instrucciones de selección if e
Más detallesAseguramiento de la calidad y pruebas de software 5- Pruebas del software Caja Negra/Caja Blanca Blanca A. Vargas Govea
Aseguramiento de la calidad y pruebas de software 5- Pruebas del software Caja Negra/Caja Blanca Blanca A. Vargas Govea vargasgovea@itesm.mx Marzo 12, 2013 Contenido Pruebas de caja negra Causa-efecto
Más detallesDISEÑO DEL SISTEMA DE INFORMACION (DSI)
DISEÑO DEL SISTEMA DE INFORMACION (DSI) El objetivo del proceso de Diseño del Sistema de Información (DSI) es la definición de la arquitectura del y del entrono tecnológico que le va a dar soporte, junto
Más detallesEtapas en la solución de un problema
Algoritmo Conjunto de pasos, procedimientos o acciones que nos permiten alcanzar un resultado o resolver un problema. Etapas en la solución de un problema Problema Análisis profundo del problema Construcción
Más detalles1/1. Diseño Modular. 18 de febrero de 2017
1/1 Diseño Modular Josefina Sierra Santibáñez 18 de febrero de 2017 2/1 Introducción al Diseño Modular Orientación a Objetos En esta asignatura utilizaremos la orientación a objetos como mecanismo de C++
Más detallesPRUEBAS FUNCIONALES USANDO TÉCNICAS DE CAJA NEGRA PARTE II
CLASE # 7 PRUEBAS FUNCIONALES USANDO TÉCNICAS DE CAJA NEGRA PARTE II 750105M - TÉCNICAS DE PRUEBAS DE SOFTWARE INGENIERÍA DE SISTEMAS Y COMPUTACIÓN UNIVERSIDAD DEL VALLE SEMESTRE 2013A - DOCENTE BEATRIZ
Más detallesMetodologías de Desarrollo de Software
Metodologías de Desarrollo de Software 1. Introducción. 2. Características principales. 3. Clasificación de las metodologías. 4. Principales metodologías de desarrollo. 4.010 CONCEPTOS GENERALES Metodología:
Más detallesOperadores aritméticos
Bloque 3.2 Operadores aritméticos Suma : x + y Resta : x y Multiplicación : x * y División : x / y Módulo : x % y (resto de la división Si los operandos son enteros tipo del resultado
Más detallesTipos de Datos de python (2ª parte):
Tipos de Datos de python (2ª parte): Enteriormente hemos visto algunos de los tipos de datos que maneja python. Vimos: int, float, chr, str, bool También vimos como convertir datos a cada uno de estos
Más detallesTema 2. Concepto de Algoritmo
Tema 2. Concepto de Algoritmo Objetivos Definir el concepto de algoritmo Resolver problemas sencillos mediante el diseño de un algoritmo Conocer los tipos de datos elementales y las operaciones sobre ellos
Más detallesFUNDAMENTOS DE INFORMÁTICA
FUNDAMENTOS DE INFORMÁTICA Tema 2 Expresiones, operadores y estructuras de control Departamento de Ingeniería de Sistemas y Automática Universidad de Vigo Fundamentos de Informática. Departamento de Ingeniería
Más detallesGENERACIÓN DE CÓDIGO ORIENTADO A OBJETOS
GENERACIÓN DE CÓDIGO ORIENTADO A OBJETOS A.- ASPECTOS FUNDAMENTALES DEL CÓDIGO ORIENTADO A OBJETOS MÓDULOS DE CÓDIGO: El código en Visual Basic se almacena en módulos. Hay tres tipos de módulos: de formulario,
Más detallesAlgoritmos. Medios de expresión de un algoritmo. Diagrama de flujo
Algoritmos En general, no hay una definición formal de algoritmo. Muchos autores los señalan como listas de instrucciones para resolver un problema abstracto, es decir, que un número finito de pasos convierten
Más detallesPlantilla SVVP (Software Verification & Validation Plan) Trabajo de grado Ingeniería de Sistemas Pontificia Universidad
Pontificia Universidad Javeriana Marco teórico Trabajo de grado CIS1430IS08 V2Soft: guía metodológica para el proceso de validación y verificación de requerimientos para el usuario final Plantilla SVVP
Más detallesTécnicas Avanzadas de Testing Automatizado
Técnicas Avanzadas de Testing Automatizado Criterios de cobertura: Caja blanca/caja negra Clases de Equivalencia Valores de borde Cobertura basada en flujo de control CodeCover Mutación Jumble Criterios
Más detallesEXAMEN DE METODOLOGÍA Y TECNOLOGÍA DE LA PROGRAMACIÓN EUI-FI-UPV Septiembre DE 1999
EXAMEN DE METODOLOGÍA Y TECNOLOGÍA DE LA PROGRAMACIÓN EUI-FI-UPV Septiembre DE 1999 1. (1) Partiendo de la especificación interfaz-función de los siguientes módulos LeerDatosNIF = PROCEDIMIENTO() DEVUELVE
Más detallesPlantilla Documento de casos de prueba
Pontificia Universidad Javeriana Marco teórico Trabajo de grado CIS1430IS08 V2Soft: guía metodológica para el proceso de validación y verificación de requerimientos para el usuario final Plantilla Documento
Más detallesTema 3. Estructuras de Datos
Tema 3! Estructuras de Datos Estructuras Simples, Doble, Anidada y Múltiple En este tema veremos las sentencias selectivas: IF (Si) IF - Then (Si - Entonces) IF - Then - Else ( Si - Entonces - Sino) Switch
Más detallesSÍNTESIS DE CIRCUITOS DIGITALES CON VHDL.
SÍNTESIS DE CIRCUITOS DIGITALES CON VHDL. 1 Proceso automático, realizado por una herramienta software, para la generación de una representación con puertas lógicas de una descripción VHDL. Las herramientas
Más detallesTema 4.- Recursión e iteración
UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO PROGRAMACIÓN DECLARATIVA INGENIERÍA INFORMÁTICA ESPECIALIDAD DE COMPUTACIÓN CUARTO CURSO PRIMER
Más detallesINGENIERÍA DEL SOFTWARE II Práctica 1. Univ. Cantabria Fac. de Ciencias Carlos Blanco, Juan Hernández
INGENIERÍA DEL SOFTWARE II Práctica 1 Pruebas con Junit y Eclemma Univ. Cantabria Fac. de Ciencias Carlos Blanco, Juan Hernández Objetivos Realizar pruebas de caja negra de forma automática Familiarizarse
Más detallesTipo de competencia: Específica
Departamento: Depto Computacion y Dise o Nombre del curso: Pruebas de Software Clave: 004257 Academia a la que pertenece: Pruebas de Software Requisitos: Requisito de Prueba de Software: Programaci n III,
Más detallesANÁLISIS DINÁMICO DEL SOFTWARE: PRUEBAS. Sira Vegas Rodrigo Fonseca
ANÁLISIS DINÁMICO DEL SOFTWARE: PRUEBAS Sira Vegas Rodrigo Fonseca CONTENIDOS 1. Conceptos generales de evaluación 2. Introducción a las pruebas de software 3. Técnicas de pruebas de software 4. Organización
Más detallesALGORITMICA Y PROGRAMACION POR OBJETOS I
ALGORITMICA Y PROGRAMACION POR OBJETOS I Nivel 1 Problemas, Soluciones y Programas Marcela Hernández Hoyos Solucionar un Problema = Construir un Programa Problema Programador Herramientas y Lenguajes Análisis
Más detallesPRUEBAS DEL SOFTWARE Verificación: estamos construyendo correctamente el producto? Validación: estamos construyendo el producto correcto?
12.010 Verificación: estamos construyendo correctamente el producto? Validación: estamos construyendo el producto correcto? 12.020 DEFINICIONES Pruebas (test): «una actividad en la cual un sistema o uno
Más detallesBASES DE DATOS (IG18 Semipresencial) El Modelo Relacional Cálculo Relacional y SQL
BASES DE DATOS (IG18 Semipresencial) El Modelo Relacional Cálculo Relacional y SQL Lledó Museros / Ismael Sanz museros@icc.uji.es / isanz@icc.uji.es 1de 26 Índice 1. Introducción 2. Cálculo Relacional
Más detallesbash Scripting 31 de mayo de 2007
bash Scripting 31 de mayo de 2007 bash es un shell de Unix (intérprete de comandos de Unix) escrito para el proyecto GNU. Su nombre es un acrónimo de bourne-again shell (otro shell bourne) - haciendo un
Más detallesEtapa 1: El Dialogo. Etapa 2: Las Especificaciones
Metodología para la Solución de Problemas Algorítmicos (MAPS) A continuación se describen las etapas de la Metodología para la Resolución de Problemas Algorítmicos propuesta por Tucker et al., denominada
Más detallesFundamentos PHP. El término puntuación nos referimos a la sintaxis usada en PHP para la terminación de una línea de código (;)
Tags Fundamentos PHP La Sintaxis de PHP se deriva de muchos lenguajes de programación principalmente de C pero Perl también ha tenido mucha influencia en esta sintaxis Con las últimas incorporaciones agregadas,
Más detallesM. C. Felipe Santiago Espinosa
M. C. Felipe Santiago Espinosa Junio de 2008 Un sistema empotrado es un procesador, con sus elementos externos que desarrolla una función especifica de manera autónoma. Un sistema empotrado es un sistema
Más detallesPHP: Lenguaje de programación
Francisco J. Martín Mateos Carmen Graciani Diaz Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Tipos de datos Enteros Con base decimal: 45, -43 Con base octal: 043, -054
Más detallesProceso de Testing Funcional Independiente
Proceso de Testing Funcional Independiente Tesis de Maestría en Informática Beatriz Pérez Lamancha Setiembre 2006 PEDECIBA informática Instituto de Computación (InCo) Facultad de Ingeniería Universidad
Más detallesPrueba de programas. Programación II (I.T.I de Gestión) Introducción. Consecuencias de la definición. Primeros conceptos
Departamento de Informática Universidad de Valladolid Programación II (I.T.I de Gestión) Pruebas 1 Introducción Programación II (I.T.I de Gestión) Prueba de programas Félix Prieto Esperanza Manso Curso
Más detallesIngeniería del software I 9 - Diseño detallado
Diseño detallado Ingeniería del software I 9 - Diseño detallado El diseño de alto nivel no especifica la lógica. Esto es incumbencia del diseño detallado. En este sentido, una notación textual provee mejor
Más detallesSoftware Tester QA. Programa de Estudio.
Software Tester QA Programa de Estudio Software Tester QA Aprende a construir Planes de Prueba para el Desarrollo de Software, y conviértete en un Software Tester QA participando en Proyectos de Testing
Más detallesLos defectos en el desarrollo de Software Corporativo
Grado en Informática Los defectos en el desarrollo de Software Corporativo Desarrollo de Sistemas de Información Corporativos Departamento de Informática Contenido Definición de defecto Clasificación de
Más detallesALGORÍTMICA. Dpto. Ingeniería de Sistemas y Automática Facultad de Ciencias Universidad de Valladolid.
ALGORÍTMICA Dpto. Ingeniería de Sistemas y Automática Facultad de Ciencias Universidad de Valladolid. Indíce Algoritmo Elementos de un algoritmo: Variables, Constantes, Expresiones Datos: Definición y
Más detallesConceptos básicos de álgebra relacional
PROGRAMA DE FORMACIÓN UNIDAD DE APRENDIZAJE ACTIVIDAD OBJETIVOS IDENTIFICACIÓN DE LA ACTIVIDAD PEDAGÓGICA OFIMATICA, WEB Y DESARROLLO DE SISTEMAS II-A GESTORES DE BASES DE DATOS ALGEBRA RELACIONAL APLICAR
Más detallesJavaScript: Operadores
Las variables por sí solas son de poca utilidad. Hasta ahora, sólo se ha visto cómo crear variables de diferentes tipos y cómo mostrar su valor mediante la función alert(). Para hacer programas realmente
Más detallesDe los casos de uso a los casos de prueba
De los casos de uso a los casos de prueba Proceso ETUC Javier Gutiérrez / javierj@us.es Objetivo Objetivo: resumir los aspectos más importantes de nuestra propuesta de generación de pruebas a partir de
Más detallesControl de Flujo. Estructuras de Control! Experiencia Educativa de Algorítmica CONTROL DE FLUJO
Control de Flujo Estructuras de Control Experiencia Educativa de Algorítmica 1 Introducción El estilo de como escribimos y analizamos un algoritmo se convierte en una de las principales características
Más detallesLos tipos de datos primitivos
Los tipos de datos primitivos El lenguaje de programación Java es de tipo estático, lo que significa que todas las variables debe ser declarado antes de que puedan ser utilizados visto. Se trata de la
Más detallesIII. Generación de Código orientado a objetos
III. Generación de Código orientado a objetos UNIDAD III Aspectos fundamentales Del código orientado a objetos. MÓDULOS DE CÓDIGO 1 DE FORMULARIO Almacenan el código en VB 2 ESTÁNDAR 3 DE CLASE Contiene
Más detallesGLOSARIO 1. Qué es bit y byte? Bit: Es la unidad mínima de información. Puede ser 0 o 1. Byte: Es el conjunto de 8 bits. Ejemplo:
Cuestionario Modulo 1.1 GLOSARIO 1. Qué es bit y byte? Bit: Es la unidad mínima de información. Puede ser 0 o 1. Byte: Es el conjunto de 8 bits. Ejemplo: 1001 0110. 2. qué es Dato? Definición: Es toda
Más detallesLos puntos básicos sobre la importancia del Testing y el aseguramiento de la calidad en productos de software son:
Por qué Testing? Testing es un elemento esencial para mantener a la empresa con vida, mejor dicho, al producto. Recordemos que los productos de software cada vez tienen mas competencia, mas complejidad,
Más detallesINSTITUCIÓN EDUCATIVA COLEGIO NUESTRA SEÑORA DEL PILAR DANE: Licencia de funcionamiento resolución N del 08 de octubre 2007
NOMBRE: TEMA 1 PERIODO AREA: HUMANIDADES ASIGNATURA sistemas CONTENIDO Plan de mejoramiento CALIFICACION DOCENTE: LIC. ANTONIO CABALLERO FECHA Desarrolla en una hoja de Excel la siguiente tabla y calcula
Más detallesPRUEBAS DE SISTEMAS. Hungría Berbesí UNEFA Ingeniería de Sistemas
PRUEBAS DE SISTEMAS Hungría Berbesí UNEFA Ingeniería de Sistemas Técnicas de prueba El desarrollo de Sistemas de software implica la realización de una serie de actividades predispuestas a incorporar
Más detallesobtenidos a partir de los objetos que manipula. un nuevo paradigma de programación, La POO es Clases su forma de módulo.
(a) definición (b) elementos y notación (c) modelo de computación (d) ejecución de un sistema (e) exportación selectiva Clases Programación Orientada a Objetos DCIC UNS 2002 47 La POO es un nuevo paradigma
Más detallesFundamentos de Programación
Fundamentos de Programación COMENTARIOS Microsoft Visual Basic interpreta que todo lo que está a la derecha del carácter ( ) en una línea cualquiera de programa es un comentario y no ejecuta acción alguna.
Más detallesTEMARIO DE CURSOS. Para reservar su cupo consulte: h1p://www.g- forward.com/ events/
TEMARIO DEL CURSO TEMARIO DE CURSOS Para reservar su cupo consulte: h1p://www.g- forward.com/ events/ Este documento y su contenido es confidencial. Su contenido no debe ser revelado, duplicado, usado,
Más detallesProgramación Estructurada
Programación Estructurada Código de materia 01 Prof Titular Ing Rafael Brizuela Facultad de tecnología informática UNIVERSIDAD ABIERTA INTERAMERICANA GUÍA DE REPASO CONCEPTUAL PREGUNTAS Unidad 1: Conceptos
Más detallesTema 3.- Predicados y sentencias condicionales
UNIVERSIDAD DE CÓRDOBA ESCUELA POLITÉCNICA SUPERIOR DE CÓRDOBA DEPARTAMENTO DE INFORMÁTICA Y ANÁLISIS NUMÉRICO PROGRAMACIÓN DECLARATIVA INGENIERÍA INFORMÁTICA ESPECIALIDAD DE COMPUTACIÓN CUARTO CURSO PRIMER
Más detallesFase de Pruebas Introducción.
Fase de Pruebas Introducción. El desarrollo de sistemas de software implica una serie de actividades de producción en las que las posibilidades de que aparezca el fallo humano son enormes. Los errores
Más detallesEsquemas repetitivos en Fortran 90. Esquemas repetitivos en Fortran 90. Esquemas repetitivos en Fortran 90. Tipos de Esquema
Los esquemas repetitivos permiten implementar iteraciones del lenguaje algorítmico (mientras, repetir, para, hasta). Podemos dividir los esquemas según: - Se conozcan el número de iteraciones a priori,
Más detallesTema 4: Pruebas - Conceptos. Departamento de Lenguajes y Sistemas Informáticos II
Tema 4: Pruebas - Departamento de Lenguajes y Sistemas Informáticos II Índice....... Verificaci y Validaci Qué significa verificar el? Determinar si los productos de una fase dada satisfacen las condiciones
Más detallesVerificación y Validación de Software
Verificación y Validación de Ingeniería en Sistemas de Información Departamento de Ciencias e Ingeniería de la Computación 2017 VyVS 2015 / DCIC / UNS Evaluación y Ejecución Simbólica Symbolic Evaluation
Más detallesAdquisición de TIC - Código Abierto
Adquisición de TIC - Código Abierto 2 3 Cuestionamientos sobre los resultados del desarrollo de SW Los sistemas no responden a las expectativas de los usuarios. Los programas fallan con cierta frecuencia.
Más detallesUniversidad Autónoma del Estado de México Facultad de Medicina
Universidad Autónoma del Estado de México Facultad de Medicina Licenciatura en Bioingeniería Médica Unidad de Aprendizaje: Algoritmos y programación básica Unidad 3: Estructuras de control de flujo en
Más detallesDra. Jessica Andrea Carballido
Dra. Jessica Andrea Carballido jac@cs.uns.edu.ar Dpto. de Ciencias e Ingeniería de la Computación UNIVERSIDAD NACIONAL DEL SUR Problemas, Algoritmos y Programas PROBLEMA Solución ALGORITMO PROGRAMA Problemas,
Más detallesabril de 2017 Desarrollo de aplicaciones en Java Tipos de datos primitivos Tipos de datos Elementos de aplicaciones simples
Desarrollo de aplicaciones en Java Generación de código fuente Compilación Ejecución Elementos de aplicaciones simples EII147-01-02 Introducción a las tecnologías de información Escuela de Ingeniería Industrial
Más detallesOperadores de comparación
Operadores de comparación Los operadores de comparación en C son: Igual (==) Distinto (!=) Mayor (>) y Mayor o igual (>=) Menor (
Más detallesUniversidad Don Bosco. Facultad de Ingeniería. Escuela de Computación. Ingeniería de Software
Universidad Don Bosco Facultad de Ingeniería Escuela de Computación Ingeniería de Software Facilitador: Ing. Milton J. Narváez Sandino Ingeniería de Software, 7a edición: Capítulo 23: Prueba del software
Más detalles2.3 DEFINICIÓN DE LENGUAJES ALGORÍTMICOS
2.3 DEFINICIÓN DE LENGUAJES ALGORÍTMICOS Características de los algoritmos Las características fundamentales que debe cumplir todo algoritmo son: Un algoritmo debe ser preciso e indicar el orden de realización
Más detallesMaquina de Turing. 5. Fundamentos de algoritmos. Turing TURING TURING 10/08/2010. MI Elizabeth Fonseca Chávez
Maquina de Turing 5. Fundamentos de algoritmos MI Elizabeth Fonseca Chávez matemático inglés Alan Turing Turing Definición de algoritmo: conjunto ordenado de operaciones que permite hallar la solución
Más detalles$0 Representa al parámetro cero o nombre del programa $1 Representa al parámetro uno $2 Representa al parámetro dos
PROGRAMACIÓN DE SHELL SCRIPTS EN LINUX El shell es un intérprete de órdenes, pero el shell no es solamente eso; los intérpretes de órdenes de Linux son auténticos lenguajes de programación. Como tales,
Más detallesEsquemas repetitivos en Fortran 90
Los esquemas repetitivos permiten implementar iteraciones del lenguaje algorítmico (mientras, repetir, para, hasta). Podemos dividir los esquemas según: - Se conozcan el número de iteraciones a priori,
Más detalles