logo

Actualités

15 June 2016




Imagix lance la version 9.0 d'Imagix 4D: introduction d'un outil de revue de code et d'une liste d'énumération de vulnérabilités

(San Luis Obispo/USA, Offenburg/Allemagne, 6 mars 2017)

La version 9.0 de l'outil Imagix 4D est maintenant disponible.
La nouvelle version intègre des listes de contrôle guidées pour la révision et ajoute une liste de contrôle pour le test d'énumération de vulnérabilités (CWE). La performance des rapports de contrôle de flux a été considérablement améliorée.
La fonctionnalité du visualiseur de flux de données de l'arbre de calcul a été étendue.

Testwell CMT++ Version 6.0.1 disponible

(Tampere/Finlande, Offenburg/Allemagne, 6 Mars 2017)

La nouvelle version 6.0.1 de Testwell CMT++, avec des bugs fixés, est disponible en téléchargement. Autres informations: Testwell CMT++ 6.0.1 Release-Notes

Elvior publie TestCast T3 version 6.11.1

(Tallinn/Estonie, Offenburg/Allemagne, 21 février 2017)

Elvior a publié TestCast T3 version 6.11.1 avec les nouveautés et ajouts suivants:
  • Function for TCI value conversion to XML.
  • Test case duration added to session reports.
  • Faster XML decoding.
  • Improved support for detection of unreferenced external module parameters etc.

Testwell CTC++ version 8.1 disponible

(Offenburg/Allemagne, Tampere/Finlande, 13 janvier 2017)

La version Version 8.1 de Testwell CTC++ contient les améliorations suivantes (liste partielle):
  • Comportement plus robuste, afin d'éviter certains problèmes, dans la situation où deux threads d'un programme non instrumenté déclenchent une écriture de données de couverture simultanément.
  • La simplification de la sélection des fichiers d'en-tête pour laquelle on souhaite avoir un rapport de couverture de code
  • Pour l'installation de l'intégration dans l'IDE Visual Studio, l'amélioration modify_msbuild_path.bat pour un meilleur support C# Framework64
> Plus d'informations

Testwell CTC++ maintenant intégré dans Cobertura, Jenkins et SonarQube

(Offenburg/Germany, 17 novembre 2016)

Verifysoft Technology vient de publier ctc2cob.
Ctc2cob est un outil qui convertit les rapports de Testwell CTC++ dans un format similaire à celui des rapports XML de Cobertura.
L’intégration de Testwell CTC++ avec Jenkins et SonarQube est faite de manière aisée, comme il serait possible de la faire facilement avec d´autres serveurs d´intégration continue (CI) compatibles avec Cobertura.
L'intégration dans Jenkins apporte à Testwell CTC++ des fonctionnalités telles que la notification par e-mail automatique, la génération automatisée, des enregistrements GitHub automatisés, etc... ceci afin d'obtenir les meilleures conditions de travail et d'environnement disponibles.
Une fois que la compilation est terminée, le plugin Cobertura affiche le résultat directement dans Jenkins avec un diagramme de l'évolution de la couverture de code.
Testwell CTC++ est un analyseur de couverture de code pour C, C++, Java et C# de premier plan.
Cet outil fonctionne avec tous les compilateurs, toutes les cibles embarquées et est intégré dans de nombreux environnements de développement intégré (IDEs) et chaines outillées.   en savoir plus
Lely Testwell CTC++ Customer Testimonial

"Garantir un comportement logiciel approprié est un vrai défi": Nouveau témoignage client à propos de Testwell CTC++(Lely, Pays-Bas)

(Offenbourg / Allemagne, Maassluis / Pays-Bas, 27 octobre 2016)

«Notre réputation repose sur des logiciels qui fonctionnent correctement», explique Kees Valkhof, responsable configuration de Lely, qui nous a donné un aperçu des exigences en matière de tests logiciels pour les solutions agricoles.
Il explique pourquoi Lely utilise Testwell CTC++ pour mesurer la couverture de code.
Dans le témoignage et la vidéo ci-dessous, M. Valkhof parle des avantages de Testwell CTC++: «Chez Lely, nous voulons pouvoir mesurer la couverture de nos tests unitaires ainsi que des tests effectués sur cible. Nous avons des cartes embarquées spécialisées qui nécessitent un compilateur croisé intégré. Comme nous utilisons plusieurs compilateurs, nous avons besoin d´un outillage générique, qui n´est pas lié à un ensemble d´outils spécifiques ou IDE. C´est la raison pour laquelle nous avons choisi Testwell CTC++. Cet outil répond à toutes ces exigences."
>Lire le témoignage complet
>Voir la vidéo

