No. 03/2018 Juillet 2018
Sommaire:
1 - "Insights Success": Verifysoft Technology GmbH est l'un des 10 fournisseurs de solutions de test de logiciels les plus performants2 - Imagix 4D Version 9.1 disponible: le "couteau suisse" du Software
3 - Retour sur les présentations à Aviation Electronics Munich (Allemagne)à propos de la qualité dans le Software pour la sécurité et la sûreté.
4 - Séminaires High-quality avec Martin Heininger Ing.Dipl. maintenant disponible en intra entreprise en anglais!
5- Autre actualité Verifysoft Technology
6- Évènements
Verifysoft Technology, l'un des 10 fournisseurs de solutions de test de logiciels les plus performants selon le magazine "Insights Success"
La direction de Verifysoft Technology est convaincu qu'ils ont un très bon produit et accorde la plus haute priorité à la satisfaction de leur client.
Lire l´article dans sa totalité ici.
Imagix 4D Version 9.1 disponible: le "couteau suisse" du Software
Imagix a publié la version 9.1 de son outil Imagix 4D .
Imagix 4D peut être considéré comme le "couteau suisse" du Software. Avec Imagix 4D vous augmentez la productivité, améliorez la qualité et réduisez les risques. C'est un outil pour comprendre, documenter et améliorer le code source complexe, tiers ou hérité en C, C ++ et Java. Imagix 4D automatise l´analyse des flux de contrôle et des dépendances. En outre, le «couteau suisse» détecte les problèmes dans l´utilisation des données et les interactions de tâches. Avec Imagix 4D, les équipes de développement de logiciels augmentent la productivité, améliorent la qualité et réduisent les risques pour leurs projets.
Regardez ici notre présentation par Jan-David Baltzer, spécialiste de l'analyse statique, durant Avionics Electronics à Munich..
En savoir plus sur Imagix 4D Version 9.1 (Release Notes)
Témoignage d´un utilisateur de l´outil ImagiX 4D, Gilles Carré, senior graduated HW/SW engineer (28 years of experience, Texte original en anglais)
Retour sur les présentations à Aviation Electronics Munich (Allemagne) à propos de la qualité dans le Software pour la sécurité et la sûreté
Verifysoft Technology fournit des outils de test logiciel "haute technologie" pour l'analyse de code statique et la couverture de code.
Testwell CTC++ Test Coverage Analyser, et Imagix 4D sont largement utilisés pour le développement de logiciels critiques pour la sécurité et la sûreté. Comme les outils sont conformes à la norme de qualité aérospatiale DO-178C, les technologies de test de Verifysoft ont suscité un vif intérêt lors de « Aviation Electronic Europe / AST Testing in Aerospace » à Munich (Allemagne).
Vidéos des conférences sur notre chaine YouTube:
Code Coverage for Safety Critical Applications (par Klaus Lambertz),
Imagix 4D: The Swiss Army Knife for Software (par Jan-David Baltzer),
From Compliance to Benefit: Combining Static and Dynamic Analysis (par Dr. Sabine Poehler et Royd Lüdtke).
Séminaires "High-quality" avec Martin Heininger Ing.Dipl. maintenant disponible en intra entreprise en anglais!
Pour plus d'informations:
- Testing Embedded Software (Tests logiciels embarqués)
- ISO 26262 Compliant System and Software Development Process (Processus de développement de système et de logiciel conforme à la norme ISO 26262)
- IEC 61508 Compliant System and Software Development Process (Processus de développement de système et de logiciel conforme à la norme CEI 61508)
Autre actualité Verifysoft Technology
Les nouvelles fonctionnalités de l'outil d'exécution de test, TestCast T3:
- Support for TTCN-3: 2017 edition of XSD conversion rules (ES 201 873-9 version 4.9.1)
- Property allowing to use internal ASN.1 codec regardless of presence of additional encode parameters
- TriSnapshot message is optional now and can be enabled or disabled in the project settings
- Detection of errors connected with calling functions with fuzzy parameters from special places
- Component end log item contains a trace of 10 last executed instructions
Évènements
• Webinaire gratuit: "Code Coverage for Embedded Targets"(en anglais)
Mardi, 24 juillet 2018, à 16 h (heure de Paris)
• Séminaire: Efficient Unit-Tests for Embedded Systems (en anglais)
Mardi, 9 octobre 2018 Technologiepark, In der Spoeck 10, 77656 Offenburg, Allemagne (à 25 km de Strasbourg)
• Testwell CTC++ Training / Workshop (en anglais)
Mercredi 10 octobre 2018 Technologiepark, In der Spoeck 10, 77656 Offenburg, Allemagne (à 25 km de Strasbourg)
Salons professionnels
• Embedded Conference Scandinavia 2018
6 & 7 novembre 2018 à Stockholm, Suède
• Embedded Software Engineering Kongress
du 3 au 7 décembre 2018 à Sindelfingen/Stuttgart, Allemagne
• Embedded World
du 26 au 28 février 2018 à Munich, Allemagne
Nous suivre sur:
Bien cordialement,
Klaus Lambertz
Gérant
Verifysoft Technology GmbH
Technologiepark - In der Spöck 10-12
77656 Offenburg, Germany
URL: https://www.verifysoft.com
Registergericht: HRB 472242 Amtsgericht Freiburg
Geschäftsführer: Klaus Lambertz
Klaus Lambertz
Gérant
Verifysoft Technology GmbH
Technologiepark - In der Spöck 10-12
77656 Offenburg, Germany
URL: https://www.verifysoft.com
Registergericht: HRB 472242 Amtsgericht Freiburg
Geschäftsführer: Klaus Lambertz
Inscription à notre newsletter / Ou parcourir les archives:
Archives
Inscription/ Désinscription à notre newsletter