亚洲成年人黄色一级片,日本香港三级亚洲三级,黄色成人小视频,国产青草视频,国产一区二区久久精品,91在线免费公开视频,成年轻人网站色直接看

一種基于路徑的軟件實(shí)現(xiàn)與設(shè)計(jì)一致性驗(yàn)證方法及系統(tǒng)的制作方法技術(shù)資料下載

技術(shù)編號(hào):6631267

提示:您尚未登錄,請(qǐng)點(diǎn) 登 陸 后下載,如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊 ,登陸完成后,請(qǐng)刷新本頁查看技術(shù)詳細(xì)信息。

本發(fā)明涉及一種基于路徑的軟件實(shí)現(xiàn)與設(shè)計(jì)一致性驗(yàn)證方法及系統(tǒng),所述方法包括基于軟件設(shè)計(jì)說明書生成設(shè)計(jì)函數(shù)調(diào)用關(guān)系圖,根據(jù)設(shè)計(jì)函數(shù)調(diào)用關(guān)系圖生成設(shè)計(jì)函數(shù)調(diào)用路徑,再根據(jù)設(shè)計(jì)函數(shù)調(diào)用路徑建立被測軟件系統(tǒng)的設(shè)計(jì)功能簇模型;基于源代碼生成實(shí)際函數(shù)調(diào)用關(guān)系圖,根據(jù)實(shí)際函數(shù)調(diào)用關(guān)系圖生成實(shí)際函數(shù)調(diào)用路徑,并基于函數(shù)特征從源代碼中提取出函數(shù)功能回填到實(shí)際函數(shù)調(diào)用路徑中,再根據(jù)實(shí)際函數(shù)調(diào)用路徑建立被測軟件系統(tǒng)的實(shí)際功能簇模型;比較設(shè)計(jì)功能簇模型與實(shí)際功能簇模型,驗(yàn)證被測軟件...
注意:該技術(shù)已申請(qǐng)專利,請(qǐng)尊重研發(fā)人員的辛勤研發(fā)付出,在未取得專利權(quán)人授權(quán)前,僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進(jìn)行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán),增加技術(shù)思路,做技術(shù)知識(shí)儲(chǔ)備,不適合論文引用。
請(qǐng)注意,此類技術(shù)沒有源代碼,用于學(xué)習(xí)研究技術(shù)思路。

詳細(xì)技術(shù)文檔下載地址↓↓

提示:您尚未登錄,請(qǐng)點(diǎn) 登 陸 后下載,如果您還沒有賬戶請(qǐng)點(diǎn) 注 冊 ,登陸完成后,請(qǐng)刷新本頁查看技術(shù)詳細(xì)信息。
該分類下的技術(shù)專家--如需求助專家,請(qǐng)聯(lián)系客服
  • 李老師:1.計(jì)算力學(xué) 2.無損檢測
  • 畢老師:機(jī)構(gòu)動(dòng)力學(xué)與控制
  • 袁老師:1.計(jì)算機(jī)視覺 2.無線網(wǎng)絡(luò)及物聯(lián)網(wǎng)
  • 王老師:1.計(jì)算機(jī)網(wǎng)絡(luò)安全 2.計(jì)算機(jī)仿真技術(shù)
  • 王老師:1.網(wǎng)絡(luò)安全;物聯(lián)網(wǎng)安全 、大數(shù)據(jù)安全 2.安全態(tài)勢感知、輿情分析和控制 3.區(qū)塊鏈及應(yīng)用
  • 孫老師:1.機(jī)機(jī)器人技術(shù) 2.機(jī)器視覺 3.網(wǎng)絡(luò)控制系統(tǒng)
  • 葛老師:1.機(jī)器人技術(shù) 2.計(jì)算機(jī)輔助技術(shù)
  • 張老師:1.內(nèi)燃機(jī)燃燒及能效管理技術(shù) 2.計(jì)算機(jī)數(shù)據(jù)采集與智能算法 3.助航設(shè)備開發(fā)