Imagix 4D Version 8.1.4 disponible

(San Luis Obispo/USA, Offenburg/Allemagne, 6 octobre 2016)

Imagix a publié la version 8.1.4 de son outil Imagix 4D. Cette nouvelle version propose les améliorations suivantes:
  • Support for Java Edition 8
  • Addition of MSVC 2015 to user interface and compiler configuration file
  • Improvements to Delta Analysis symbol matching and reports
  • Various small improvements and fixes to GUI, graphs, reports, etc.
  • C/C++ source analyzer enhancements for GCC #include_next, MSVC #import, IAR "@" operator, and C++14

Publication de la version 8.0.1 de Testwell CTC++

(Offenburg/Allemagne, Tampere/Finlande, le 30 juin 2016)

Notre partenaire de développement en Finlande a publié la version 8.0.1 de l´analyseur de couverture de code Testwell CTC++.
Les corrections de la nouvelle version concernent principalement certains cas extrêmes d´utilisation de C++ pour C++11 et C++14.
La liste des améliorations et corrections de bugs est disponible ici.

Elvior publie TestCast T3 version 6.10.1

(Tallinn/Estonie, Offenburg/Allemagne, 1 Juin 2016)

Elvior a publié TestCast T3 version 6.10.1 avec les nouveautés et ajouts suivants :
  • Extension du modèle - Outil d´écriture de code TTCN-3 pouvant être utilisé pour étendre et remplir tous les champs d´un modèle structuré.
  • Ajout d´un créateur de modèles - Outil d´édition TTCN-3 pouvant être utilisé pour générer un modèle d´un certain type avec des valeurs par défaut.
  • Extraits de code (snippets) - Outil décriture de code TTCN-3 permettant d´entrer des blocs de code prédéfinis à partir du menu contextuel ou de raccourcis clavier.
  • Nouveau créateur de scripts TTCN-3 - Un créateur de scripts TTCN-3 vous permettant de choisir un module prédéfini et un nom pour votre script.
  • Editeur d´extraits et de modules - Editeur permettant la modification et la création d´extraits de code ou de modules personnalisés.
  • Option permettant d´afficher une boite de dialogue lorsqu´une commande d´action TTCN-3 est exécutée.
SC2-Logo

Verifysoft Technology présentera les outils Testwell à la conférence «Software-Centric Systems» aux Pays-Bas

(Offenburg / Allemagne, Eindhoven / Pays-Bas, le 10 mai 2016)

Verifysoft Technology présentera les outils Testwell à la conférence « Software-Centric Systems » le 25 mai à l´High Tech Campus à Eindhoven.
La conférence « Software-Centric Systems » (anciennement « Bits & Chips Software Engineering ») rassemble des professionnels des sociétés Thales, Saab, Ferrari, Volvo, Lely, Altran et autres acteurs mondiaux de différentes industries.
La conférence permet l´échange d´expériences et de connaissances dans le domaine du développement de logiciels.
Venez nous rencontrer sur notre stand et apprenez-en davantage sur les solutions de logiciel de test de Verifysoft.   >
Plus d´informations

Verifysoft annonce l´interface de Testwell CTC++ avec MATLAB Simulink

(Offenburg/Allemagne, 12 avril 2016)

