Un Enfoque de Pruebas de Vulnerabilidad para Componentes de Terceros Basado en la Mutación de Condiciones y Parámetros

La investigación sobre pruebas de vulnerabilidad de componentes es crítica. En este documento, se propone un enfoque de pruebas de vulnerabilidad basado en mutación de condiciones y mutación de parámetros para detectar de manera efectiva las vulnerabilidades explícitas de los componentes de terceros. Para empezar, se presenta el Algoritmo de Mutación de Precondiciones () para generar un conjunto de mutantes de la precondición, y se generan casos de prueba basados en estos mutantes. Luego, se aborda el procedimiento de Valores Mutados de un Solo Parámetro () para generar valores de parámetros basados en operadores de mutación de especificación de parámetros. Estos valores se toman como entrada del Algoritmo de Generación de Casos de Prueba basado en la Restricción de Parámetros (), que se encarga de generar un conjunto de casos de prueba que violan la restricción de parámetros. Las vulnerabilidades explícitas pueden ser detectadas por el algoritmo de detección de vulnerabilidades basado en los casos de prueba de mutación de condiciones y parámetros. Los

Autores: Chen, Jinfu; Chen, Jiamei; Zhan, Yongzhao; Chen, Weihe; Huang, Rubing