Comment ouvrir un fichier JSON en ligne
Trois étapes, quelques secondes, aucun logiciel.
Ouvrez votre fichier .VDM
Déposez-le dans la zone, choisissez-le sur votre appareil ou collez directement les données.
Voir la structure
Votre fichier .VDM s'ouvre sous forme d'arborescence ordonnée et pliable, avec l'indication précise de la ligne en cas d'erreur.
Rechercher, copier ou télécharger
Recherchez des clés et des valeurs, copiez n'importe quel chemin ou valeur, passez à un tableau ou téléchargez une copie propre.
Qu'est-ce qu'un fichier .VDM ?
Le format de données le plus courant sur le web.
Un fichier .vdm est très probablement un fichier source de spécification formelle VDM-SL ou VDM++, une description mathématique d'un système logiciel utilisé dans l'ingénierie critique pour la sécurité. Ouvrez-le avec Overture Tool (gratuit, overturetool.org). L'extension est également utilisée par l'éditeur de texte VEDIT pour les scripts de macros, et historiquement par Windows Defender pour les modules de définition de virus.
Programmes qui ouvrent les fichiers .VDM
| Nom complet | VDM Specification File |
|---|---|
| Développeur | Originated at IBM Vienna Lab; maintained by IFAD/Terma/community; tooling by VDM Tools / Overture Project |
| Première version | 1970s (VDM-SL); ISO/IEC 13817-1 published 1996 |
| Catégorie | Texte & Code |
| Type MIME | text/plain |
Visionneuses associées
Chaque visionneuse est gratuite.
Foire aux questions
Mon fichier .VDM est-il téléversé quelque part ?
Non. Le fichier est ouvert directement à partir de la copie que vous choisissez.
Mon fichier .VDM est invalide. Pouvez-vous le réparer ?
Nous indiquons la ligne et la colonne exactes de la première erreur. Pour les problèmes courants comme les commentaires, les virgules traînantes, les guillemets simples ou les True/False/None de style Python, cliquez sur Tenter de réparer et téléchargez le fichier corrigé.
Quelle taille peut faire le fichier ?
Jusqu'à 50 Mo. L'arborescence ne construit que les branches que vous ouvrez, ainsi même les fichiers de plusieurs mégaoctets restent réactifs.
Qu'est-ce que JSONPath ?
Un chemin comme $.orders[3].customer.email qui pointe vers une valeur à l'intérieur des données. Cliquez sur n'importe quel nœud pour voir son chemin et le copier pour du code, jq ou votre documentation API.
Puis-je voir mes données sous forme de tableau ?
Oui. Tout tableau d'objets peut être affiché dans la Tableau vue et téléchargé au format CSV.
Cet outil vous a-t-il été utile ?
Votre évaluation nous aide à décider quels outils améliorer en priorité.