Verifysoft annonce l´interface de Testwell CTC++ analyseur de couverture de code avec MATLAB Simulink.
Cette interface, qui est actuellement en cours de développement, sera validée par des clients sélectionnés en fonction de leurs besoins.
Testwell CTC++ est l´outil le plus performant pour mesurer la couverture de code sur calculateur hôte et sur toutes les cibles embarquées (même très compactes).
L´outil analyse tous les niveaux de couverture jusqu´à la couverture MC/DC et Multi Condition. Il peut être utilisé pour les analyses de logiciels écrits en C, C++, Java et C#. L´analyseur de couverture peut être utilisé avec les outils de tests unitaires.
Testwell CTC++ est intégré dans de nombreuses chaînes outillées, dans des environnements de test, et avec des outils de qualité logiciel tels que dSPACE SystemDesk, dSPACE TargetLink, Imagix 4D, SonarQube, CATIA Systems AUTOSAR Builder (DASSAULT SYSTEMES), PikeTec Time Partition Testing (TPT), QTronic TestWeaver, et beaucoup d´autres. Testwell CTC++ est également intégré dans de nombreux EDIs.
Ajouter un nouveau EDI ou une chaîne outillée à la liste d´intégration / d´interface de Testwell CTC++ est très facile.
La principale condition est que l´EDI puisse être personnalisable (menus, processus...).
Simulink de The MathWorks est un outil standard de l´industrie qui possède des paramètres ajustables.
Grâce à la technologie simple mais efficace basée sur un script de Testwell CTC++, il n´y a pas de fonctionnalités spécifiques ou ´patchs´ nécessaires pour l´interface.
La plupart du temps, l´adaptation de Testwell CTC++ à d´autres outils nécessite seulement d´avoir des paramètres documentés.
Notre vidéo Testwell CTC++ (Verifysoft) et MATLAB /Simulink fournit une démonstration de preuve de concept complète sur la façon de recueillir la couverture des données avec Testwell CTC++ dans MATLAB Simulink, outil de The Mathworks.
Embedded-Japan

A.I.Corporation (AIC) présentera les outils Testwell à l´Embedded Technology 2016 au Japon

(Offenburg/Allemagne, Yokohama/Japon, 12 avril 2016)

AIC, notre distributeur au Japon, présentera les outils Testwell à l´Embedded Technology 2016, du 16 au 18 novembre à Yokohama (Japon).
L´Embedded Technology se compose d´expositions et de conférences mettant en avant les technologies et les solutions qui sont essentielles aux objets embarqués.
Depuis quelques années, les technologies embarquées sont devenues incontournables et sont largement utilisées dans divers domaines, tant pour l´usage privé que pour l´usage industriel.   > Plus d´informations

Elvior publie la 3ème génération de TestCast MBT

(Offenburg/Allemagne, 23 mars 2016)

TestCast MBT est un outil de test basé sur un modèle: le comportement des SUT est modélisé sous forme de diagrammes d´états UML; les critères de structure de la couverture de code sont réglés sur le modèle; les cas de test abstraits sont conçus et générés automatiquement. Les tests peuvent ensuite être interprétés dans des scripts TTCN-3 exécutables et réalisés sur l´outil TestCast T3 (inclus dans TestCast MBT bundle).
La première (ex-Motes) et la seconde génération de TestCast MBT utilisaient la 3ème partie outil UML pour la modélisation.
La troisième génération de TestCast MBT a été construite dans l´éditeur de modèle du système qui est harmonisé avec le modèle de données TTCN-3.
La nouvelle version de TestCast MBT augmente l´automatisation des tests par Elvior au niveau suivant grâce à l´interface conviviale et puissante de la plateforme TTCN-3. TestCast MBT peut être utilisé sur différents domaines d´application: des systèmes embarqués aux tests Web.

Testwell CTC ++ maintenant disponible sur IBM AIX 7 PowerPC

(Offenburg/Allemagne, 21 mars 2016)

Verifysoft Technology annonce la disponibilité de Testwell CTC ++ v8.0 sur IBM AIX 7 PowerPC. Les binaires dans la distribution AIX ont été construits sur IBM AIX 7, compilateur gcc 4.6.3 C. Nous remercions notre fournisseur Shell, à Polarhome en Suède, d´avoir rendu cela possible.
Testwell CTC ++ est le principal outil de couverture de code pour mesurer la couverture de code sur hôtes et sur toutes cibles embarquées, même très petites.
L´outil est conforme aux normes de sécurité. Des centaines d´entreprises à travers le monde utilisent Testwell CTC ++ et en sont très satisfaits.
Cet outil est le choix n°1 des sociétés qui ont à atteindre un haut niveau de couverture de code ou qui ont à respecter des normes de sécurité imposées dans leur domaine tels que dans l´aérospatiale, l´automobile, le ferroviaire, le médical et autres industries.
AIX® est un système basé sur le système d´exploitation Unix System V de la société IBM®.

