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

1、在工業(yè)化生產(chǎn)規(guī)模的日益擴(kuò)大過程中，生產(chǎn)中凸顯的安全問題日益成為一個(gè)十分重要的問題。目前基本是通過安全分析的方法，對潛在安全隱患進(jìn)行測評(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、操作性、有效性和可控性。
　　 本文在汲取國內(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)一建模語言)建模技術(shù)來設(shè)計(jì)和描述系統(tǒng)，提出了一個(gè)模塊化、圖形化、層次化的軟件框架方案。然后根據(jù)系統(tǒng)需求，完成了功能模塊的開發(fā)，數(shù)據(jù)庫的設(shè)計(jì)和人機(jī)交互界面的設(shè)計(jì)。同時(shí)該軟件可以使用戶根據(jù)需要引入其他第三方輔助分析軟件，使得本軟件具有靈活性好、效率高、完備性高、可添加改進(jìn)措施、可對