Compratio AB - Test Automation Solutions for Control Systems

Meet COMPLETEST

COMPLETEST provides software developers a way of automatically creating tests that could find critical software faults. This can be used in real-time applications for industrial control systems such as PLCs using IEC 61131-3 software, as in factories, networks, trains, or airplanes, where thorough software testing is required.

COMPLETEST leverages the most innovative, sophisticated model checking techniques to help engineers automatically find suitable input stimuli to their software that are normally difficult to create, if not practically impossible to find manually. Based on more than a decade of research, development and testing of industrial systems, COMPLETEST analysis engine applies multiple analysis techniques to automatically generate tests.

COMPLETEST can create abstract models of the code that are used to fulfil several coverage goals with accuracy and precision.