Verificar la contención de la extracción de archivos comprimidos con un libro de registro de directorio desechable

Objetivo

Probar el límite de escritura prometido por una función de extracción usando un sistema de archivos aislado y archivos de prueba inertes. Esta metodología original se centra en dónde ocurren las escrituras, sin asumir que una biblioteca de archivos comprimidos en particular sea segura o insegura.

Requisitos previos

Usar un entorno de prueba desechable que contenga un directorio de extracción y archivos centinela inofensivos fuera de él. El proceso no debe tener acceso a datos reales de usuarios ni a rutas de producción montadas en el host.

Pasos

1. Definir las ubicaciones de salida permitidas, el comportamiento ante sobrescrituras y los presupuestos de recursos antes de construir la fixture. Incluir los metadatos de directorio que importan para el contrato previsto de la aplicación.

2. Extraer un archivo comprimido normal que contenga pequeños archivos de texto inertes. Confirmar que el libro de registro detecta los archivos nuevos esperados y que la aplicación puede seguir usándolos mediante su flujo de trabajo previsto.

3. Crear entradas sintéticas acotadas que pongan a prueba la política de destino declarada, usando el generador de fixtures admitido por el formato. Mantener su contenido inerte y garantizar que todos los efectos posibles permanezcan dentro del entorno desechable.

4. Comparar el libro de registro antes y después, incluidos los centinelas fuera del directorio de extracción permitido. Inspeccionar la salida parcial tras una extracción rechazada, no solo el error informado o el listado final del destino.

5. Tras una reparación, volver a ejecutar las fixtures aceptadas y rechazadas y verificar el comportamiento de limpieza. Conservar cada caso límite como una regresión nombrada, sin distribuir un archivo comprimido diseñado para un objetivo sin propietario.

Resultado esperado

La evidencia debería mostrar si cada escritura observada se mantuvo dentro del límite previsto y si la entrada rechazada dejó salida parcial prohibida.

Límites y base de verificación

Este método no afirma nada sobre la semántica del formato de archivo comprimido ni sobre los valores predeterminados de la biblioteca de extracción. Los enlaces, las rutas específicas de la plataforma, los cambios concurrentes del sistema de archivos y el agotamiento de recursos requieren fixtures y presupuestos delimitados por separado. Este es un método original propuesto; no se reivindica ninguna ejecución ni resultado empírico.