[發(fā)明專利]一種星載嵌入式實(shí)時(shí)多任務(wù)軟件的可測(cè)試性設(shè)計(jì)方法

無效

• 申請(qǐng)?zhí)枺?/td>: 200910216990.1
• 申請(qǐng)日: 2009-12-31
• 公開（公告）號(hào): CN102163171A
• 公開（公告）日: 2011-08-24
• 發(fā)明（設(shè)計(jì)）人: 王磊;袁利;楊潔;張志;余志鴻;曹榮向;張晉
• 申請(qǐng)（專利權(quán)）人: 北京控制工程研究所
• 主分類號(hào): G06F11/36
• 分類號(hào): G06F11/36
• 代理公司: 核工業(yè)專利中心 11007
• 代理人: 高尚梅

1.一種星載嵌入式實(shí)時(shí)多任務(wù)軟件的可測(cè)試性設(shè)計(jì)方法，其特征在于，該方法包括如下步驟：

1)進(jìn)行需求分析；

a.進(jìn)行測(cè)試需求分析；

b.確定測(cè)試點(diǎn)；

2)設(shè)置狀態(tài)執(zhí)行點(diǎn)，使?fàn)顟B(tài)執(zhí)行點(diǎn)與測(cè)試點(diǎn)對(duì)應(yīng)；

3)根據(jù)狀態(tài)執(zhí)行點(diǎn)數(shù)量定義狀態(tài)整數(shù)；

4)分析一個(gè)遙測(cè)周期內(nèi)最大可能被記錄的狀態(tài)執(zhí)行點(diǎn)數(shù)量，以確定全局狀態(tài)數(shù)組的元素容量，根據(jù)元素容量定義全局狀態(tài)數(shù)組；

5)定義互斥信號(hào)量；

6)對(duì)每個(gè)狀態(tài)執(zhí)行點(diǎn)進(jìn)行狀態(tài)記錄，生成狀態(tài)流；

7)將全局狀態(tài)數(shù)組通過遙測(cè)打包傳回地面；

2.如權(quán)利要求1所述的星載嵌入式實(shí)時(shí)多任務(wù)軟件的可測(cè)試性設(shè)計(jì)方法，其特征在于：所述的步驟6)按如下步驟進(jìn)行

a)獲取互斥信號(hào)量；

b)刪除全局狀態(tài)數(shù)組的第一個(gè)元素；

c)將第二個(gè)元素的數(shù)值拷貝到第一個(gè)元素，依次拷貝，直到空出最后一個(gè)元素；

d)將當(dāng)前狀態(tài)寫入最后一個(gè)元素；

e)釋放互斥信號(hào)量。

3.如權(quán)利要求1或2所述的星載嵌入式實(shí)時(shí)多任務(wù)軟件的可測(cè)試性設(shè)計(jì)方法，其特征在于：所述的步驟7)按如下步驟進(jìn)行

a)獲取互斥信號(hào)量；

b)拷貝全局狀態(tài)數(shù)組到遙測(cè)數(shù)據(jù)包；

c)將全局狀態(tài)數(shù)組的每一個(gè)元素置為保留整數(shù)，以清除狀態(tài)；

d)釋放信號(hào)量。