本發(fā)明公開(kāi)了一種針對(duì)工控系統(tǒng)防危性的驗(yàn)證方法。防危性由風(fēng)險(xiǎn)來(lái)量化，風(fēng)險(xiǎn)被定義為：風(fēng)險(xiǎn)＝失效概率*事故代價(jià)。一個(gè)工控系統(tǒng)要建立防危機(jī)制，那么就必須有用于失效概率、事故代價(jià)級(jí)別和風(fēng)險(xiǎn)級(jí)別的標(biāo)準(zhǔn)。我們參照工業(yè)標(biāo)準(zhǔn)，制定了工控系統(tǒng)的防危級(jí)別。本發(fā)明公開(kāi)的防危性驗(yàn)證方法，首先要確定其防危性指標(biāo)，采用(pa，c)表示軟件的防危性指標(biāo)；然后確定工控系統(tǒng)的關(guān)鍵運(yùn)行，利用防危性分析對(duì)可能導(dǎo)致災(zāi)難性事故的危險(xiǎn)進(jìn)行分析識(shí)別，再利用故障樹(shù)分析得到安全關(guān)鍵運(yùn)行，采用重要性取樣原理增加關(guān)鍵運(yùn)行的概率；根據(jù)防危性指標(biāo)可以得出驗(yàn)證所需的測(cè)試用例量；最后針對(duì)每個(gè)關(guān)鍵運(yùn)行設(shè)計(jì)測(cè)試用例。