Couverture de test sur microcontrolleurs et cartes graphiques
(18 décembre 2008)
Comparé à la couverture de code habituelle le bitcov-add-on nécessite 40 fois moins de mémoire RAM.
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.
L´outil de test unitaire Testwell CTA++ version 3.0.5 disponible
(28 novembre 2008)
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.
Verifysoft annonce une nouvelle interface graphique pour Testwell CMT++
(Offenbourg, 24 novembre 2008)
Verybench génère des sorties en formats texte, HTML, XML, CSV et PDF.
L´outil sera disponible dès février 2009.
Conformiq Software et Verifysoft ont montré les avantages de "l´Automated Test Design™"
(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, 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.
Verifysoft propose des formations sur le test des systèmes embarqués
(5 Septembre 2008)
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)
Testwell CTC++ Analyse de la couverture de code : nouvelle version 6.5.3 disponible
(4 Juillet 2008)
- Meilleur instrumentation pour la couverture de condition multiple
- Testwell 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.
Seminaire "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
Nouvelle brochure Verifysoft disponible
(4 Juin 2008)
Liens de téléchargement:
Français
English
Deutsch
Génération automatique de cas de test: Conformiq Qtronic™ 1.3 disponible
(4 avril 2008)
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™.
Nouvelle version 3.0.4 de Testwell CTA++ (test unitaire) disponible
(18 mars 2008)
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.
Couverture de test: Lancement de "CTC++ for Symbian Target Devices add-on v3.3"
(14 mars 2008)
Verifysoft sponsorise la Journée Française des Tests Logiciels
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.
Couverture de Test : Nouvelle version 6.5 de Testwell CTC++ maintenant disponible
(15 Février 2008)
Nos clients bénéficiant d´une maintenance receveront CTC++ 6.5 sans frais supplémentaires.
Génération automatique de cas de tests : Sortie du nouveau Conformiq Qtronic™ 1.2
(11 Janvier 2008)
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.
Verifysoft rend possible la couverture de code pour J#/Visual et J#/JSharp
(4 Janvier 2008)
"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.