Follow us on
|
Nos informations sur les nouvelles versions etc. sont disponibles 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
|
|
(Berlin, Offenburg, Tampere, 4 Juin 2009)
Testwell CTC++ outil de couverture de test et TestWeaver travaillent aujourd´hui ensemble.
TestWeaver génère et exécute des milliers de cas de test,
pendant que Testwell CTC++ mesure automatiquement la couverture de code atteinte.
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.
|
|
|
|
(Düsseldorf/Allemagne, 27 Mai 2009)
Les directeurs de la qualité logicielle et la communauté des tests logiciels se sont réunis pour la quatorzième fois en 2009 à la
Software & Systems Quality Conference Germany à Düsseldorf.
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™.
Photo: Klaus Lambertz et Frank Erdrich (Verifysoft) avec un client devant le stand de Conformiq
Publication en accord avec SQS Software Quality Systems AG
|
|
|
(Lyon, 25 mai 2009 / Colmar, 4 juin 2009)
Dans le cadre du lancement de son
programme académique,
Verifysoft a réalisé
des interventions à l´IUT (Institut Universitaire de Technologie) de Lyon
et à l´IUT de Colmar (Alsace)
sur les principes, techniques et outils de test pour
la qualité des logiciels.
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.
![[PDF]](icon-pdf-15x16.gif)
Présentation (pdf, 1,2 MO)
|
|
(7 Mai 2009)
Verifysoft Technology propose dès lors un nouveau service gratuit destiné aux développeurs logiciel,
responsables de qualité ou encore de tests logiciels.
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
|
|
|
(21 Avril 2009)
|
La nouvelle version de Conformiq Qtronic™ (2.0.3) est dès lors disponible et téléchargeable.
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™
|
(9 Mars 2009)
Testwell announces the availability of a new version of
Testwell CTA++.
The new version has Small enhancements:
In data files now supporting simple expressions.
Change in ASSERT_MEMEQ behavior.
One bug fix in data file handling.
Our maintenance customers will receive the new version free of charge.
|
|
|
(Nuremberg, 5 Mars 2009)
Au "Embedded World", Verifysoft Technology a présenté
ses outils pour le développement de logiciels embarqués:
Testwell CTC++ Analyse de couverture de test,
Testwell CMT++ Outil de mesure de complexité,
Conformiq Qtronic™
(Générateur automatique de cas de test pour tests fonctionnels), et
Coverity Prevent, un outil d´analyse
statique du code.
Coverity Prevent a gagné le Prix "Embedded World"
(categorie software).
Prevent est le principal outil d´analyse statique pour
la détection d´erreurs dans les logiciels.
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.
|
(27 Février 2009)
Testwell annonce la disponibilité d´une nouvelle version de
Testwell CTC++.
Cette version 6.5.4 reçoit de nombreuses améliorations, telles que le support pour le test du code 64 octets
sur toutes les "CTC++"-plateformes (Windows, Linux, Solaris et HP-UX) et une meilleure solution pour obtenir des données de
couverture pour des processus indéterminables.
Dans le cadre de la maintenance, nos clients vont obtenir la nouvelle version dans les prochains jours.
|
(13 Février 2009)
Malgré un climat économique difficile, Conformiq obtient 3 millions d´euros
pour investir dans le développement continu de son produit phare Conformiq Qtronic™.
|
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™
|
|
(3 Fevrier 2009)
Dans une optique de sensibilisation des étudiants à la nécessité de l´utilisation d´outils de test pour logiciel,
Verifysoft Technology propose son programme Académique.
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++,
CMT++,
CMTJava,
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.
Pour plus d´informations : Programme Académique Verifysoft
|
|
(23 Janvier 2009)
Conformiq a annoncé la sortie de Conformiq Qtronic™ 2.0, l´outil phare pour la génération automatique pour le test de boîte noire.
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.
(9 Janvier 2009)
La version 2.2 de l´ outil de mesure de complexité Testwell CMTJava
est désormais disponible.
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.
(6 janvier 2009)
Verifysoft Technology a développé un produit supplémentaire (bitcov-add-on) pour l´outil de couverture de test Testwell CTC++
permettant la mesure de couverture de test sur des microcontrolleurs et des très petites cibles.
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.
|
(Offenbourg, 5 janvier 2009)
Verifysoft annonce Verybench, une nouvelle interface graphique pour l´outil de mesure de complexité Testwell CMT++
avec différentes présentations de métriques pour développeurs, réviseurs, testeurs et le management.
Verybench génère des sorties en formats texte, HTML, XML, CSV et PDF.
L´outil sera disponible dès février 2009.
|
(2 janvier 2009)
Notre formation sur le test des systèmes
embarqués est désormais disponible comme formation intra
entreprise pour des sociétés françaises.
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)
Actualités de l´année :
2008,
2007,
2006,
2005,
2004,
2003
last updated: 02.07.2009
© 2009 Verifysoft Technology GmbH
© photos: Verifysoft Technology GmbH, exept:
news of 03.02.09 Stephen Coburn Fotolia.com,
and news of 27.05.2009 SQS Software Quality Systems AG
all company and event logos are © and the property of their respective owners
CTA++, CTC++, CMT++ and CMTJava are products of Testwell Oy, Tampere (Finland)
Conformiq Qtronic™ is a product and a trademark of Conformiq Inc., Saratoga (USA)
Coverity Prevent, Coverity Extend and Coverity Architecture Analyzer are products and trademarks of Coverity Inc., San Francisco (USA)
TestWeaver is a product of QTronic GmbH, Berlin (Germany)
all other trademarks of this site are the property of their respective owners.
|
![[English]](flaggeUK.jpg){kind=small}
![[Deutsch]](flaggeD.jpg){kind=small}
