基于規(guī)則的機(jī)載軟件驗(yàn)證活動(dòng)專家系統(tǒng)生成方法.pdf

1、近年來,隨著我國航空航天業(yè)的快速發(fā)展,機(jī)載軟件的產(chǎn)業(yè)規(guī)模迅速擴(kuò)大;嵌入式機(jī)載軟件的開發(fā)和驗(yàn)證正逐漸成為工業(yè)界、學(xué)術(shù)界的研究熱點(diǎn)。當(dāng)前,機(jī)載軟件要進(jìn)入國際市場,就必須通過機(jī)載軟件適航認(rèn)證標(biāo)準(zhǔn)DO-178C的認(rèn)證。在DO-178C規(guī)定的認(rèn)證活動(dòng)中,驗(yàn)證活動(dòng)的工作占到60％以上。機(jī)載軟件的認(rèn)證、驗(yàn)收,需要相關(guān)專家進(jìn)行多次檢查、審核,并提出具體的整改要求,直至機(jī)載軟件達(dá)到認(rèn)證標(biāo)準(zhǔn)。這個(gè)認(rèn)證過程通常需要耗費(fèi)大量的人力、物力和時(shí)間。
　　本文

2、在對(duì)DO-178C認(rèn)證標(biāo)準(zhǔn)要求的驗(yàn)證活動(dòng)進(jìn)行分析研究后,將通過Prolog程序構(gòu)建基于規(guī)則的專家系統(tǒng),并將它應(yīng)用到機(jī)載軟件驗(yàn)證的測試和分析活動(dòng)中。用擅長文本處理和正則表達(dá)式的Perl直接生成Prolog專家系統(tǒng),方便了該專家系統(tǒng)的后期維護(hù)和實(shí)時(shí)更新。在驗(yàn)證活動(dòng)的測試階段,通過Perl腳本生成基于規(guī)則的Prolog專家系統(tǒng),實(shí)現(xiàn)了驗(yàn)證活動(dòng)規(guī)定的需求追溯。在分析活動(dòng)中,引入故障模式和影響分析法(FMEA)專家系統(tǒng),生成基于規(guī)則的FMEA樹搜

3、索Prolog專家系統(tǒng),以實(shí)現(xiàn)對(duì)軟件失效模式的查詢和全面跟蹤記錄。
　　將由Prolog構(gòu)造的專家系統(tǒng)使用在機(jī)載軟件的開發(fā)過程中,能對(duì)機(jī)載軟件需求進(jìn)行實(shí)時(shí)追溯,以滿足DO-178C對(duì)需求追溯的要求,并使得機(jī)載軟件項(xiàng)目的相關(guān)負(fù)責(zé)人及時(shí)掌握軟件開發(fā)過程中的變更需求或特定需求的狀態(tài)和覆蓋情況。通過采用Prolog的FMEA專家系統(tǒng)來進(jìn)行驗(yàn)證的分析活動(dòng),可以定位出具體的失效模式和危害等級(jí),為機(jī)載軟件項(xiàng)目的后續(xù)任務(wù)提供經(jīng)驗(yàn)總結(jié)和處理措施。從