本發(fā)明提供一種自動(dòng)執(zhí)行控制類別審查的方法及裝置，主要涉及項(xiàng)目的評(píng)估與審查領(lǐng)域。具體地說(shuō)是涉及一種基于fog數(shù)據(jù)(具有獨(dú)立語(yǔ)義的最小數(shù)據(jù)單位)的控制類別審查方法及實(shí)現(xiàn)裝置。在本裝置中，對(duì)于已分配的審查任務(wù)(由審查項(xiàng)目責(zé)任人根據(jù)審查活動(dòng)分配得到)，任務(wù)執(zhí)行人利用本裝置自動(dòng)執(zhí)行控制類別審查工作，以避免通過(guò)人工執(zhí)行大量繁雜的審查工作以及帶來(lái)相應(yīng)的錯(cuò)漏，提高審查工作的效率。

背景技術(shù)：

針對(duì)高安全性相關(guān)系統(tǒng)，如民用航空、軌道交通、核電重工、醫(yī)療器械等，以及軍用系統(tǒng)，其所處領(lǐng)域的權(quán)威機(jī)構(gòu)或組織一般都會(huì)頒布相關(guān)標(biāo)準(zhǔn)，確保系統(tǒng)的安全性和可靠性要求得到保證。以民用航空領(lǐng)域?yàn)槔裼煤娇掌鞯倪m航管理，是以保障民用航空器的安全性為目標(biāo)，政府適航部門在制定了各種最低安全標(biāo)準(zhǔn)的基礎(chǔ)上，對(duì)民用航空器的設(shè)計(jì)、制造、使用和維修等環(huán)節(jié)進(jìn)行科學(xué)統(tǒng)一的審查、鑒定、監(jiān)督和管理。適航審查作為適航管理的一部分，是審查機(jī)構(gòu)通過(guò)審查系統(tǒng)的生命周期數(shù)據(jù)、項(xiàng)目過(guò)程和記錄，以及其它證據(jù)來(lái)評(píng)估項(xiàng)目與審查基礎(chǔ)目標(biāo)的符合性。在審查中，基于系統(tǒng)安全性評(píng)估過(guò)程決定的潛在失效條件的影響，軟件分為a～e五個(gè)軟件等級(jí)。不同的軟件等級(jí)，對(duì)軟件生命周期數(shù)據(jù)有不同的配置管理控制類別要求。確定軟件生命周期數(shù)據(jù)的配置管理符合相應(yīng)的控制類別要求是必須滿足的一項(xiàng)審查目標(biāo)。目前，控制類別的審查工作主要依靠人工檢查完成，缺乏自動(dòng)化工具的支持。

圖1展示了傳統(tǒng)的控制類別審查執(zhí)行裝置。審查項(xiàng)目責(zé)任人分配出審查任務(wù)，由任務(wù)執(zhí)行人完成控制類別的審查工作。傳統(tǒng)的控制類別審查執(zhí)行裝置一般包括以下幾個(gè)模塊：

審查任務(wù)接收模塊(tccm-01)，用于審查項(xiàng)目責(zé)任人根據(jù)審查活動(dòng)分配好控制類別審查任務(wù)，通知任務(wù)執(zhí)行人進(jìn)行審查工作；

審查資料維護(hù)模塊(tcfm)，用于審查資料的維護(hù)，包括審查工作與審查數(shù)據(jù)、審查目標(biāo)的關(guān)聯(lián)信息、審查數(shù)據(jù)與審查文檔的關(guān)聯(lián)信息、審查相關(guān)內(nèi)容。其中，審查相關(guān)內(nèi)容包括審查項(xiàng)目情況、審查工作內(nèi)容、審查反饋方式等?？刂祁悇e審查任務(wù)相關(guān)的審查資料由任務(wù)執(zhí)行人識(shí)別出來(lái)；

人工判斷控制類別模塊(tccm-02)，用于輔助任務(wù)執(zhí)行人根據(jù)審查項(xiàng)目情況以及審查目標(biāo)的關(guān)聯(lián)信息，人工識(shí)別出需要審查的所有審查數(shù)據(jù)，以及每個(gè)審查數(shù)據(jù)應(yīng)符合的控制類別；

人工審查控制類別模塊(tccm-03)，用于任務(wù)執(zhí)行人通過(guò)人工查看審查數(shù)據(jù)所關(guān)聯(lián)的所有配置管理記錄，包括基線對(duì)象、問(wèn)題報(bào)告、變更控制的追蹤信息、變更評(píng)審記錄、配置狀態(tài)統(tǒng)計(jì)及發(fā)布信息等，判斷審查數(shù)據(jù)是否滿足所對(duì)應(yīng)的控制類別的審查目標(biāo)；