Beijing Siener Electronics Tech. Development Ltd. devient distributeur des outils Testwell en Chine

(Offenburg / Allemagne, Pékin / Chine, le 28 janvier 2016)

Verifysoft, propriétaire de l´outil de couverture de test Testwell CTC++ et de logiciels de test et d´analyses Testwell CTA ++, CMT ++ et CMTJava a annoncé aujourd´hui la nomination de Beijing Siener Electronics Tech. Development Ltd. en tant que distributeur en Chine.
Beijing Siener, société privée dont le siège est à Pékin / Chine avec des bureaux à Shanghai / Chine, représente déjà des sociétés telles que HighTec EDV-Systeme GmbH, pls Development Tools, et GLIWA GmbH sur le marché chinois en pleine croissance.
"Nous sommes ravis d´être revendeur pour Verifysoft parce que leur analyseur de couverture de code Testwell CTC ++ est inégalé dans l´industrie", a déclaré Peter Liu, directeur général de Beijing Siener Electronics Tech. Development Ltd. "Testwell CTC ++ analyseur de couverture fonctionne avec toutes les cibles embarquées et soutient tous les compilateurs. L´outil facilite l´analyse pour les équipes de développement qui doivent répondre à des exigences en couverture de code et aux normes industrielles telle que l´ISO26262."
"La Chine est un marché important pour nous", a déclaré Klaus Lambertz, PDG de Verifysoft Technology. "Nous sommes heureux d´avoir un partenaire comme Beijing Siener pour soutenir d´avantage les utilisateurs de Testwell CTC ++ dans cette région et étendre d´autant plus notre clientèle en Chine."
Verifysoft Technology va présenter son outil phare Testwell CTC ++ lors du "Multicore Embedded Toolchains Workshop for Multicore ECU Development" à Shanghai les 8 et 9 mars 2016. > Plus d´informations

Verifysoft Technology, premier distributeur européen pour Imagix 4D, outil de vérification du code source et d´analyse de l´architecture

(Offenburg/Allemagne, San Luis Obispo/USA, 2 Janvier 2016)

Imagix Corporaton a choisi Verifysoft comme distributeur en Europe pour son outil de vérification du code source et d´analyse de l´architecture Imagix 4D.
Verifysoft Technology, représentant exclusif de l´outil Imagix 4D, met ses experts à la disposition des clients pour assurer le support technique en Allemagne, Autriche, Suisse, Liechtenstein, France, Pays-Bas, Belgique, Luxemburg, Pologne, République Tchèque, Slovaquie, Hongrie, Slovénie, Espagne et Portugal.
Logiciel incontournable pour la rétro-engénierie, la qualité d´analyse et la documentation des logiciels écrits en C, C++ et Java, Imagix 4D est d´ores et déjà utilisé par de nombreuses sociétés mondiales telles que General Dynamics, Hewlett-Packard, Hitachi, Intel, Nissan, Siemens, ainsi que par les organismes gouvernementaux comme la "Federal Aviation Administration" (FAA) et la NASA. > plus d´informations sur Imagix 4D
Screenhot Testwell CTC++ 8.0

Testwell CTC++ 8.0 disponible: annotations et meilleur rapport HTML

(Offenburg/Allemagne, Tampere/Finlande, 1 décembre 2015)

Version 8.0 de l´analyseur de couverture de test Testwell CTC++ est disponible.
Les nouvelles caractéristiques majeures de Testwell CTC++ 8.0 incluent:
  • L´amélioration de l´architecture globale du rapport HTML
  • L´amélioration de la "couverture des lignes" dans le rapport HTML
  • L´amélioration des "annotations"
  • L´amélioration des rapports de fichiers déen-tête
  • L´amélioration de la fusion des données de couverture des fichiers de code testés indépendamment
> ...en savoir plus