Big Data pour le code
Atlas est une plate-forme de scalabilité pour l’exploration et l’analyse des graphes sémantiquement riches du logiciel. C’est parti des deux décennies de la recherche pour résoudre des problèmes complexes de génie logiciel en utilisant des graphes. Atlas peut être utilisé interactivement pour explorer un grand jeu de données qui est dérivé programmatiquement ou de logiciel pour effectuer l’analyse automatique sophistiqué.
Résultats de succès :
- Détection sophistiquée de malware
- Audit automatisé du logiciel de sécurité critique
- Modernisation des applications
Solution complète
EnSoft fournit Atlas, aussi bien que des services en ingénierie, pour vous aider créer une solution complète pour l’exploration de l’information pertinente. Par exemple, EnSoft a aidé une entreprise de services financiers d’identifier des points clés d’intégration pour un projet de la modernisation d’une application.
Les compétences d’EnSoft s’étendent de la création d’un jeu de données de votre code, d’organiser un environnement informatique (grand ou petit), et de développer des nouveaux algorithmes de graphe pour résoudre votre problème spécifique. Par exemple, EnSoft a été associé d’Iowa State University pour développer une solution complète de la détection de malware pour la Defense Advanced Research Projects Agency (« Agence pour les projets de recherche avancée de défense »).
Adapté pour des jeux dérivés du logiciel de données
Atlas utilise une base de données orientée graphe rapide et un moteur d’interrogation qui est adapté pour un jeu dérivé du logiciel de données. Contrairement aux autres requêtes de Big Data qui trouvent mes modèles à l’intérieur des quartiers du K-degré (ex. « les restaurants qui les amis de mes amis donnent 4 ou plus étoiles » requiert une requête du troisième degré), des requêtes logiciels peuvent couvrir des degrés arbitraires. Par exemple, trouver une variable d’entrée correspondant à une variable sortie dans un contrôleur intégré peut facilement couvrir des nœuds qui sont à 100 degrés l’un de l’autre.
Scalabilité
Atlas peut s’occuper les grands jeux de données dans une grappe de marchandises, mais sur un ordinateur modern de bureau même, on peut travailler avec des millions de lignes de code.
Multilingue
Atlas a été créé pour marcher avec plusieurs langages de programmation. Nous fournissons le soutien phare pour Java et C/C++, aussi bien que le soutien pour COBOL, Ada, et des autres langages spécifiques à l’industrie. EnSoft peut rapidement créer le soutien pour les langages supplémentaires pour satisfaire à vos besoins du projet.