Blog
JUNE 2023

Blog post: Expect automation tool

In this article, we focus on the Tcl/Expect automation tool and more specifically on its Ada implementation through GNAT.Expect.

By using this tool, it is possible to easily control third-party applications through a mechanism of expected questions/answers (expect).

Blog
FEBRUARY 2023

Blog: Back-to-Back Testing

A new article has been published on the Systerel Blog!

It tells you everything about Back-to-Back Testing (B2BT), a process of automatic generation of tests based on modeling and formal methods, allowing to control compliance of software implementations

Blog
DECEMBER 2020

Blog: new article!

A new article is available on the blog: “Certificate trust chain validation in OPC UA”