Andere Kunden interessierten sich auch für
![Herramienta de copia de seguridad automática basada en agentes que utiliza la nube]( "Herramienta de copia de seguridad automática basada en agentes que utiliza la nube")
Herramienta de copia de seguridad automática basada en agentes que utiliza la nube26,99 €![Sistema de alerta temprana basado en condiciones de salud para la gestión de riesgos]( "Sistema de alerta temprana basado en condiciones de salud para la gestión de riesgos")
Sistema de alerta temprana basado en condiciones de salud para la gestión de riesgos46,99 €![Adquisición en línea de vagones extraviados para la División de Policía]( "Adquisición en línea de vagones extraviados para la División de Policía")
Adquisición en línea de vagones extraviados para la División de Policía33,99 €![Simulación en la nube bajo diferentes condiciones de firewall]( "Simulación en la nube bajo diferentes condiciones de firewall")
Simulación en la nube bajo diferentes condiciones de firewall24,99 €![Análisis de la plataforma IBM Bluemix en la nube]( "Análisis de la plataforma IBM Bluemix en la nube")
Análisis de la plataforma IBM Bluemix en la nube33,99 €![Fundamentos de la teoría de grafos]( "Fundamentos de la teoría de grafos")
Fundamentos de la teoría de grafos29,99 €![Banco de sangre]( "Banco de sangre")
Banco de sangre33,99 €
Las pruebas basadas en modelos consisten en una técnica para la generación automática de un conjunto de casos de pruebas utilizando modelos extraídos de artefactos de software. Se trata de un enfoque que tiene como objetivo mejorar la calidad del software, así como reducir los costes inherentes a un proceso de pruebas. Este libro está dirigido a profesionales, investigadores y estudiantes del área de ingeniería de software y tiene como objetivo presentar el TCG, una herramienta para la generación y selección de casos de prueba funcionales y estadísticos que acepta como entrada modelos probabilísticos y no probabilísticos. Las técnicas de selección proporcionadas son propósitos de prueba, ruta aleatoria y ruta más probable. Además, este libro también presenta la técnica de selección denominada probabilidad mínima de ruta, en la que la herramienta selecciona los casos de prueba que tienen una probabilidad de ocurrencia mayor o igual a un valor informado por el usuario.