The project goal is to select and pre-qualify a mathematical library (criticaly category B) for its use in Space applications (Flight Software, AOCS/GNC and scientific algorithms). The role of CS ROMANIA was to specify, develop and qualify a test suite for validation of the mathematical library. The test suite allows run of user-defined tests (unit and validation tests) in host environment or target environment (Leon2 and Leon4 – based boards from Gaisler, EDISOFT’s RTEMS as OS). The test suite is used to pre-qualify the mathematical library for its use in on-board software and deliver test documentation and reports. Between important features of the test suite are the ability to produce coverage on target based on gcc instrumentation and gcov and the ability to run accuracy tests on ranges and compare with pre-defined reference values.