logo

Actualit�s 2008

Couverture de test sur microcontrolleurs et cartes graphiques

(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.
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 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.

Verifysoft propose des formations sur le test des systèmes embarqués

(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.
 Agenda (pdf, 119 KO)

Testwell CTC++ Analyse de la couverture de code : nouvelle version 6.5.3 disponible

(4 Juillet 2008)

La nouvelle version de Testwell CTC++ propose des amélioratons suivantes:
  • 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.

Génération automatique de cas de test: Conformiq Qtronic™ 1.3 disponible

(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™.

Nouvelle version 3.0.4 de Testwell CTA++ (test unitaire) disponible

(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.

Couverture de test: Lancement de "CTC++ for Symbian Target Devices add-on v3.3"

(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.

Couverture de Test : Nouvelle version 6.5 de Testwell CTC++ maintenant disponible

(15 Février 2008)

CTC++ Test Coverage Analyzer 6.5 de Testwell permet désormais d´obtenir des rapports enXML 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.

Génération automatique de cas de tests : Sortie du nouveau Conformiq Qtronic™ 1.2

(11 Janvier 2008)

Conformiq Qtronic™ version 1.2, la solution pour la Génération automatique de cas de testsest 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.

Verifysoft rend possible la couverture de code pour J#/Visual et J#/JSharp

(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.