Back-to-back Testing

Formal methods to control the compliance of software implementations

Anaïs Guignard Julien Niguez Nicolas Breton Vincent Pouzol

2022-11-08 11:21

Contents

Back-to-back testing (B2BT) techniques are used to verify that two products of a software development process are equivalent. By running the two products “back to back” on a set of test cases, it is verified that they produce the same output. If the scenarios are chosen carefully and the two runs produce the same results, it can be inferred that the two products are equivalent with some level of confidence.

On a marché avec la lune

Robert Cholay

2022-11-03 13:14

Contents

Dans le cadre d’un projet réalisé pour l’un de ses clients, Systerel a dû trouver et mettre en œuvre une solution permettant d’intégrer au sein d’une application Ada₂₀₁₂ un mécanisme permettant de modifier simplement et à la volée le comportement de cette dernière sans avoir à modifier et donc à recompiler le code Ada₂₀₁₂ mis en œuvre.