作　　者： ; ;

机构地区： 洛阳理工学院数理部

出　　处： 《微计算机信息》 2010年第13期49-50,共2页

摘　　要： 设计了导航卫星数管仿真系统,实现对数管软件功能的验证、可靠性测试、并能注入异常检验程序用于测试系统的鲁棒性。基于指令解释器完成对程序的解释执行,通过总线管理器实现对外部接口模块的仿真调度。提供GUI的集成开发调试环境,配有完整的测试数据库和测试工具链。显著提高二代导航卫星数管软件的可靠性,缩短研发周期和研发成本。 To design the simulation system of satellite housekeeping, and also to inject the robustness of unconventionality test program for which realize the test of the validation and reliability of function of housekeeping software. Housekeeping simulation system is based on instruction interpreter to complete interpretability of program. To be finished simulation scheduling of external device interface module by Bus management. It is provided GUI integrated development environment for debugging, and equipped with complete test data base and test tool chain. Significantly increase the reliability of the satellite housekeeping software, shorten the cycle and costs of research and development.

关 键 词： 导航卫星 仿真平台 软件验证

领　　域： [自动化与计算机技术] [自动化与计算机技术]