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.

Vérification formelle de systèmes ou logiciels développés en SCADE, C, Ada Systerel propose une gamme de solutions éprouvées industriellement pour l’analyse statique ou la preuve formelle de systèmes ou de logiciels à l’aide de technologies à base de Model Checking. Systerel Smart Solver est un moteur d’analyse basé sur les technologies SAT.

Squash TA est un outillage open source d'automatisation des tests fonctionnels et d'industrialisation de leurs exécutions. Compatible avec plusieurs automates open source (exemple Selenium), il permet de gérer les tests automatisés d'applications Web, de webservices et de batchs. Les fonctionnalités de Squash TA se basent sur des développements initiés en 2009 par la société Henix. Réalisés pour répondre aux besoins d'automatisation des TRA (Tierce Recette Applicative) de cette SSII, ces développements ont été reversés à la communauté Squash pour constituer le socle de Squash TA.

Outil d'analyse statique de code qui permet de vérifier la viabilité du code Python produit et le respect des standards de codage

PullReview est née du constat (souvent entendu) que si beaucoup de gens semblent convaincus de l’intérêt des revues de code, tous n’y ont pas accès. Avec PullReview, notre objectif est de fournir à tous les développeurs Ruby une possibilité d’avoir des feedbacks sur leur code – pas en terme de bon/mauvais, mais en terme de ce qu’ils peuvent y améliorer. Pour ceux qui n’ont pas accès à une revue de code “humaine” c’est une première étape, pour les autres, un complément permettant à la revue “manuelle” de se focaliser sur des sujets plus importants (adéquation avec les besoins, par exemple).

Squash TM permet de gérer efficacement votre patrimoine de test. L'outil prend en charge les exigences, les cas de test et les campagnes d'exécution, dans un contexte nativement multi-projet. Il peut se connecter aux principaux bugtrackers du marché pour la gestion des anomalies.

REFLEX Validation permet de définir et d'automatiser des scénarios de tests fonctionnels afin de valider le comportement des composants et des applications, Ces scénarios de tests peuvent être très simples comme très avancés. Les scénarios de tests peuvent être enchaînés, exécutés et rejoués automatiquement. A l'issue de l'exécution des scénarios, un rapport de test est généré détaillant le statut de chaque scénario. L'évolution des variables de l'application durant le scénario peut également être enregistrée et affichée sous forme de courbes pour analyse.

La suite logicielle OptiMESH est la dernière née des solutions développées par C4W. Particulièrement facile à utiliser, c’est l’outil idéal pour visualiser, contrôler et rapidement mettre en évidence les défauts des fichiers STL. En complément, OptiMESH propose une large palette de fonctions destinées à la réparation manuelle ou automatique, au redimensionnement et à l’optimisation des maillages. Un champ d’application large et des bénéfices énormes Utilisé en aval des solutions de numérisation, OptiMESH permet d’analyser la qualité des maillages produits, de réparer les défauts dus aux éventuelles zones d’ombres, ou d’adapter le nombre des triangles en fonction de la précision requise (pour éviter ainsi le traitement de fichiers inutilement lourds). En amont des moyens de fabrication ou d’usinage, OptiMESH assure le contrôle qualité des fichiers avant leur mise en production sur machine. Pièces inutilisables, arrêt ou retard de production, casse machine autant de problèmes dont l’origine est fréquemment un défaut dans la structure des données transmises à la machine. Conversion polyèdre vers géométrie exacte Parmi les modules à forte valeur ajoutée, OptiMesh intègre une solution unique et puissante de retro conception. Basée sur la reconnaissance des primitives (plans, cylindres,...) contenues dans un maillage, la fonction reconstruit puis limite les différents éléments obtenus afin de générer un modèle B-rep exportable aux formats .iges, .step, .sat. Particulièrement facile à utiliser, cet outil a été complètement automatisé pour les utilisateurs non experts de la CAO. Ceux qui le désirent conservent la possibilité de modifier les paramètres pour contrôler précisément le processus de conversion.

Askida est une solution logicielle innovante qui permet d’orchestrer les tests automatisés de différents outils et d’analyser leurs résultats tout au long du cycle de vie de vos applications. Utilisée pour garantir la qualité de leurs applications (nouvelles ou existantes) et tester leurs fonctionnalités sur tout type de plateformes et dans n’importe quel langage, elle permet à nos clients de maximiser la valeur de leurs investissements et de réaliser des gains considérables de temps et d’argent. Askida permet d’exécuter une série de tests systématiques et répétables dès le début de la phase de développement, et présente les résultats sous forme de tableaux de bord sophistiqués qui donnent une vue réelle de l’état de vos applications. De plus, le logiciel permet d’assurer la qualité et la conformité opérationnelles de tous les aspects de votre système d’information, et ce quels que soient le type de plateforme ou de langage de programmation utilisés.

REFLEX Verification est un outil très efficace en phase de tests unitaires et tests d'intégration d'une application, et contribue à développer des logiciels sûrs. L'outil permet d'abord de définir des propriétés (contrats) à imposer au niveau des composants et des applications ainsi que des règles de programmation (règles d'architecture, règles de nommage, etc...). L'outil réalise ensuite une analyse mathématique des programmes et, par un mécanisme de preuves déductives, se charge de détecter les erreurs (non respect des propriétés et des règles).