航天型号非嵌入式软件调试验证可视化技术研究

Visualized Debugging and Verification Technique for Non-embedded Software in Space Projects

目的针对航天型号非嵌入式软件在调试验证中的设计问题,研究其可视化技术。方法参考GraphML和ATML标准,使用XML模式定义测试描述语言,用于将可视化的测试设计保存为测试描述文件;定义测试程序模板,封装通用硬件接口的操作并定义了测试程序的基本框架;设计翻译程序,逐步解析测试描述文件并根据测试程序模板,生成测试程序。结果设计了具有通用接口和可视化设计界面的通用测试平台。该平台不仅可用于设计测试程序,对目标系统进行测试,而且可用于构建一个模拟程序,与其他系统进行协同测试。结论可视化测试平台可以简化航天型号软件的测试设计,并能提高测试效率。

Objective To solve the design problems in debugging and verifying the non-embedded software in space projects, its visualization technique was studied. Methods According to GraphML and ATML standards, the description language was defined with XML mode so as to save the designs into description files. Then a program template was defined which encapsulated the operations of the interface cards. At the same time, the basic framework of the program was also defined. Finally, a translation program was designed to generate the testing program according to the description files as well as the template. Results A test platform with general interface and visualized design interface was realized. It can not only be used in program system test, but also be used to construct a simulation program to coordinate with other This platform can simplify the test design of the non-embedded software in space projects test efficiency.