Un nouvel article vient d’être publié sur le Blog Systerel !

Il vous dit tout (ou presque) sur le Back-to-Back Testing (B2BT), un procédé de génération automatique de tests basé sur de la modélisation et des méthodes formelles, permettant de maîtriser la conformité des implémentations logicielles.

Dans cet article, nous développons les principes du Back-to-Back Testing et de la génération des séquences de test. Puis, nous examinons deux cas d’utilisation en milieu industriel : une première collaboration réussie avec EDF et un projet de conception de postes d’aiguillage pour tramway.

L’intégralité de notre article est disponible ici.

N’hésitez pas à laisser un commentaire si ce sujet vous intéresse. Bonne lecture !