反饋審查結(jié)果模塊(tccm-04)，任務(wù)執(zhí)行人根據(jù)審查反饋方式記錄每項(xiàng)審查數(shù)據(jù)的審查結(jié)果，維護(hù)審查工作以及對(duì)應(yīng)反饋信息，形成審查任務(wù)反饋資料集，并提交來(lái)完成審查任務(wù)。

現(xiàn)有的控制類別審查執(zhí)行技術(shù)，存在以下缺點(diǎn)：

1.審查數(shù)據(jù)的控制類別難維護(hù)：審查數(shù)據(jù)的控制類別由任務(wù)執(zhí)行人依據(jù)項(xiàng)目類型(系統(tǒng)、軟件或者硬件)和研制保證等級(jí)人工判斷。由于審查數(shù)據(jù)較多，不同控制類別的具體要求較復(fù)雜，人工判斷容易遺漏、出錯(cuò)；

2.審查任務(wù)執(zhí)行效率低：需要人工不斷地查找審查工作關(guān)聯(lián)的審查數(shù)據(jù)及審查文檔、審查目標(biāo)；

3.審查報(bào)告難生成：首先需要維護(hù)審查數(shù)據(jù)與控制類別每項(xiàng)目標(biāo)的關(guān)聯(lián)信息，然后審查反饋信息需要人工調(diào)整并整合到審查報(bào)告中，需要的舉證材料整理工作耗費(fèi)時(shí)間，而且容易錯(cuò)漏。

技術(shù)實(shí)現(xiàn)要素：

為了解決現(xiàn)存的控制類別審查執(zhí)行裝置存在的上述問(wèn)題，本發(fā)明提供一種基于fog數(shù)據(jù)的控制類別自動(dòng)化審查裝置。該裝置主要包括以下模塊：

審查工作管理模塊(ctm)，用于定義審查項(xiàng)目的信息，以及該審查項(xiàng)目的審查標(biāo)準(zhǔn)、審查數(shù)據(jù)、審查目標(biāo)等；

審查數(shù)據(jù)管理模塊(cdm)，用于管理審查項(xiàng)目的實(shí)際數(shù)據(jù)，上傳審查項(xiàng)目相關(guān)文檔以及研發(fā)過(guò)程數(shù)據(jù)庫(kù)，解析文檔和數(shù)據(jù)庫(kù)得到fog數(shù)據(jù)、并維護(hù)項(xiàng)目的fog數(shù)據(jù)；

審查任務(wù)生成模塊(ccr-01)，用于在每個(gè)階段審查任務(wù)開始執(zhí)行時(shí)，自動(dòng)判斷用戶上傳的每一項(xiàng)審查數(shù)據(jù)應(yīng)屬于的控制類別、生成該項(xiàng)審查數(shù)據(jù)對(duì)應(yīng)的審查任務(wù)集合tasklist，并設(shè)置審查任務(wù)的參數(shù)信息；

控制類別自動(dòng)審查模塊(ccr-02)，用于依次執(zhí)行ccr-01模塊生成的對(duì)應(yīng)于每一項(xiàng)審查數(shù)據(jù)的控制類別審查的任務(wù)列表tasklist中的每一項(xiàng)任務(wù)，自動(dòng)判斷用戶上傳的實(shí)際審查數(shù)據(jù)是否符合每項(xiàng)審查目標(biāo)并記錄判斷結(jié)果及判斷依據(jù)；

控制類別審查結(jié)果匯總模塊(ccr-03)，用于根據(jù)控制類別自動(dòng)審查模塊(ccr-02)記錄的判斷結(jié)果及判斷依據(jù)自動(dòng)生成控制類別的目標(biāo)符合矩陣，矩陣中記錄每個(gè)fog數(shù)據(jù)與對(duì)應(yīng)目標(biāo)的符合判斷結(jié)果以及不符合的依據(jù)，根據(jù)文檔模板生成匯總結(jié)果文檔，供用戶查看和導(dǎo)出。

審查任務(wù)提交模塊(ccr-04)：用于審查執(zhí)行人核查控制類別審查的匯總結(jié)果，確認(rèn)沒(méi)有問(wèn)題后提交控制類別審查任務(wù)，變更審查任務(wù)狀態(tài)為已完成。

與此對(duì)應(yīng)本發(fā)明還提供一種基于fog數(shù)據(jù)的控制類別自動(dòng)化審查方法，該方法通過(guò)上述控制類別審查裝置進(jìn)行控制類任務(wù)審查。

