You are here
Automatic Test Generation and Non-Regression Test System
SAGENOR (the automatic system for generating tests and non-regression testing) is used to validate the parameters of a device to test.
Alstom needed a new process to validate the parameters used to automate both data entry in the SAGENOR Type database and its instantiation, as part of its program to develop next-generation computerized switching stations (PAI-NG). The project set up a new series of validation and verification tools based on comparisons. The comparison is used to identify both missing items and extra items in order to check the integrity and compliance of these parameters.
Validating the parameters of the SLOK 2006 application is a two-step process:
- Validating parameters by comparing the technical drawings (TD), the principles applied, and the configuration files
- Testing the entire system and special cases by running test scenarios
Subsequent SAGENOR modules perform the validation by comparison. This comparison is carried out by a single entry of the TDs and common test tables, in a specific order:
- SAGENOR Type: automatically creates the Type database using the applied principles
- SAGENOR Instantiation: automatically loads and uses data resulting from the TDs
- SAGENOR Generation: runs standard scenarios and makes instances available to SAGENOR Comparison
- SAGENOR Comparison: validates parameters by comparing SAGENOR Generation with the configuration files, and comparing the principles applied with the configuration files
A target environment simulator called SIM ENV runs the scenarios for both overall and specific application tests.
The SNCF provides the TDs in SQL Server databases called ISPTs. These drawings can then be supplemented manually by Alstom, in which case they are called “enhanced” ISPTs.
Codra has worked with Alstom for over 10 years to help them develop SAGENOR, and to perform both corrective and evolutive maintenance.