2012年 基礎(chǔ)理論
“基于驗(yàn)證與測(cè)試協(xié)同的網(wǎng)絡(luò)軟件可信性確認(rèn)方法”基于形式化、自動(dòng)化和模型驅(qū)動(dòng)等技術(shù)來(lái)研究網(wǎng)絡(luò)軟件系統(tǒng)的形式驗(yàn)證和一致性測(cè)試協(xié)同問(wèn)題，旨在保證網(wǎng)絡(luò)軟件系統(tǒng)的可信運(yùn)行。
該項(xiàng)成果中的創(chuàng)新性研究?jī)?nèi)容包括：(1)基于著色Petri網(wǎng)模型(CP-nets)的軟件系統(tǒng)模型的建立與驗(yàn)證方法，融合動(dòng)態(tài)模擬、行為分析、功能驗(yàn)證等多種CP-nets模型分析技術(shù)的模型集成確認(rèn)方法，能夠有效確認(rèn)... 
|
微信公眾號(hào)
服務(wù)熱線
微信公眾號(hào)
服務(wù)熱線