附圖說(shuō)明

圖1為傳統(tǒng)的控制類別審查執(zhí)行裝置；

圖2為本發(fā)明實(shí)現(xiàn)的控制類別審查自動(dòng)執(zhí)行裝置。

具體實(shí)施方式

為了使本發(fā)明所解決的技術(shù)問(wèn)題、技術(shù)方案以及有益效果更加清楚明白，以下結(jié)合附圖對(duì)本發(fā)明進(jìn)行進(jìn)一步詳細(xì)說(shuō)明。應(yīng)該理解，此處所描述的具體實(shí)施例僅僅用以解釋本發(fā)明，并不用于限定本發(fā)明。

參照附圖2，本發(fā)明的目的是提供一種自動(dòng)執(zhí)行控制類別審查的方法及裝置。在本裝置中，對(duì)于已分配的審查任務(wù)(由審查項(xiàng)目責(zé)任人根據(jù)審查活動(dòng)分配得到)，任務(wù)執(zhí)行人利用本裝置自動(dòng)執(zhí)行控制類別審查工作。該裝置包括：審查工作管理模塊(ctm)，審查數(shù)據(jù)管理模塊(cdm)，審查任務(wù)生成模塊(ccr-01)，控制類別自動(dòng)審查(ccr-02)，控制類別審查結(jié)果匯總模塊(ccr-03)，審查任務(wù)提交模塊(ccr-04)。

其中，審查工作管理模塊(ctm)，用于定義審查項(xiàng)目的信息，以及該審查項(xiàng)目的審查標(biāo)準(zhǔn)、審查數(shù)據(jù)、審查目標(biāo)等。

審查數(shù)據(jù)管理模塊(cdm)，用于管理審查項(xiàng)目的實(shí)際數(shù)據(jù)，上傳審查項(xiàng)目相關(guān)文檔以及研發(fā)過(guò)程數(shù)據(jù)庫(kù)，解析文檔和數(shù)據(jù)庫(kù)得到fog數(shù)據(jù)，并維護(hù)項(xiàng)目的fog數(shù)據(jù)。審查工作管理模塊(ctm)和審查數(shù)據(jù)管理模塊(cdm)為本裝置提供輸入數(shù)據(jù)。

ccr-01審查任務(wù)生成模塊：用于在每個(gè)階段審查任務(wù)開始執(zhí)行時(shí)，自動(dòng)判斷用戶上傳的每一項(xiàng)審查數(shù)據(jù)應(yīng)屬于的控制類別，生成審查任務(wù)集合并設(shè)置審查任務(wù)的參數(shù)信息。該模塊主要依據(jù)do-178b來(lái)設(shè)置審查任務(wù)的參數(shù)。審查任務(wù)的參數(shù)信息包括：控制類別、審查對(duì)象、審查目標(biāo)和審查人。

軟件項(xiàng)目研制保證等級(jí)分為a～e共5類，即：

軟件項(xiàng)目研制保證等級(jí)定義sl＝{l-a，l-b，l-c，l-d，l-e}；

軟件配置管理過(guò)程要實(shí)現(xiàn)的目標(biāo)主要包括：配置標(biāo)識(shí)(cid)，基線(baselines)，追溯性(traceability)，問(wèn)題報(bào)告(pr)，更改控制完整性和標(biāo)識(shí)(ccid)，更改控制跟蹤(cctracking)，更改評(píng)審(cr)，配置狀態(tài)統(tǒng)計(jì)(csc)，檢索(retrieval)，未授權(quán)變更保護(hù)(ucprotection)，介質(zhì)選擇刷新復(fù)制(msrd)，發(fā)布(release)，數(shù)據(jù)保存(dretention)。

控制類別分為cc0，cc1和cc2三類，即：

控制類別定義cc＝{cc0，cc1，cc2}；

控制類別cc0應(yīng)實(shí)現(xiàn)的目標(biāo)集合為空集即：

cc0-objs＝{}；

控制類別cc1應(yīng)實(shí)現(xiàn)的目標(biāo)集合為：

cc1-objs＝{cid，baselines,traceability，pr，ccid，cctracking，cr，

csc，retrieval，ucprotection，msrd，release，dretention}；

控制類別cc2應(yīng)實(shí)現(xiàn)的目標(biāo)集合為：

cc2-objs＝{cid，traceability，ccid，retrieval，ucprotection，dretention}；

