High Confidence Development Technology of Application Software for GNC Subsystem of Chang’E-5

Abstract

Facing to the high-safety and high-reliability mission requirement，the high-complexity and high-autonomy function requirement，and the high-real-time and strong-sequential performance requirement of mission Chang’E-5，this paper researches the high confidence develop technology of the application software for GNC Subsystem of Chang’E-5. During the requirement analysis，the sequential safety attribute is added to the formal modeling and verification language，which avoids the requirement duality. In phase of design and coding，program slicing is extracted based on the mission profile，which is used in the source code fault localization，comparing to the manual work，the normalization and correctness of source code is improved. The test case auto generate method base on state chart and sequence diagram is researched，and a Full-Automatic Spacecraft software Testing suite is established for the massive test case，the test coverage and efficiency is obviously improved.

Key words： Chang’E-5; GNC subsystem; application software; high confidence

References

[1] 沈国华,黄志球,谢冰,等. 软件可信评估研究综述:标准、模型与工具[J]. 软件学报,2016,27(4):955-968
SHEN G H,HUANG Z Q,XIE B,et al. Survey on software trustworthiness evaluation:standards,models and tools[J]. Journal of Software,2016,27(4):955-968
[2] 何熊文,郭坚,李玉庆,等. 深空探测器自主监控管理需求及其软件架构[J]. 控制理论与应用,2019,36(12):2065-2073
HE X W,GUO J,LI Y Q,et al. Autonomous health management requirements and software architecture for deep space probe[J]. Acta Automatica Sinica,2019,36(12):2065-2073
[3] 韩勇. 基于VxWorks的深空探测器姿轨控系统软件设计[D]. 哈尔滨：哈尔滨工业大学，2008.
HAN Y. The software of attitude and orbit control system ofdeep space probe based on VxWorks design[D]. Harbin：Harbin Institute of Technology，2008.
[4] 姜啸,徐瑞,朱圣英. 基于约束可满足的深空探测任务规划方法研究[J]. 深空探测学报(中英文),2018,5(3):262-268
JIANG X,XU R,ZHU S Y. Research on task planning problems for deep space exploration based on constraint satisfaction[J]. Journal of Deep Space Exploration,2018,5(3):262-268
[5] 姜啸,徐瑞,陈俐均. 深空探测器动态约束规划中的外延约束过滤方法研究[J]. 深空探测学报(中英文),2019,6(6):586-594
JIANG X,XU R,CHEN L J. Research on extensional constraint filtering method based on dynamic constraint sets[J]. Journal of Deep Space Exploration,2019,6(6):586-594
[6] 金颢,徐瑞,崔平远,等. 基于状态转移图的启发式深空探测器任务规划方法[J]. 深空探测学报(中英文),2019,6(4):364-368
JIN H,XU R,CUI P Y,et al. Heuristic search based on state transition graphs for deep space task planning[J]. Journal of Deep Space Exploration,2019,6(4):364-368
[7] 中国人民解放军总装备部. GJB 5000A-2008，军用软件研制能力成熟度模型[S]. 北京：总装备部军标发行部，2008.
[8] 顾斌,董云卫,王政. 面向航天嵌入式软件的形式化建模方法[J]. 软件学报,2015,26(2):321-331
GU B,DONG Y W,WANG Z. Formal modeling approach for aerospace embedded software[J]. Journal of Software,2015,26(2):321-331
[9] 谭彦亮,杨桦,乔磊. 基于Event-B的SpaceOS2操作系统任务管理需求设计形式化建模与验证[J]. 空间控制技术与应用,2014,4(40):57-62
TAN Y L,YANG H,QIAO L. Formal modeling and verification method of task management requirement for SpaceOS2 based on Event-B[J]. Aerospace Control and Application,2014,4(40):57-62
[10] 周育逵,杨桦,乔磊. 基于Event-B的中断管理需求和设计形式化建模与验证方法[J]. 空间控制技术与应用,2017,3(43):71-78
ZHOU Y K,YANG H,QIAO L. Formal modeling and verification method of interrupt management requirement and design based on event-B[J]. Aerospace Control and Application,2017,3(43):71-78
[11] 李雷,陈朝晖,董晓刚,等. 基于聚类分析的软件多故障定位技术[J]. 空间控制技术与应用,2019,45(5):55-62
LI L,CHEN Z H,DONG X G,et al. Software multi-fault location technology base on cluster analysis[J]. Aerospace Control and Application,2019,45(5):55-62
[12] 李雷,陈朝晖,李轶,等. 软件故障定位技术研究综述[J]. 计算机测量与控制,2019,27(5):1-8
LI L,CHEN Z H,LI Y,et al. Overview of software fault localization technology[J]. Computer Measurement & Control,2019,27(5):1-8
[13] 李雷. 基于聚类分析的软件多故障定位技术研究[D]. 北京：中国空间技术研究院，2019.
LI L. Software multi-fault localization based on clustering analysis[D]. Beijing ：China Academy of Space Technology，2019.
[14] 王同磊. 基于程序切片的软件脆弱性自动定位技术研究[D]. 北京：中国空间技术研究院，2017.
WANG T L. Software vulnerability localization based on program slicing[D]. Beijing：China Academy of Space Technology，2017.
[15] YANG Z,XIAO M Q,HU B,et al. Development of foreign automatic test language for aviation[J]. Computer Measurement & Control,2013,21(4):833-842
[16] 张玉花,梅海,赵晨,等. 嫦娥五号轨道器的创新与实践[J]. 上海航天(中英文),2020,37(6):1-10
ZHANG Y H,MEI H,ZHAO C,et al. Innovation and practice of Chang'e-5 orbiter[J]. Aerospace Shanghai,2020,37(6):1-10
[17] 张丽芸,蒲戈光,王政,等. 一种面向控制软件需求分析的方法[J]. 计算机应用研究,2013,30(2):465-468
ZHANG L Y,PU G G,WANG Z,et al. Analysis method of control system requirement[J]. Application Research of Computers,2013,30(2):465-468
[18] WEISER M. Program slicing[C]//Proceedings of ICSE’81： the 5th International Conference on Software Engineering. San Diego，CA,，USA： ICSE， 1981.
[19] IEEE Standard Coordinating Committee. ATLAS 2000，ATLAS 2000 Introductory Guide Rev B[S]. USA：IEEE，1997.
[20] WU L J,JIAN Y,ZHANG K,et al. Technology about GUI test script based on python[J]. Computer Measurement & Control,2015,23(10):3330-3337
[21] 古天龙. 软件开发的形式化方法[M]. 北京：高等教育出版社，2005.