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
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
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.
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.