一种星载嵌入式实时多任务软件的可测试性设计方法

摘要

本发明涉及航天软件可测试性设计技术领域，具体公开了一种星载嵌入式实时多任务软件的可测试性设计方法，通过星载软件内建状态流编码，将软件测试时的测试点明确地用星载软件内部地状态执行点表达，可保证测试覆盖性；不需要插桩测试，简化了测试过程，不需要另外配备测试硬件，简化了测试设备；不仅可用于地面的软件测试过程，也可用于在轨运行时进行故障诊断。

主权项

一种星载嵌入式实时多任务软件的可测试性设计方法，其特征在于，该方法包括如下步骤：1)进行需求分析；a.进行测试需求分析；b.确定测试点；2)设置状态执行点，使状态执行点与测试点对应；3)根据状态执行点数量定义状态整数；4)分析一个遥测周期内最大可能被记录的状态执行点数量，以确定全局状态数组的元素容量，根据元素容量定义全局状态数组；5)定义互斥信号量；6)对每个状态执行点进行状态记录，生成状态流；7)将全局状态数组通过遥测打包传回地面；