Embedded Software Engineering Kongress:
Présentation d´une nouvelle interface graphique pour l´outil de mesure de complexité de code
(Sindelfingen, Allemagne, du 9 au 10 décembre 2009)
Environ 600 participants ont assistés à ce congrès dédié à l´ingénierie des systèmes embarqués.
Grâce à Verybench vous pouvez voir les métriques sous différentes formes. En effet Verybench génère différents types de graphiques pour développeurs, réviseurs, testeurs et managers.
Verybench sera bientôt disponible pour notre outil de couverture de test Testwell CTC++, qui mesure la couverture de test dans les plus petites cibles embarquées.
Nous avons aussi présenté lors de ce congrès notre générateur automatique de cas de test Conformiq Qtronic™ et notre outil d´analyse statique.
Page web ESE-Kongress
Présentations de Verifysoft à l´Ensisa et l´Université de Strasbourg
(Mulhouse, 30 novembre 2009 / Strasbourg, 4 décembre 2009)
Les présentations de Verifysoft ont sensibilisées sur les coûts des erreurs logicielles et sur les principes du test dans chaque étape du cycle de développement : test unitaire, test d´intégration et test de validation. Elles ont traitées des méthodes pour éviter un code trop complexe qui risque d´avoir trop d´erreur et ont proposées des nouvelles stratégies pour automatiser la génération de scripts de test.
Présentation
Programme académique
Host-Target add-on version 4.0 de Testwell CTC++ Test Coverage Analyser est disponible
(19 novembre 2009)
La version 4.0 simplifie la compilation et le traitement des DLLs.
Le host-target add-on mesure la couverture de test sur toutes les cibles embarquées.
Les clients ayant la maintenance peuvent télécharger cette nouvelle version gratuitement.
Verifysoft sponsorise la Journée Française des Tests Logiciels
Ce sponsoring accentue l´engagement qu´a notre société à faire connaître l´environnement des tests et à sensibiliser les acteurs du métier.
Plus d´informations peuvent être obtenues à la page Conférence du site du CFTL.
Testwell CTC++ for Symbian Target Devices add-on v4.0 disponible
(13 octobre 2009)
La nouvelle version 6.5.5 de l´outil de couverture de test Testwell CTC++ est disponible
(7 octobre 2009)
La version 6.5.5 traite les extentions de GCC d´une façon plus robuste. Testwell CTC++ pour Windows a une meilleure intégration pour Visual Studio (Express edition, Visual Studio 2010).
La nouvelle version propose de nombreuses autres améliorations et réparations de bugs (par exemple pour quelques cas d´utilisations extrêmes de C++ comme des librairies "boost C++").
Nos clients qui ont un contrat de maintenance en vigueur recevront la nouvelle version gracieusement.
Conformiq lance la première solution de design de test automatisé utilisant des systèmes multi-cœurs, parallèles et distribués
(Saratoga, Californie, 13 juillet 2009)
Conformiq Qtronic™ automatise le design de tests pour les logiciels et systèmes en générant des tests fonctionnels de boîte noire à partir de modèles de haut niveau sans intervention de l´utilisateur. Ces modèles peuvent être créés en une fraction de temps comparés à l´écriture manuelle des cas de test correspondants. De cette manière, la génération de test est au moins 20 fois plus rapide, et les aide à obtenir des tests d´une qualité supérieure mais aussi une meilleure couverture de test. Les évaluations des clients montrent que la génération de test est 5 fois plus rapide au début du déploiement de Conformiq Qtronic.
Conformiq Qtronic™ génère automatiquement des tests fonctionnels "boîte noire" en utilisant des algorithmes mathématiques à partir des modèles de systèmes exprimés en Java et UML. Les interfaces ouvertes de Conformiq Qtronic permettent aux clients d´intégrer l´outil à leurs propre plate-forme d´exécution de test.
Pour plus d´informations sur Conformiq Qtronic™
Daimler AG et QTronic GmbH ont montré l´utilisation de TestWeaver et Testwell CTC++
(Friedrichshafen, Allemagne, 1 juillet 2009)
Pour ce développement, les outils Silver et TestWeaver de QTronic GmbH (Berlin) sont utilisés. La couverture de test est effectué avec Testwell CTC++.
La présentation est disponible sur la page web de QTronic GmbH (présentation en anglais).
Actualités de Verifysoft disponible sur Twitter
Voici nos dernières nouvelles en date du 1 juillet:
- Trying to get a HTC Magic Today, look here http://bit.ly/mobiFlip :) about an hour ago
- Minor update of the Renesas add-on to v0.3 level. Added the nc30 compiler, works now with compiler given response files. about 5 hours ago
- Just released v0.2 of the CTC++ for Renesas add-on (nc308 compiler). Making code coverage the easy way for Renesas Controllers :) 2 days ago
- Putted the ancient, but still working CTC++ for Borland C++ 5.0.2 code coverage IDE integration in our attic download. Paradigm may work. 8 days ago
Testwell CTC++ montre la couverture de test pour TestWeaver
(Berlin, Offenburg, Tampere, 4 Juin 2009)
La couverture de code est montrée par Testwell CTC++ en usant divers rapports.
La combinaison des deux outils peut être utilisée pour développer des logiciels de contrôle, pour les applications du secteur automotive et aérospatial, pour les applications médicales et les systèmes embarqués. Les bénéfices pour les développeurs sont une haute couverture de test et une charge de travail plus faible pour les ingénieurs de test, les cas de test étant générés automatiquement.
TestWeaver est disponible chez QTronic GmbH Berlin.
Conformiq Qtronic™: Présentation à Software & Systemes Quality Conferences
(Düsseldorf/Allemagne, 27 Mai 2009)
Conformiq a présenté son outil phare Automated Test Design™ Conformiq Qtronic™.
Conformiq Qtronic™ utilise un modèle basé sur les exigences du système en tant que donnée entrante, pour générer automatiquement des scripts de test. Le design de test automatisé représente un changement de paradigme dans le design de test pour les logiciels et systèmes.
Les entreprises qui souhaitent franchir le pas dans le design de test sont invitées à nous contacter pour une présentation de Conformiq Qtronic™.
Verifysoft présente les avantages du test logiciel aux IUT de Lyon et de Colmar
(Lyon, 25 mai 2009 / Colmar, 4 juin 2009)
Le coût annuel de l´erreur logicielle (erreur de programmation) est estimé à 150 Milliards d´Euros en Europe selon une étude de l´Université de Kingston à Londres. Cette étude préconise comme solution d´améliorer le "savoir-faire" des développeurs. C´est pour cela que Verifysoft a décidé de lancer son programme académique afin de sensibiliser les futures générations de développeurs à la qualité du développement.
Dans le cadre de ce programme, les établissements scolaires spécilalisés dans l´enseignement informatique ont accès aux solutions proposées par Verifysoft à des tarifs très préférentiels et bénéficient également de l´accès à notre bibliothèque dédiée à la qualité logicielle.
La présentation donne des informations sur l´entreprise, le coût de l´erreur logiciel et la motivation pour y pallier, les outils de Verifysoft (mesure de complexité, couverture de code, génération automatique de cas de test, ...) et leur intervention au cours du cycle de développement, le programme académique ainsi que la bibliothèque en ligne.
Verifysoft met en ligne des études sur le thème de la qualité logiciel
(7 Mai 2009)
Après un enregistrement en ligne sur notre site internet, vous aurez accès à ses publications.
Les auteurs ayant des études intéressantes à savoir des rapports d´expérience, des comptes rendus de travaux pratiques ou encore des rapports d´outils logiciels peuvent rendre accessibles leurs publications sur notre bibliothèque dédiée à la qualité logiciel.
Verifysoft remercie les auteurs avec des livres.
Pour plus d´informations : bibliothèque dédiée à la qualité logiciel
Générateur automatique de cas de test Conformiq Qtronic™ 2.0.3 disponible
(21 Avril 2009)
Dans les grands projets de développement de logiciel, la production de cas de test était jusqu´ici fastidieuse et pénible à réaliser manuellement. Dès lors avec Conformiq Qtronic™, générateur automatique de cas de test basé sur Eclipse, générez vos cas de tests automatiquement, précisément et rapidement. Pour cela l´outil a besoin seulement d´un modèle de votre système en UML ou Java décrivant le fonctionnement attendu de votre logiciel. Cette modélisation permet un gain de temps important en comparaison aux anciennes méthodes. Les scripts de test peuvent être générés au choix en TTCN-3, TCL, Java, XML, C++ ou Python. Les tests seront ensuite exécutés dans votre environment habituel.
Conformiq Qtronic™ est un outil pour le test de "boîte noire". Il peut être utilisé pour tester n´importe quelles applications indépendamment du langage de programmation. Les champs d´application de Conformiq Qtronic™ sont les tests fonctionnels, les tests d´intégration, de système ou encore d´acceptance.
En savoir plus sur Conformiq Qtronic™
Testwell CTA++ C++ Test Aider version 3.0.6 disponible
(9 Mars 2009)
Testwell annonce la disponibilité d´une nouvelle version de Testwell CTA++. avec des améliorations suivantes: Les fichiers de données prend désormais en charge les expressions simples. Changement du comportement d´ASSERT_MEMEQ. Une correction d´un bug dans la gestion des fichiers de données. Nos clients sous maintenance recevront la nouvelle version gratuitement.
Embedded World 2009
(Nuremberg, 5 Mars 2009)
Trois visiteurs de notre stand ont gagné un séminaire de 2 jours sur les "Tests de Systèmes embarqués".
Ce séminaire est aussi disponible en intra-entreprise en anglais.
Contactez-nous pour plus d´informations.
Nouvelle version 6.5.4 de l´outil de couverture de test Testwell CTC++ disponible
(27 Février 2009)
Dans le cadre de la maintenance, nos clients vont obtenir la nouvelle version dans les prochains jours.
Conformiq obtient 3 millions d´euros pour le développement continu de son produit phare Conformiq Qtronic™
(13 Février 2009)
Le fincancement géré par Nexit Ventures vient principalement de "Finland´s industry investment Ltd." (Suomen Teollisuussijoitus Oy) et de différents investisseurs américains.
Conformiq a récemment transféré son siège exécutif à Saratoga en Californie pour mieux servir le marché américain, mais conserve le développement des produits à Espoo en Finlande.
Conformiq est spécialisé dans le "model-based testing". Conformiq Qtronic™ est un outil pour la conception automatique des tests fonctionnels qui sont dérivés d´un modèle fonctionnel de vos logiciels ou de vos systèmes à tester. Ce modèle de conception doit être conçu en Java ou en UML. L´outil génère et exécute donc les tests automatiquement sans que vous ayez à les écrire manuellement.
La toute nouvelle version de Conformiq Qtronic™ inclut un frontal basé sur Eclipse ("Eclipse-based front end").
Beaucoup d´outils pour le "model based testing" (MBT) vous obligent à enregistrer des scripts de test à un haut niveau d´abstraction. Conformiq utilise une approche plus avancée, qui se concentre sur la modélisation des exigences et du comportement attendu du système testé. ce modèle sert ensuite à la génération automatique de cas de test. Pourquoi écrire les tests quand ils peuvent être écrits pour vous ?
Conformiq Qtronic™ peut tester n´importe quelle application, sans se soucier du langage.
"Au lieu de vous concentrer sur la définition des tests, vous regardez les spécifications et vous créez un modèle fonctionnel pour que l´outil crée des scripts de test à votre place" dit A.K. Kalekos, PDG de Conformiq. "Cette approche permet d´économiser du temps et de l´argent."
En savoir plus sur Conformiq Qtronic™
Verifysoft Technology lance son programme académique
(3 Fevrier 2009)
Dans le cadre de ce programme nous proposons l´équipement de vos laboratoires ou encore salles de classes en France, Belgique, Suisse, Luxembourg par nos outils Testwell CTC++, Testwell CMT++/CMTJava, Testwell CTC++ for Java and C#.
Ces licences possèdent les même fonctionnalités que celles proposées aux professionnels.
Ce programme académique permet l´utilisation des outils dans un but de recherche pédagogique non commerciale.
Plus d´informations
Conformiq Qtronic™ 2.0 disponible
(23 Janvier 2009)
Conformiq Qtronic™ dispose maintenant d´un architecture "serveur-client". Le "Conformiq Qtronic™ Computational Server" est un puissant moteur de génération de test, alors que Conformiq Qtronic™ Client est un module d´extension basé sur Eclipse.
Voici un résumé des changements majeurs:
- Séparation de l´espace de travail de l´utilisateur et de la génération de test en deux composants distincts, Conformiq Qtronic™ Computational Server (QCS) et Conformiq Qtronic™ Eclipse Client (QEC).
- Remodélisation de l´espace de l´utilisateur de Conformiq Qtronic™ en module d´extension Eclipse, le rendant disponible aux diverses plate formes telles que Linux, Windows et Solaris (liées à la disponibilité d´Eclipse).
- Plusieurs configurations et profiles pour le design des tests. Chaque configuration de conception de test a son propre critère de couverture et sa propre sélection de formats de scripts.
- Génération incrémentale de cas de test avec la nomination de cas de test local.
- Meilleur prise en main des critères de couverture.
- Capacité à parcourir et analyser les cas de test générés à partir de l´interface utilisateur en incluant I/O graphique et la trace d´exécution (pas besoin d´exporter de plan de test HTML).
- L´API peut maintenant être developpé en Java, ce qui facilite le développement de nouveaux modules d´extension.
- Le support pour le test en ligne est actuellement uniquement supporté par la famille de produits Conformiq Conformiq Qtronic™ 1.X, et sera étendu à la famille de produits 2.X dans le futur.
Nouvelle version de l´ outil de mesure de complexité Testwell CMTJava disponible
(9 Janvier 2009)
Le "long report" de CMTJava est maintenant généré au format XML. Celui-ci offre de nouvelles possibilités d´intégration des "tool chains".
Il y a également d´autres améliorations de l´outil CMTJava et du rapport HTML.
Nos clients qui bénéficient du service de maintenance recevront la nouvelle version sans frais supplémentaires.
Testwell CTC++ : Couverture de test sur microcontrolleurs et cartes graphiques
(6 janvier 2009)
Comparé à la couverture de code habituelle le bitcov-add-on nécessite 40 fois moins de mémoire RAM.
Avec CUDA add-on il est désormais possible d´analyser la couverture de test sur des cartes graphiques Nvidia et ATI.
Testwell CTC++ est l´outil phare pour la couverture de test (C, C++, Java et C#). Il mesure tous les niveaux de couverture jusqu´au niveau C3 (couverture de condition multiple/multiple condition coverage). L´outil répond ainsi aux exigences des normes de qualité dans les industries aéronautique, medicale et automotive.
Verifysoft annonce une nouvelle interface graphique pour Testwell CMT++
(Offenbourg, 5 janvier 2009)
Verybench génère des sorties en formats texte, HTML, XML, CSV et PDF.
L´outil sera disponible dès février 2009.
Verifysoft propose des formations sur le test des systèmes embarqués
(2 janvier 2009)
Ces formations de deux jours seront conduites en anglais par Daniel Fischer (docteur en informatique et professor/chercheur à l´Université des Sciences Appliquées à Offenbourg, Allemagne).
Avant ses recherches sur la qualité des systèmes embarqués, Pr Fischer était responsable pour la qualité de logiciels dans plusieurs sociétés, dont Hewlett Packard et Heidelberger Druck.
La formation "Testing of Embedded Systems" fournit toutes les compétences essentielles pour tester de maniére efficace des logiciels embarqués.
Pour plus d´information n´hésitez pas à nous contacter.
Agenda (pdf, 119 KO)