Actualités 2008
(18 décembre 2008)
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.
(28 novembre 2008)
La version 3.0.5 de Testwell CTA++ C++ Test Aider (outil de test unitaire) est désormais disponible pour Windows, Linux, Solaris et HPUX.
La structure de code de CTA++ a été modifiée afin d´éviter des "warnings" obsolètes de certains nouveaux compilateurs. Il y a plusieurs autres améliorations.
Nos clients qui bénéficient de la maintenance recevront la nouvelle version gratuitement.
|
(Offenbourg, 24 novembre 2008)
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.
|
|
| (Offenbourg, 11 Septembre 2008)
Au cours d´un séminaire à Offenbourg (Allemagne) Conformiq Software et Verifysoft Technology ont montré les avantages de "l´Automated Test Design™" tels que la conception de tests plus rapide, une qualité de tests supérieure, une meilleure couverture de test, une maintenance de cas de test plus facile et la possibilité de réutiliser les tests.
Les deux sociétés ont présenté Conformiq Qtronic™, l´outil leader pour la génération automatique de tests.
Des spécialistes affirment que les sociétés vont profiter de "l´Automated Test Design™" pour tester des logiciels et systèmes d´une manière plus efficace dans l´avenir.
N´hésitez pas à nous contacter pour obtenir une présentation de cette technologie de pointe dans vos locaux.
Le prochain séminaire (en langue anglaise) aura lieu jeudi 26 mars 2009 au parc technologique d´Offenbourg. |
(5 Septembre 2008)
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.
![[PDF]](icon-pdf-15x16.gif) Agenda (pdf, 119 KO)
(4 Juillet 2008)
La nouvelle version de Testwell CTC++ propose des amélioratons suivantes:
Meilleur instrumentation pour la couverture de condition multiple, CTC++ préprocesseur (ctc) beaucoup plus rapide, fonctionne à présent avec extention C++/CLI "for each" de Microsoft, intégration dans l´environment d´Eclipse sous Windows, etc.
|
Verifysoft organise un séminaire portant sur le "Model Based Testing".
Notre partenaire et spécialiste Finlandais Conformiq Software, vous présentera sa solution phare dans le domaine de l´automatisation de cas de test : Conformiq Qtronic™.
Rejoignez-nous le 11 Septembre 2008: Salle de Conférence, Technologiepark Offenbourg (Allemagne) situé à 25 km de Strasbourg.
Langue: Anglais
En savoir plus
|  | |
|
(4 Juin 2008)
Notre nouvelle brochure vous informant sur le générateur automatique de test Conformiq Qtronic™, nos outils pour l´analyse static, la couverture de test et pour le test unitaire, est désormais disponible.
Liens de téléchargement:
Français English Deutsch |
(4 avril 2008)
La version 1.3 de Conformiq Qtronic™, générateur automatique de cas de test, est désormais disponible.
Conformiq Qtronic™ 1.3 a maintenant un algorithme qui permet la génération incrémentale de cas de test. Les cas de test sont concervés pour une utilisation future. Lors de la modification du modèle il n´est plus nécessaire de régénérer des cas de test pour des parties qui restent inchangées.
La performance et la qualité liées à la génération de cas de test ont été améliorés.
Pour de plus amples informations sur Conformiq Qtronic™, l´outil de référence en matière de "model based testing", consultez les pages web de Conformiq Qtronic™.
(18 mars 2008)
La version 3.0.4 de l´outil de test unitaire Testwell CTA++ (C++ Test Aider) est désormais disponible pour Windows, Linux, Solaris et HPUX.
CTA++ propose de nouvelles intégrations dans les environnements de développement Visual C++ 8.0 et Visual C++ 9.0.
La "CTA++ run-time library" ainsi que les modules "ctastub" et "cta2html" ont été améliorés.
(14 mars 2008)
Une nouvelle version de l´outil de couverture de test CTC++ pour des cibles Symbian (version 3.2) est disponible. Cette version vous permet de travailler aussi avec les compilateurs croisés GCCE. Jusqu´à présent RVCT était le seul compilateur croisé supporté. Les améliorations techniques apportés à CTC++ pour Symbian le rendent encore plus efficace.
|
Verifysoft Technology sponsorise la Journée Française des Tests Logiciels organisée par Le Comité Français des Tests Logiciels (CFTL).
Le CFTL propose le 17 Juin 2008 une Journée Française des Tests Logiciels dans un souci de permettre aux acteurs du métier de partager leurs savoir-faire, d´échanger et de développer leurs connaissances.
La Journée Française des Tests de Logiciels aura lieu à l´Espace CAP15, quai de Grenelle, 75015 Paris, le 17 Juin 2008.
Programme et inscription
Plus d´informations peuvent être obtenues à la page Conférence du site du CFTL. |
(15 Février 2008)
CTC++ Test Coverage Analyzer 6.5 de Testwell permet désormais d´obtenir des rapports en XML et améliore ceux en HTML. Le support pour "parallel ctc-builds" a été également amélioré.
Nos clients bénéficiant d´une maintenance receveront CTC++ 6.5 sans frais supplémentaires.
(11 Janvier 2008)
Conformiq Qtronic™ version 1.2, la solution pour la Génération automatique de cas de tests est maintenant disponible.
Voici les nouveautés dans Conformiq Qtronic™ 1.2 :
- Importation de modèles depuis Sparx Systems Enterprise Architect.
- La fonctionnalité "Model Debugging" a été intégré aux modes "Online Testing" et "Script Generation"
- Nouveau "Windows installer" basé sur l´open-source Nullsoft Scriptable Install System.
- Ajout d´un nouveau scripter pour générer des scripts de tests en language TCL.
- Les générateurs de scripts TTCN-3 et HTML ont été étendu.
- Conformiq Qtronic™ et le Modeler Conformiq Qtronic™ sont désormais plus facile d´utilisation.
(4 Janvier 2008)
Verifysoft a étendu le champ d´application de l´add-on "CTC++ for Java and C# Add-on" aux languages de programmation J#/Visual J#/JSharp.
"CTC++ for Java and C# Add-on" est une extension de l´outil de couverture de test Testwell CTC++ Test Coverage Analyzer for C and C++.
La nouvelle version de "CTC++ for Java and C# Add-on" permet, tout comme l´outil CTC++, la mesure de la couverture de test pour tout les niveaux de couverture : decision, condition-/branch- et multicondtion coverage jusqu´aux niveaux les plus complexes : modified condition/decision coverage.
Le nouvel add-on rend possible la vérification de la qualité des codes dans le développement de projets critiques en C, C++, Java, C# mais aussi désormais pour ceux écrits en J#/Visual J#/JSharp.
J#/Visual J#/JSharp est un language de programmation développé par Microsoft orienté objet pour l´environnement d´éxecution .NET.
Actualités de l´année : 2011, 2010, 2009, 2008, 2007, 2006, 2005, 2004, 2003
last updated: 10 Jan 2012
© 2007-2009 Verifysoft Technology GmbH
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)
all other trademarks of this site are the property of their respective owners. |
![[English]](flaggeUK.jpg){kind=small}
![[Deutsch]](flaggeD.jpg){kind=small}
