安全評(píng)價(jià)工程軟件的研究與開(kāi)發(fā).pdf

1、在工業(yè)化生產(chǎn)規(guī)模的日益擴(kuò)大過(guò)程中，生產(chǎn)中凸顯的安全問(wèn)題日益成為一個(gè)十分重要的問(wèn)題。目前基本是通過(guò)安全分析的方法，對(duì)潛在安全隱患進(jìn)行測(cè)評(píng)，提出解決方案。此類軟件可分為兩大類：一是項(xiàng)目管理類軟件，二是計(jì)算機(jī)自動(dòng)推理軟件。然而，管理軟件不具備自動(dòng)推理的功能，得到的結(jié)論也只是管理人員根據(jù)數(shù)據(jù)人工評(píng)價(jià)得出的結(jié)論。而計(jì)算機(jī)自動(dòng)安全評(píng)價(jià)推理軟件都難以保證結(jié)論的有效性和正確性。本文旨在綜合兩種軟件的功能，設(shè)計(jì)一套分析流程和軟件構(gòu)架，提升安全評(píng)價(jià)軟件的可

2、操作性、有效性和可控性。
　　 本文在汲取國(guó)內(nèi)外安全評(píng)價(jià)項(xiàng)目管理軟件和計(jì)算機(jī)自動(dòng)安全評(píng)價(jià)軟件經(jīng)驗(yàn)的基礎(chǔ)上，設(shè)計(jì)了一套分析流程及軟件架構(gòu)，首先使用UML(統(tǒng)一建模語(yǔ)言)建模技術(shù)來(lái)設(shè)計(jì)和描述系統(tǒng)，提出了一個(gè)模塊化、圖形化、層次化的軟件框架方案。然后根據(jù)系統(tǒng)需求，完成了功能模塊的開(kāi)發(fā)，數(shù)據(jù)庫(kù)的設(shè)計(jì)和人機(jī)交互界面的設(shè)計(jì)。同時(shí)該軟件可以使用戶根據(jù)需要引入其他第三方輔助分析軟件，使得本軟件具有靈活性好、效率高、完備性高、可添加改進(jìn)措施、可對(duì)