本文選題：計(jì)算機(jī)軟件 + 軟件保護(hù)�。� 參考：《吉林大學(xué)學(xué)報(bào)(工學(xué)版)》2017年06期

【摘要】：研究了基于數(shù)據(jù)流切片的軟件特征,為軟件識別提供一種新的算法和評判系統(tǒng)。給出與算法相關(guān)的定義,如數(shù)據(jù)流、關(guān)系拓?fù)渑判蚝拖嗨贫缺容^等。詳述了算法的關(guān)鍵步驟,包括數(shù)據(jù)依賴關(guān)系、數(shù)據(jù)依賴圖的構(gòu)成與化簡、關(guān)系拓?fù)渑判虻冗^程。最后,實(shí)現(xiàn)了算法和數(shù)據(jù)流軟件特征評判系統(tǒng)。系統(tǒng)實(shí)現(xiàn)和實(shí)驗(yàn)分析證明該研究數(shù)據(jù)分析和理論推導(dǎo)相互驗(yàn)證,對推進(jìn)基于特征的軟件識別研究具有重要的理論和現(xiàn)實(shí)意義。
[Abstract]:The software features based on data stream slicing are studied, and a new algorithm and evaluation system for software recognition is provided. The definitions related to the algorithm are given, such as data flow, relational topology sorting and similarity comparison. The key steps of the algorithm are detailed, including data dependence, the composition and simplification of the dependence graph, the ranking of the relation topology and so on. Finally, the algorithm and data flow software feature evaluation system are implemented. The system implementation and experimental analysis prove that the research data analysis and theoretical deduction are mutually validated. It is of great theoretical and practical significance to promote the research of feature based software recognition.
【作者單位】： 西安財(cái)經(jīng)學(xué)院信息學(xué)院;中國(西安)絲綢之路研究院;
【基金】：陜西省科技廳自然科學(xué)基金項(xiàng)目(2014JM2-6100) 陜西省教育廳科研計(jì)劃項(xiàng)目(15JK1274) 西安市2017年社會(huì)科學(xué)規(guī)劃基金項(xiàng)目(17J08) 西安財(cái)經(jīng)學(xué)院科研計(jì)劃項(xiàng)目(16FCJH02)
【分類號】：TP311.5

【相似文獻(xiàn)】

相關(guān)期刊論文 前10條

1 胡艷麗;張維明;羅旭輝;肖衛(wèi)東;湯大權(quán);;基于數(shù)據(jù)依賴的數(shù)據(jù)修復(fù)研究進(jìn)展[J];計(jì)算機(jī)科學(xué);2009年10期

2 高念書，張兆慶，，喬如良;實(shí)用數(shù)據(jù)依賴分析方法[J];計(jì)算機(jī)學(xué)報(bào);1995年04期

3 丁婧;董廣智;田勇;柳軍飛;;基于數(shù)據(jù)依賴的過程合理性分析[J];計(jì)算機(jī)應(yīng)用與軟件;2008年02期

4 程錄慶;;數(shù)據(jù)依賴的語義分析[J];南陽師范學(xué)院學(xué)報(bào);2011年09期

5 張艷梅;姜淑娟;袁冠;;一種包含異常傳播的類間數(shù)據(jù)依賴分析方法[J];微計(jì)算機(jī)信息;2010年06期

6 戴亞非,顧兆軍;數(shù)據(jù)依賴關(guān)系的屬性關(guān)系圖表示[J];哈爾濱工業(yè)大學(xué)學(xué)報(bào);1997年06期

7 姚克榮;向量化中數(shù)據(jù)依賴關(guān)系的強(qiáng)化[J];計(jì)算機(jī)學(xué)報(bào);1990年06期

8 范植華,郭強(qiáng),劉會(huì)敏;向量化中的隱數(shù)據(jù)依賴關(guān)系[J];計(jì)算機(jī)學(xué)報(bào);1985年05期

9 范植華 ,郭強(qiáng) ,劉會(huì)民;向量化中的隱數(shù)據(jù)依賴關(guān)系[J];計(jì)算機(jī)工程與科學(xué);1985年01期

10 郝忠孝,潘玉浩;空值環(huán)境下的數(shù)據(jù)依賴保持條件[J];計(jì)算機(jī)工程;1989年06期

相關(guān)會(huì)議論文 前1條

1 王峰;郭長國;宗建建;施寅生;;常用的基于數(shù)據(jù)流的測試充分性準(zhǔn)則[A];第十四屆全國容錯(cuò)計(jì)算學(xué)術(shù)會(huì)議(CFTC'2011)論文集[C];2011年

相關(guān)博士學(xué)位論文 前1條

1 吳昊;可驗(yàn)計(jì)算理論中若干問題研究[D];武漢大學(xué);2013年

相關(guān)碩士學(xué)位論文 前6條

1 吳憂;基于LLVM的C程序的動(dòng)態(tài)數(shù)據(jù)依賴分析工具的設(shè)計(jì)與實(shí)現(xiàn)[D];吉林大學(xué);2016年

2 彭海軍;貴州交通職業(yè)技術(shù)學(xué)院學(xué)生團(tuán)員管理系統(tǒng)的研究與分析[D];云南大學(xué);2015年

3 肖碩;基于數(shù)據(jù)流的圖像特征值提取與索引構(gòu)建方法研究[D];華中科技大學(xué);2015年

4 付沛;數(shù)據(jù)流上的預(yù)測查詢算法研究[D];華中科技大學(xué);2007年

5 魏晗;面向海量數(shù)據(jù)庫的數(shù)據(jù)流統(tǒng)計(jì)研究與實(shí)現(xiàn)[D];國防科學(xué)技術(shù)大學(xué);2008年

6 關(guān)怡然;基于數(shù)據(jù)流架構(gòu)的表面等離子體共振儀軟件設(shè)計(jì)[D];東北師范大學(xué);2011年

本文編號：2107055