Planificación de prueba de nivel de aserción con estrategias compiladas
- autor: Dietrich, Dr. Dominik
- Disponibilidad: En stock
- EAN: 9783863760199
€39,90
Este libro presenta nuevas técnicas que permiten la verificación automática y la generación de pruebas abstractas al estilo humano. El núcleo de este enfoque construye un cálculo eficiente que funciona directamente mediante la aplicación de definiciones, teoremas y axiomas, lo que reduce el tamaño del objeto de prueba subyacente en...
Este libro presenta nuevas técnicas que permiten la verificación automática y la generación de pruebas abstractas al estilo humano. El núcleo de este enfoque construye un cálculo eficiente que funciona directamente mediante la aplicación de definiciones, teoremas y axiomas, lo que reduce el tamaño del objeto de prueba subyacente en un factor de 10. El cálculo se amplía mediante el paradigma de inferencia profunda que permite la aplicación de reglas de inferencia a profundidad arbitraria dentro de expresiones lógicas y proporciona nuevas pruebas que son exponencialmente más cortas y no están disponibles en el cálculo secuencial sin corte. Además, se desarrolla un lenguaje de estrategia para patrones abstractos de prueba declarativa no especificados. Juntos, los métodos complementarios proporcionan un marco para automatizar pruebas declarativas. Los beneficios de las técnicas se ilustran con aplicaciones prácticas.
Detalles
- Título: Planificación de prueba de nivel de afirmación con estrategias compiladas
- Autor: Dra. Dominik Dietrich
- Edición: 1ra edición
- Universidad: Universidad de Saarland
- Publicado: 1.ª edición 10/08/2012
- Departamento: ingeniería eléctrica y tecnología de la información
- Tipo de producto: Libro (tapa dura)
- Tipo de producto: Disertación
- Idioma: inglés
- Encuadernación: tapa blanda (rústica)
- Dimensiones: 21,0 x 14,8 cm (DIN A5)
- Extensión: XX / 341 páginas
- Estado: Nuevo (envuelto en papel de aluminio)
- Palabras clave: nivel de afirmación, aplicación hacia atrás, CORE, prueba declarativa, táctica declarativa, módulo de deducción, aplicación profunda, inferencia profunda, paradigma de inferencia, prueba de nivel, planificación de prueba, refinamiento de prueba, guiones de prueba, estrategias de prueba, teoría de prueba, tautologías
Autor
Dominik Dietrich nació en 1980 en Saarbrücken, Alemania. Estudió informática y matemáticas en la Universidad de Saarland en Saarbrücken, donde obtuvo su doctorado en 2011 bajo la supervisión de Jörg Siekmann. Su investigación se centra en el razonamiento automatizado, los métodos formales y la gestión de procesos y datos basados en la semántica. Dominik trabaja actualmente como investigador en el departamento de Sistemas Ciberfísicos del Centro Alemán de Investigación de Inteligencia Artificial (DFKI) en Bremen.
Descargas
DRM: marca de agua digital
Este libro electrónico contiene una marca de agua digital y, por lo tanto, está personalizado para usted. Si el libro electrónico se pasa a terceros de forma abusiva, es posible rastrearlo hasta la fuente.
Formato de archivo: PDF (formato de documento portátil)
Con un diseño de página fijo, el PDF es especialmente adecuado para libros especializados con columnas, tablas y figuras. Un PDF se puede mostrar en casi todos los dispositivos, pero solo es adecuado de forma limitada para pantallas pequeñas (teléfonos inteligentes, lectores electrónicos).
Requisitos del sistema:
PC/Mac: puede leer este libro electrónico con una PC o Mac. Necesita un visor de PDF, por ejemplo, Adobe Reader.
eReader: este libro electrónico se puede leer con (casi) todos los lectores de libros electrónicos. Sin embargo, no es compatible con el Kindle de Amazon.
Teléfono inteligente/tableta: ya sea Apple o Android, puede leer este libro electrónico. Necesita un visor de PDF, por ejemplo, Adobe Reader.
Comprar libros electrónicos desde el extranjero
Por motivos fiscales, podemos vender libros electrónicos solo en Alemania y Suiza. Lamentablemente, no podemos cumplir con los pedidos de libros electrónicos de otros países.