Examiner les enveloppes de commande à l'aide d'un substitut enregistreur d'arguments

Objectif

Vérifier comment l'enveloppe de commande d'un agent de codage transforme des valeurs contrôlées par la personne qui l'utilise en intention exécutable. Cette méthode originale substitue au programme réel un enregistreur d'arguments inoffensif et examine directement la frontière.

Prérequis

Utiliser un environnement de développement isolé et un exécutable de substitution qui enregistre les arguments reçus sans effectuer l'opération réelle. Définir quelles entrées de la partie appelante sont des données, quelles options sont autorisées, et qui sélectionne l'exécutable.

Étapes

1. Exécuter l'enveloppe avec une valeur synthétique ordinaire et confirmer que l'enregistreur reçoit la séquence d'arguments attendue. Garder cette base de référence à l'écart de toute commande de production ou de tout appel porteur d'identifiants.

2. Fournir des valeurs bénignes contenant des espaces, de la ponctuation et des caractères en tête ressemblant à des options, sous forme de jeux de test délimités. Préciser pour chaque valeur si elle doit être conservée comme donnée ou rejetée par le contrat d'entrée de l'enveloppe.

3. Comparer l'identité de l'exécutable enregistrée et les frontières des arguments avec ces attentes. Ne pas déduire une correction du seul fait que l'enveloppe affiche une chaîne de commande plausible dans son aperçu.

4. Solliciter le chemin d'erreur pris en charge par l'enveloppe à l'aide du substitut. Vérifier que les diagnostics décrivent l'échec sans exposer des valeurs d'environnement sans rapport ni élargir la sélection de commandes autorisées.

5. Après une correction, relancer la base de référence et les jeux de test limites face à l'enregistreur. Revoir séparément l'intégration finale avant d'activer les effets de bord du programme réel dans un environnement autorisé.

Résultat attendu

Le dispositif de test doit rendre visibles, sous forme de différences révisables entre les données prévues et les arguments reçus, le découpage des arguments, la sélection inattendue d'options et la substitution d'exécutable.

Limites et base de vérification

Cette méthode ne fournit pas de règles d'échappement propres à un shell et ne garantit pas qu'un programme en aval traite un argument de manière sûre. L'exécutable réel peut avoir ses propres règles d'interprétation, nécessitant une documentation et des tests primaires distincts. Il s'agit d'une méthode originale proposée ; aucun résultat d'exécution ni résultat empirique n'est avancé.