[发明专利]一种星载嵌入式实时多任务软件的可测试性设计方法

权利要求书

1.一种星载嵌入式实时多任务软件的可测试性设计方法，其特征在于，该方法包括如下步骤：

1)进行需求分析；

a.进行测试需求分析；

b.确定测试点；

2)设置状态执行点，使状态执行点与测试点对应；

3)根据状态执行点数量定义状态整数；

4)分析一个遥测周期内最大可能被记录的状态执行点数量，以确定全局状态数组的元素容量，根据元素容量定义全局状态数组；

5)定义互斥信号量；

6)对每个状态执行点进行状态记录，生成状态流；

7)将全局状态数组通过遥测打包传回地面；

2.如权利要求1所述的星载嵌入式实时多任务软件的可测试性设计方法，其特征在于：所述的步骤6)按如下步骤进行

a)获取互斥信号量；

b)删除全局状态数组的第一个元素；

c)将第二个元素的数值拷贝到第一个元素，依次拷贝，直到空出最后一个元素；

d)将当前状态写入最后一个元素；

e)释放互斥信号量。

3.如权利要求1或2所述的星载嵌入式实时多任务软件的可测试性设计方法，其特征在于：所述的步骤7)按如下步骤进行

a)获取互斥信号量；

b)拷贝全局状态数组到遥测数据包；

c)将全局状态数组的每一个元素置为保留整数，以清除状态；

d)释放信号量。