武器裝備系統(tǒng)測(cè)試過(guò)程建模與管理系統(tǒng)研究.pdf

1、本文針對(duì)武器裝備測(cè)試的需求展開(kāi)研究工作。武器裝備在裝備到部隊(duì)之前要經(jīng)過(guò)長(zhǎng)時(shí)間反復(fù)、嚴(yán)格的性能測(cè)試和實(shí)驗(yàn)，以確保武器裝備的穩(wěn)定性和可靠性。對(duì)武器裝備進(jìn)行測(cè)試要先確定各測(cè)試單元的測(cè)試順序并形成測(cè)試流程，然后根據(jù)測(cè)試流程實(shí)現(xiàn)對(duì)武器裝備的測(cè)試管理。
　　Petri網(wǎng)建模是目前比較成熟的建模方法，本文選用Petri網(wǎng)作為武器裝備測(cè)試過(guò)程的建模工具。jBPM(Java Business Process Management)是一種基于J2EE

2、的輕量級(jí)開(kāi)源工作流管理系統(tǒng)，它能夠很方便地與J2EE系統(tǒng)相集成。對(duì)武器裝備測(cè)試過(guò)程管理進(jìn)行研究時(shí)，本文選用jBPM作為工作流管理系統(tǒng)的引擎。在處理武器裝備測(cè)試過(guò)程中的仿真與協(xié)同測(cè)試問(wèn)題時(shí)，將SOA(Service-Oriented Architecture)架構(gòu)引入到武器裝備測(cè)試管理系統(tǒng)中，研究SOA架構(gòu)與 BPM集成的方法，并將武器裝備的測(cè)試單元封裝為測(cè)試仿真服務(wù)，從而可以使用該服務(wù)來(lái)模擬真實(shí)的測(cè)試過(guò)程。
　　本文首先使用Pet

3、ri網(wǎng)建模工具建立武器裝備測(cè)試過(guò)程模型，然后使用Petri網(wǎng)的分析優(yōu)化理論，對(duì)測(cè)試過(guò)程模型進(jìn)行優(yōu)化，并以測(cè)試時(shí)間最短為目標(biāo)，根據(jù)Petri網(wǎng)的時(shí)間性能分析理論，選取最優(yōu)測(cè)試過(guò)程模型。通過(guò)Petri網(wǎng)的合理性驗(yàn)證條件，使用可達(dá)樹(shù)和化簡(jiǎn)方法對(duì)最優(yōu)測(cè)試過(guò)程模型進(jìn)行驗(yàn)證。為了將使用Petri網(wǎng)技術(shù)建立的模型使用工作流技術(shù)進(jìn)行管理，本文研究了Petri網(wǎng)模型到工作流模型的轉(zhuǎn)換規(guī)則，并提出由工作流模型到j(luò)BPM流程定義文件的生成算法。最后使用SSH