Verimag will develop a new technology prototype tool for automatic functional testing of synchronous programs, and will assist other partners in using this tool. The generation of the test sequence can be done together with the test itself, and the diagnostic (which detects whether the test "passes" or not). Then the detailed diagnostic should be performed using a debugger leading to important cost savings in the validation stages by the users making ASDE even more attractive for a wider range of users.
The Lurette prototype has been reimplemented. It has been used by Hispano-Suiza and Renault. Lurette helped Hispano-Suiza in finding several bugs. Some of them were found in code certified by the validation team.
Synchronous Team members involved
— Erwan Jahier
— Nicolas Halbwachs
— Pascal Raymond
— Yvan Roux