EcoStruxure Control Engineering - Verification
EcoStruxure Control Engineering - Verification (anciennement PLC Checker) est une application collaborative à distance permettant l'analyse statique de code automate. Le logiciel permet de vérifier que les programmes automates testés sont conformes à un standard de règles de programmation, qu'il s'agisse de règles de bonnes pratiques, du standard de référence dans l'automatisme (PLCopen) ou de règles spécifiques aux process de l'entreprise.
Il peut être utilisé aussi bien au cours du développement qu'en maintenance, notamment lors de modifications ou migrations.
Ses objectifs sont :
- contrôler le respect d'un standard de codage tout au long de la programmation (en particulier lorsque la programmation est en partie sous-traitée) grâce à un dashboard de suivi de l'évolution de la qualité du programme au cours du projet ;
- assurer la transparence dans la livraison du code en évaluant son niveau de qualité par un audit de conformité au standard choisi au moment du commissioning ;
- maîtriser et réduire les coûts de maintenance du logiciel en prévenant les écueils de qualité du code afin de raccourcir le temps de debug
PragmaDev Studio
PragmaDev est un éditeur de logiciel Français qui propose différents outils intégrés au sein d'un même environnement: PragmaDev Studio avec pour objectif d'aider à gérer la complexité inhérente aux développements de systèmes. Il intègre plusieurs outils basés sur des standards internationaux et s'adressent à des ingénieurs systèmes/architectes, des développeurs, et des testeurs.
4 modules composent l'offre :
PragmaDev Specifier aide les ingénieurs système à spécifier et vérifier les fonctionnalités du système, et à définir la meilleurs architecture pour la performance ou l'efficacité énergétique. La technologie de spécification permet de décrire un modèle graphique fonctionnel et exécutable. Un simulateur intégré permet de vérifier et de valider la dynamique du système, et un analyseur de performance identifie la meilleure architecture.
PragmaDev Developer permet aux concepteurs logiciel d'écrire un code maintenable et auto-documenté. Pour cela la technologie de développement permet de décrire un modèle graphique d'architecture et les grandes lignes comportementales en y intégrant le code d'exécution.
PragmaDev Tester permet au testeur d'écrire des tests d'intégration et de validation avec un langage dédié, synthétique et exécutable.
De nombreux tests de conformité sont publiés par des organismes de standardisation avec cette technologie de test.
PragmaDev Tracer est un outil transverse aux trois autres qui permet de décrire des scénarios. En amont, il permet de décrire des scénarios attendus, ou des propriétés d'un système à développer. En aval, il permet de tracer l'exécution d'un modèle ou d'un système et de vérifier que le système est conforme aux scénarios et propriétés décris en amont.
La version complète de l'outillage propose des passerelles entre les différents outils comme par exemple la génération automatique de tests à partir d'un modèle fonctionnel (model based testing).
EcoStruxure Control Engineering - Documentation
EcoStruxure Control Engineering - Documentation (anciennement PLC DocGen) est un outil de rétro-ingénierie qui vous permet de générer les informations provenant d’un code source existant de l’automate.
Utilisez EcoStruxure Control Engineering - Documentation pour la maintenance, la revue de code, l’audit ou le débogage de code.
Ittention
La solution Ittention permet de vérifier scientifiquement ce qui attire et retient l’attention (points d’ attention visuelle). Elle est une plateforme de test d'impact visuel.
Ittention croise les résultats de recherches scientifiques en neurosciences, en psychologie cognitive et en théories de l’information pour permettre aux entreprises de prévoir l’attention visuelle de leurs cibles.
Avec la plateforme Web vous découvrez en un coup d’oeil, l’endroit où il faut placer les éléments fondamentaux de votre communication pour augmenter son impact. Une innovation qui permet de voir comment le regard se déplace, d’imposer l’ordre dans lequel l’oeil doit voir vos éléments pour répondre à vos objectifs de communication, d’estimer la clarté de votre message, de valider l’organisation de votre communication et de vérifier que l’information utile soit aisément perçue.
Prévoyez l’attention visuelle de vos cibles pour mieux défendre vos créations
Créez : Composez votre communication visuelle selon votre intuition, votre expérience et vos objectifs de communication.
Vérifiez : Uploadez votre image. Ittention reproduit le regard humain et montre ce qui est vu. Utilisez ces résultats pour optimiser votre création.
Décidez : Validez l'impact de votre création sur des critères humains, biologiques et comportementaux. Défendez-la avec des arguments objectifs et mesurés.
Test
Validez et testez les interfaces hl7 pour des projets critiques d’interopérabilité.
Tirez profit de la puissance d’outils d’automatisation de tests haut de gamme sans vous encombrer de la courbe d’apprentissage. Mettez vos produits en service avec des interfaces de qualité supérieure. Réduisez les risques et augmentez la confiance.
Des plans de tests à portée de clavier
Données HL7 adéquates
Planifiez avant de tester
Automatisation de tests HL7
Votre moteur d’interface
QACoverage
ABID Consulting propose un outil intuitif et fiable pour gérer l’ensemble de vos activités de qualification. QACoverage améliore la productivité des testeurs et fournit la visibilité nécessaire pour piloter et contrôler les process de qualification. Conçu en collaboration avec des testeurs et pour des testeurs, QACoverage facilite le travail des équipes d’ingénierie logicielle ainsi que leur suivi et améliore les interactions entre les différents intervenants.
Datalimit
Testez la sensibilité à la charge de vos applications
- Solution complète de test de charge
- Orientée expérience utilisateur
- Restitution orientée SLA
- Un accompagnement par nos experts
Datalimit est une offre de test de charge qui vous apporte un ensemble d’indicateurs de qualité de service utilisateur. En réalisant une corrélation des différents indicateurs issus du test de charge, Datalimit montre si votre application tient ses promesses.
La solution s’adresse à toutes les sociétés pour qui la prévision de la performance de leurs sites et applications Web (Intranet / Internet), et le dimensionnement de leurs plateformes, représentent des enjeux majeurs.
QTS
QTS contient une batterie de formules mathématiques qui s’enrichit selon les besoins des clients : comparaison simple, comparaison de courbes évoluées, de maillages 3D, temps de convergence, de stabilisation, analyses de séries temporelles, fréquentielles, traitement du signal, recalage, …
Cet outil est compatible avec tout outil qui génère des valeurs numériques : codes de calculs, logiciels de simulation, bases de données, réseaux de capteurs, …
L’automatisation des campagnes de tests
Validation de la conception par rapport aux spécifications fonctionnelles ou données réelles,
Détection automatique de régression,
Evaluation de la performance d’applications parallèles ou embarquées,
Qualification de nouveaux logiciels avant de les utiliser.
Un gage de performance et de qualité
Pour des campagnes à grands volumes de tests,
Lorsque la complexité des données à valider rend l’analyse visuelle impossible,
Quand les configurations ou les versions sont régulièrement modifiées,
Si le logiciel est critique et doit être maintenu en condition opérationnelle.
Une approche stratégique du traitement des tests
Automatisation de la création et de l’exécution des scénarios de tests,
Analyse métier des résultats sur l’interface utilisateur et par des rapports dédiés,
Capitalisation du savoir-faire.
QTS Lite
Comparez facilement les résultats de la dernière version de vos logiciels de calcul aux résultats des versions précédentes ou des versions de références (s’applique aux séries temporelles, vecteurs XY, lignes de coupes dans des champs 2D ou 3D)
Lancez vos logiciels en utilisant la fonctionnalité intégrée en ligne de commande.
Laissez QTS analyser les résultats en utilisant un de ses méthodes standard de lecture aux formats natifs QTS (csv, excel, texte, …) et comparer les résultats.
Accédez aux résultats depuis partout en utilisant un navigateur web standard sans installation d’outils spécifiques.
Fonctionne aussi bien sous Windows que Linux !
Déployer un nombre illimité de cas de tests et de campagnes de tests!
SmarTerm
Le logiciel d'émulation de terminal SmarTerm offre toutes les fonctions de sécurité requises pour protéger les données centralisées : encryptage SSL et SSH, partage sécurisé des fichiers avec SFTP et SCP. Compatible avec plusieurs systèmes d'exploitation, SmarTerm prend en charge simultanément l'anglais, le français, l'allemand et l'espagnol.
Affinez votre recherche:
Communauté / région
Catégories
Analyse de données - tableaux de bord - reporting - dashboard (1)
CAO DAO- modélisation 2D & 3D (1)
Gestion des sécurités - identité - haute disponibilité - Continuité de services - Sauvegarde (3)
Gestion Dossier patient - Médical - Santé (1)
Outil de développement - Génération de code - SDK - Atelier génie logiciel - AGL (1)
Outils de maintenance - ALM Application Life Management - Déploiement (1)
Outils de tests - Analyse de code - Performance - Stress d'application (38)
Type de client
Industries
Automobile (4)
Aéronautique et aérospatiale (2)
Bois - Papier - Emballage (2)
Bureau d'étude Ingénierie (1)
Chimie (2)
Communication - Média - Presse (1)
Editeur de logiciels ou d'applications (1)
Electronique Semi-conducteur Radio (2)
Environnement - Energie (2)
Hôpitaux, Cliniques, Secteur de la santé (3)
Pages
1
2
Contraintes techniques
Méthodes de commercialisation
Prix