Program interpreter AutoTestDFB beta
- The purpose of project is developing customized program interpreter AutoTestDFB for automatic software components testing of the railway microprocessor systems.
Static code analysis is one of the requirements of functional safety and testing procedures are of great importance to ensure the quality of safety-critical software.Specialized program interpreter AutoTestDFB is based on the method of static testing and performs a variety of tests on software – command analysis, processing and execution of a given source code, and the parameters visualization during testing, etc. and used to simplify debugging source code. In this context, we provide a powerful tool for testing software for microprocessor systems of the railway industry. Static analysis tool detects safety-relevant errors in PLC code, as well as detects semantic units of language in the program source code, finds the operators in sections, positions of key macro commands, the sequence order analysis, and their correctness, as well as writes data into the relevant database.Program interpreter AutoTestDFB conforms to regulations IEC 62279:2002, EN 50128, and Ukrainian state standard ДСТУ 4178-2003 and dedicated for safety-critical systems in the railway industry.