LDRA’s software tool suite will be used to analyse complex safety applications on board China’s manned spacecraft, Tiangong 1, as part of the Chinese manned spacecraft programme (CMSP).

Tiangong 1 is a Chinese space station that is being developed by the China National Space Administration.

The CMSP aims to carry out space rendezvous and docking experiments, guarantee the working and living conditions of taikonauts and to ensure their safety during short-term parking orbits.

The software testing suite will enable CSMP to check programming standards to the Chinese military standard, undertake and automate unit tests, analyse code coverage and verify object code for the critical systems in the spacecraft.

The suite also features a LDRA testbed that exercises the code, performing quality and design reviews on the source code.