论文部分内容阅读
设计了导航卫星数管仿真系统,实现对数管软件功能的验证、可靠性测试、并能注入异常检验程序用于测试系统的鲁棒性。基于指令解释器完成对程序的解释执行,通过总线管理器实现对外部接口模块的仿真调度。提供GUI的集成开发调试环境,配有完整的测试数据库和测试工具链。显著提高二代导航卫星数管软件的可靠性,缩短研发周期和研发成本。