非確定性分布系統(tǒng)測試方法工具的研究

2005年

應用技術(shù)

成果簡介

該項目的特點是針對系統(tǒng)的分布式非確定性，用petri網(wǎng)的方法給出系統(tǒng)模型并建立結(jié)構(gòu)化的測試方法，自動生成測試序列，研制測試平臺和工具軟件。具體創(chuàng)新點：（1）提出了LOTOS說明的Petri網(wǎng)模型，并給出從基本LOTOS表達式到Petri的轉(zhuǎn)化規(guī)則，這種方法的特點是引入了一種變遷與LOTOS的操作符相對應，這樣一個LOTOS說明和轉(zhuǎn)換的Petri網(wǎng)之間是同構(gòu)的。在轉(zhuǎn)換方法上采用結(jié)構(gòu)化的方法。（2）測...

相關(guān)成果

1. 非確定性分布式系統(tǒng)的測試方法和工具的研究
2. 分布式系統(tǒng)輔助開發(fā)工具包
3. 大型分布式協(xié)作系統(tǒng)開發(fā)工具與環(huán)境
4. 分布式電動工具綜合性能試驗系統(tǒng)
5. 分布式非投入型虛擬地理環(huán)境系統(tǒng)
6. 超聲波非集流流量測試方法研究
7. 單晶爐三維熱場分布全自動測試系統(tǒng)及其測試方法
8. 高速時鐘分布電路自動設計工具
9. 內(nèi)嵌非易失存儲器的系統(tǒng)集成芯片的安全測試方法
10. HSK工具系統(tǒng)的力學模型的研究
12. 數(shù)控工具系統(tǒng)—7:24工具錐柄系列
13. 建筑場地孔隙水壓力測試方法、分布規(guī)律及其對建筑地基影響的研究
14. 開目CAPP工具系統(tǒng)
15. 基于知識的數(shù)字化工藝設計技術(shù)與網(wǎng)絡分布式CAPP工具系統(tǒng)
16. 作業(yè)機械手、工具及工具庫系統(tǒng)
17. 自動測試方法和系統(tǒng)
18. 不確定性系統(tǒng)預測理論與方法研究
19. 一種電弧弧根電流密度分布測試方法及裝置
20. 預應力錨桿軸向應力分布光纖傳感器測試方法研究

精品福利一区二区三区免费视-精品福利一区二区三区免费视频-精品福利一区二区在线观看-精品高潮呻吟99AV无码-精品高潮呻吟AV久久无码-精品高精欧美囯产日韩一区

非確定性分布系統(tǒng)測試方法工具的研究

標簽云

猜您想要的成果

相關(guān)專家

相關(guān)機構(gòu)


	選擇導出文檔的格式關(guān)閉 PDF PDF RTF(word文檔) TXT(純文本)


	提示信息關(guān)閉發(fā)送短信成功


	提示信息關(guān)閉發(fā)送短信失敗


	提示信息關(guān)閉發(fā)送郵件失敗


	提示信息關(guān)閉郵件發(fā)送成功