1. Yuan, L., Wang, L.: Methods for spaceborne software testability. China Space Sci. Technol. 30(4), 31–37 (2010)
2. Cai, Y., Xi, K., Li, L.: General software architecture for dynamics simulation environment of aerospace. Space Control Technol. App. 43(3), 67–70 (2017)
3. Fu, X., Gu, B.: Component technology research for AOCS software. Aerosp. Control. 27(1), 67–69 (2009)
4. Li, Y., Li, L., Guo, M., Wang, T., Zhang, G., Li, X.: High trust development technology of GNC application software for Chang e-5 probe. J. Deep Space Explor. 8(3), 244–251 (2022)
5. Ha, Q., Liu, D., Shen, X., Liu, L.: Test case generation of aerospace software based on modeling requirements. Optics Precis. Eng. 24(5), 1185–1196 (2016)