審查任務(wù)的審查數(shù)據(jù)以及軟件項(xiàng)目研制保證等級(jí)在ctm中定義好后，作為ccr-01的輸入，ccr-01模塊根據(jù)表1自動(dòng)判斷用戶上傳審查數(shù)據(jù)應(yīng)屬于的控制類別，并生成審查任務(wù)集合。

表1：控制類別與數(shù)據(jù)類型、軟件項(xiàng)目研制保證等級(jí)關(guān)聯(lián)表

生成審查任務(wù)時(shí)，對(duì)于每一項(xiàng)審查數(shù)據(jù)，根據(jù)軟件等級(jí)，得出控制類別，即：

ccfunction(data，sl)＝cc

其中，邏輯處理函數(shù)ccfunction根據(jù)每一項(xiàng)審查數(shù)據(jù)data以及相應(yīng)的軟件等級(jí)sl得到相應(yīng)的控制類別。然后根據(jù)每一項(xiàng)審查數(shù)據(jù)對(duì)應(yīng)的控制類別，得到相應(yīng)的控制類別應(yīng)該實(shí)現(xiàn)的審查目標(biāo)合集，進(jìn)而生成每一項(xiàng)目標(biāo)的審查任務(wù)：

objsfunction(cc)＝cc-objs

其中邏輯處理函數(shù)objsfunction根據(jù)相應(yīng)的控制類別cc得出對(duì)應(yīng)的審查目標(biāo)集合；

reviewtaskfunction(data，obj)＝tasklist＝{task1，task2，……，taskn}

其中n＝num(cc-objs)，其中邏輯處理函數(shù)reviewtaskfunction將審查數(shù)據(jù)data中與每一項(xiàng)審查目標(biāo)obj對(duì)應(yīng)的審查數(shù)據(jù)進(jìn)行關(guān)聯(lián)產(chǎn)生審查任務(wù)task1，task2，……，taskn，并以審查任務(wù)列表tasklist進(jìn)行組織。

控制類別自動(dòng)審查模塊(ccr-02)：用于依次執(zhí)行ccr-01模塊生成的對(duì)應(yīng)于每一項(xiàng)審查數(shù)據(jù)的控制類別審查的任務(wù)列表tasklist中的每一項(xiàng)任務(wù)。如果所有的任務(wù)都為通過(guò)，則控制類別審查通過(guò)；如果有大于等于1項(xiàng)任務(wù)不通過(guò)，則控制類別審查不通過(guò)?？刂祁悇e自動(dòng)審查模塊根據(jù)cdm模塊解析得到的研發(fā)過(guò)程fog數(shù)據(jù)來(lái)實(shí)現(xiàn)自動(dòng)執(zhí)行。通過(guò)追蹤fog數(shù)據(jù)之間的聯(lián)系，用數(shù)學(xué)算法自動(dòng)判斷用戶上傳的實(shí)際審查數(shù)據(jù)是否符合每項(xiàng)審查目標(biāo)，并記錄判斷結(jié)果及判斷依據(jù)。

以a級(jí)軟件項(xiàng)目為例，某一軟件高級(jí)需求hlr1應(yīng)為控制類別cc1，控制類別cc1要求達(dá)到所有配置管理的目標(biāo)，一共有13項(xiàng)。這13項(xiàng)目標(biāo)的判斷方法如下：

a)配置標(biāo)識(shí)：hlr1為fog數(shù)據(jù)，參數(shù)信息中有id這一屬性，判斷id屬性不為空，而且編號(hào)符合配置標(biāo)識(shí)的正則表達(dá)式，則該項(xiàng)審查通過(guò)，否則為不通過(guò)。

b)基線：已有基線集合baselines＝{baseline-001,baseline-002，……，baseline-n}

對(duì)于任意基線items(bl)＝{item-001,item002,……,itemn}，其中item(bl)為基線對(duì)應(yīng)的項(xiàng)目名稱；如果hlr1出現(xiàn)在任一items的集合中，則認(rèn)為該項(xiàng)審查通過(guò)，否則為不通過(guò)。

c)追溯性：查找hlr1的變更歷史記錄，如果歷史記錄不為0，則認(rèn)為該項(xiàng)審查通過(guò)，否則為不通過(guò)。

d)問(wèn)題報(bào)告：任意問(wèn)題報(bào)告pr∈prs、其中prs為問(wèn)題報(bào)告集合，該pr修改的對(duì)象集items(pr)＝{item-001,item002,……,itemn}；如果則在hlr1變更歷史記錄中查找該pr的id，若找到的個(gè)數(shù)大于等于1，則該項(xiàng)審查通過(guò)，否則為不通過(guò)。

