Blog
Février 2023

Blog Systerel : Back-to-Back Testing 

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.

Blog
Janvier 2023

Article : Ada2012 associé au langage Lua

Dans cet article, nous nous penchons sur un cas pratique pour lequel nous avons décidé d’associer Ada2012 au langage de script Lua.

En effet, bien que le langage Ada présente de nombreux avantages, il peut parfois s’avérer mal adapté à un problème donné. De son côté, grâce à son API C riche et à l’efficacité de son implémentation, le langage Lua peut être facilement embarqué au sein d’autres langages.