logo móvil
Contáctanos

Selección de datos de Oracle sensible a la ruta a través de análisis estático

Autores: Zhang, Mingzhe; Gong, Yunzhan; Wang, Yawen; Jin, Dahai

Idioma: Inglés

Editor: MDPI

Año: 2021

Descargar PDF

Acceso abierto

Artículo científico
2021

Selección de datos de Oracle sensible a la ruta a través de análisis estático


Categoría

Ingeniería y Tecnología

Subcategoría

Ingeniería Eléctrica y Electrónica

Palabras clave

Prueba de oráculo
Datos de oráculo
PSODS
Enfoque sensible al camino
Análisis de cantidad
Análisis de calidad

Licencia

CC BY-SA – Atribución – Compartir Igual

Consultas: 36

Citaciones: Sin citaciones


Descripción
Un oráculo de prueba es un procedimiento que se utiliza durante las pruebas para determinar si el software se comporta correctamente o no. Uno de las tareas más importantes para un oráculo de prueba es elegir los datos del oráculo (el conjunto de variables monitorizadas durante las pruebas) a observar. Sin embargo, la mayoría de la literatura sobre oráculos de prueba se ha centrado en la generación de especificaciones formales o en la construcción automatizada de oráculos de prueba, mientras que existe poco trabajo para respaldar la selección de datos del oráculo. En este documento, presentamos un enfoque sensible a la ruta, PSODS (selección de datos del oráculo sensible a la ruta), para seleccionar automáticamente los datos del oráculo para ser utilizados por los oráculos de valor esperado. PSODS clasifica las rutas según la posibilidad de que puedan existir fallas potenciales en ellas, y las rutas clasificadas ayudan a los probadores a determinar qué datos del oráculo deben considerarse primero. Para seleccionar los datos del oráculo para cada ruta, introducimos el análisis de cantidad y calidad de los datos del oráculo, que utilizan análisis estático para estimar los datos del oráculo para su capacidad de sustitución y capacidad de detección de fallas. El análisis de cantidad puede reducir el número de datos del oráculo. El análisis de calidad puede clasificar los datos del oráculo según su capacidad de detección de fallas. Al utilizar el análisis de cantidad y calidad, PSODS reduce el costo de la construcción del oráculo y mejora la eficiencia y efectividad de detección de fallas. Hemos implementado nuestro enfoque y lo hemos aplicado a un proyecto del mundo real. Los resultados experimentales muestran que PSODS es eficiente para ayudar a los probadores a construir oráculos de prueba. Además, los conjuntos de datos del oráculo producidos por nuestro enfoque son más efectivos y eficientes que los oráculos de solo salida en la detección de fallas.

Otros recursos que podrían interesarte

Temas Virtualpro