Séminaire Public et gratuit: Vérifiez et validez vos applications en toute sérénité

Toulouse - LAAS
21 Février 2017 - du 08:45 au 12:30

Nous vous invitons à notre séminaire d’une demi-journée au cours duquel un ingénieur Mathworks vous présentera l’état de l’art, des techniques et bonnes pratiques, pour tester et vérifier votre code C/C++ et/ou vos modèles Simulink en utilisant la dernière version de nos outils.

Vérifiez et validez vos applications en toute sérénité

S’inscrire

Points forts :

Au travers de la présentation dispensée, vous verrez comment :

  • Tester simplement et exhaustivement vos modèles Simulink
  • Détecter des erreurs non triviales via l’analyse statique de votre Code
  • Prouver formellement l’absence d’erreurs d’exécution

Résumé :

La première partie de la présentation se concentrera sur les techniques de simulation pour vérifier vos modèles Simulink et/ou le code C/C++. Nous tenterons de répondre aux questions suivantes :

  • Comment puis-je tester et déboguer mon système de manière interactive ?
  • Comment effectuer des tests réactifs sur mon système ?
  • Mon système répond-il aux exigences de conception ?
  • Comment puis-je mesurer la couverture des tests pour mon système ?
  • L'algorithme a fonctionné la semaine dernière... fonctionne-t-il encore ?
  • Un autre ingénieur a modifié l'algorithme... est-ce toujours correct ?
  • Le comportement de code généré correspond-il au modèle ?

La deuxième partie portera sur la manière dont les techniques de vérification formelle vous permettent de tester de manière exhaustive votre conception et d'améliorer ainsi la qualité et la robustesse de vos modèles et/ou de votre code C/C++. Nous tenterons de répondre aux questions suivantes :

  • Comment puis-je trouver rapidement s'il y a du code non atteignable (logique morte) ou d'autres erreurs dans ma conception ?
  • Comment puis-je tester tous les chemins et toutes les conditions dans ma conception, c'est-à-dire obtenir une couverture de test de 100 % ?
  • Comment puis-je prouver que ma conception satisfait aux exigences ?
  • Comment puis-je prouver l'absence d'erreurs d'exécution dans mon code C/C++ ? 

Réservez votre place dès maintenant 

Contact: Martin BROCHET - Account Manager chez MathWorks