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
Esta es una versión de prueba de citación de documentos de la Biblioteca Virtual Pro. Puede contener errores. Lo invitamos a consultar los manuales de citación de las respectivas fuentes.
Artículo:
Cáncer de vejiga
Artículo:
Una visión general de los estudios clínicos sobre sistemas de postes de fibra
Artículo:
Los monocitos no se transdiferencian en osteoblastos adecuados.
Artículo:
Correlacionador en chip para sistemas multisensor SAW inalámbricos pasivos
Artículo:
Determinación de las variables topográficas más representativas en Sockets para amputados transfemorales fabricados nacionalmente
Libro:
Ergonomía en los sistemas de trabajo
Artículo:
Obtención de gas combustible mediante la bioconversión del alga marina Ulva lactuca
Artículo:
Sistemas de producción y potencial energético de la energía mareomotriz
Artículo:
La necesidad de la planeación estratégica en las organizaciones industriales modernas