e)更改控制追蹤：對(duì)于任意更改控制追蹤記錄crs為更改控制追蹤記錄集,該cr修改的對(duì)象集items(cr)＝{item-001,item002,……,itemn}；如果則在hlr1變更歷史記錄中查找該cr的id，若找到的個(gè)數(shù)大于等于1，則該項(xiàng)審查通過(guò)，否則為不通過(guò)。

f)更改評(píng)審：查找變更控制表，每一項(xiàng)變更控制記錄都有一個(gè)評(píng)審?fù)ㄟ^(guò)屬性，檢查該屬性。如果所有變更控制記錄的該屬性都為通過(guò)，則該項(xiàng)審查通過(guò)，否則為不通過(guò)。

g)配置狀態(tài)統(tǒng)計(jì)：配置狀態(tài)統(tǒng)計(jì)為階段性任務(wù)，檢查每一次的配置狀態(tài)統(tǒng)計(jì)報(bào)告，在該報(bào)告的成員對(duì)象列表中查找hlr1的id，若找到的個(gè)數(shù)大于等于1，則該項(xiàng)審查通過(guò)，否則為不通過(guò)。

h)檢索：查找所有fog數(shù)據(jù)中hlr1的id出現(xiàn)次數(shù)，如果找到的個(gè)數(shù)大于等于1，則該項(xiàng)審查通過(guò)，否則為不通過(guò)。

i)未授權(quán)更改保護(hù)：hlr1的變更歷史記錄集records＝{record1,record2,……,recordn}，record為變更記錄項(xiàng)，在問(wèn)題報(bào)告表和變更控制表中查找該record，如果找到的個(gè)數(shù)大于等于1，則該項(xiàng)審查通過(guò)，否則為不通過(guò)。

j)介質(zhì)選擇刷新復(fù)制：hlr1的fog數(shù)據(jù)有存儲(chǔ)介質(zhì)這一屬性，檢查該屬性，如果不為空則審查通過(guò)，否則為不通過(guò)。

k)發(fā)布：檢查每一次的發(fā)布基線，在發(fā)布基線對(duì)象中查找hlr1的id，如果找到的個(gè)數(shù)大于等于1，則該項(xiàng)審查通過(guò)，否則為不通過(guò)。

l)數(shù)據(jù)保存：hlr1的fog數(shù)據(jù)有保存程序這一屬性，檢查該屬性，如果不為空則審查通過(guò)，否則為不通過(guò)。

控制類別結(jié)果匯總模塊(ccr-03)：用于根據(jù)控制類別自動(dòng)審查模塊(ccr-02)記錄的判斷結(jié)果及判斷依據(jù)自動(dòng)生成控制類別的目標(biāo)符合矩陣，矩陣中記錄每個(gè)fog數(shù)據(jù)與對(duì)應(yīng)目標(biāo)的符合判斷結(jié)果以及不符合的依據(jù)，根據(jù)文檔模板生成匯總結(jié)果文檔，供用戶查看和導(dǎo)出。

審查任務(wù)提交模塊(ccr-04)：用于在審查執(zhí)行人核查控制類別審查的匯總結(jié)果，確認(rèn)沒(méi)有問(wèn)題后提交控制類別審查任務(wù)，變更審查任務(wù)狀態(tài)為已完成。

本發(fā)明與現(xiàn)有技術(shù)相比，具有以下優(yōu)點(diǎn)：

1)能夠依據(jù)軟件等級(jí)和需要審查的審查數(shù)據(jù)類型，自動(dòng)識(shí)別該數(shù)據(jù)應(yīng)符合的控制類別以及適用的審查目標(biāo)，無(wú)需通過(guò)人工查閱各類標(biāo)準(zhǔn)和規(guī)定才能確認(rèn)需要審查的數(shù)據(jù)以及數(shù)據(jù)需要符合的目標(biāo)。

2)能自動(dòng)生成控制類別的審查任務(wù)，并自動(dòng)查找相關(guān)的fog數(shù)據(jù)，判斷審查數(shù)據(jù)是否符合審查目標(biāo)，避免人工操作時(shí)手動(dòng)翻閱大量文檔資料的繁瑣工作，避免了審查中的錯(cuò)漏。

3)以fog數(shù)據(jù)為單位進(jìn)行目標(biāo)符合性的判斷，更符合項(xiàng)目的實(shí)際研發(fā)過(guò)程，為判斷提供依據(jù)和便利。

4)能夠自動(dòng)收集和整理符合性證據(jù)，并生成目標(biāo)符合性矩陣和審查報(bào)告，提高審查工作的效率。