用于面向屏幕的數(shù)據(jù)流分析的方法和系統(tǒng)的制作方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明在其某些實施例中涉及數(shù)據(jù)流分析，更具體地說但不僅限于涉及面向屏幕的數(shù)據(jù)流分析。
【背景技術(shù)】
[0002]術(shù)語靜態(tài)分析涉及計算機(jī)代碼，通常指分析不依賴于應(yīng)用的運(yùn)行時執(zhí)行的計算機(jī)程序的指令。在一種稱為數(shù)據(jù)流分析的靜態(tài)分析中，確定程序的控制和數(shù)據(jù)流的程序表示圖，并且收集有關(guān)程序中不同點處的可能變量值的信息，其中該圖用于確定應(yīng)用的分配給特定變量的數(shù)據(jù)可能流向的那些部分。
[0003]現(xiàn)代的編譯器和集成開發(fā)環(huán)境在包括優(yōu)化、重構(gòu)和驗證的各種任務(wù)中，廣泛使用程序分析。更有用和更復(fù)雜的任務(wù)需要程序分析算法產(chǎn)生的內(nèi)部程序表示包含數(shù)據(jù)流信息。分析算法使用的程序表示影響分析的能力和效率。
[0004]智能移動設(shè)備的日益流行產(chǎn)生新的以GUI為中心的編程范式?；谛畔⒌囊苿討?yīng)用的主要控制由應(yīng)用屏幕和它們之間的轉(zhuǎn)變來定義。
[0005]其它【背景技術(shù)】包括M.Weiser (Program slicing (程序切片)。IEEE Trans.Software Engineering, SE-1O (4)，1984 年)，其在此引入作為參考。

【發(fā)明內(nèi)容】

[0006]根據(jù)本發(fā)明的某些實施例，提供一種用于執(zhí)行計算機(jī)代碼的數(shù)據(jù)流分析的方法，包括:提供具有多個用戶接口屏幕的計算機(jī)程序的計算機(jī)代碼；將所述計算機(jī)代碼分為多個部分，使得所述多個部分的每一個包括用于導(dǎo)致加載和/或使用所述多個用戶接口屏幕之一的代碼；執(zhí)行變量使用分析以便檢測在所述多個部分的每一個中計算和/或使用哪些變量；基于所述變量使用分析，構(gòu)造定義所述多個部分之間的依賴性的數(shù)據(jù)依賴模型；以及針對所述多個部分中的至少一個并使用所述數(shù)據(jù)依賴模型，標(biāo)識被載入所述多個用戶接口屏幕之一并且未在相應(yīng)部分和依賴于所述相應(yīng)部分的一組部分中使用的至少一個不必要變量。
[0007]可選地，所述方法還包括從所述計算機(jī)代碼中刪除所述至少一個不必要變量。
[0008]可選地，通過訪問遠(yuǎn)程服務(wù)器獲得所述至少一個不必要變量。
[0009]可選地，所述計算機(jī)程序是移動應(yīng)用，并且在運(yùn)行所述移動應(yīng)用的移動設(shè)備的顯示器上單獨呈現(xiàn)所述多個用戶接口屏幕的每一個。
[0010]可選地，使用調(diào)整的數(shù)據(jù)流等式(data-flow equat1ns)執(zhí)行所述標(biāo)識。
[0011]可選地，使用程序切片方法執(zhí)行所述標(biāo)識。
[0012]一種計算機(jī)可讀介質(zhì)，其包括適于執(zhí)行所述方法的計算機(jī)可執(zhí)行指令。
[0013]根據(jù)本發(fā)明的某些實施例，提供一種用于執(zhí)行計算機(jī)代碼的數(shù)據(jù)流分析的系統(tǒng)，包括:切片模塊，其將具有多個用戶接口屏幕的計算機(jī)程序的計算機(jī)代碼分為多個部分，使得所述多個部分的每一個包括用于導(dǎo)致加載和/或使用所述多個用戶接口屏幕之一的代碼；變量使用模塊，其執(zhí)行分析以便檢測在所述多個部分的每一個中計算和/或使用哪些變量；表示模塊，其基于所述變量構(gòu)造所述多個部分之間的數(shù)據(jù)依賴模型；以及分析模塊，其使用所述數(shù)據(jù)依賴模型并針對所述多個部分中的至少一個，標(biāo)識被載入所述多個用戶接口屏幕之一并且未在相應(yīng)部分和依賴于所述相應(yīng)部分的一組部分中使用的至少一個不必要變量。
[0014]可選地，所述系統(tǒng)還包括優(yōu)化模塊，其用于根據(jù)所述分析，從所述計算機(jī)代碼中刪除所述至少一個不必要變量。
[0015]可選地，通過訪問遠(yuǎn)程服務(wù)器獲得所述至少一個不必要變量。
[0016]可選地，所述計算機(jī)程序是移動應(yīng)用，并且在運(yùn)行所述移動應(yīng)用的移動設(shè)備的顯示器上單獨呈現(xiàn)所述多個用戶接口屏幕的每一個。
[0017]可選地，所述分析模塊使用調(diào)整的數(shù)據(jù)流等式。
[0018]可選地，所述分析模塊使用程序切片方法。
[0019]根據(jù)本發(fā)明的某些實施例，提供一種用于執(zhí)行計算機(jī)代碼的數(shù)據(jù)流分析的計算機(jī)程序產(chǎn)品，包括:計算機(jī)可讀存儲介質(zhì)；第一程序指令，其用于將具有多個用戶接口屏幕的計算機(jī)程序的計算機(jī)代碼分為多個部分，使得所述多個部分的每一個包括用于導(dǎo)致加載和/或使用所述多個用戶接口屏幕之一的代碼；第二程序指令，其用于執(zhí)行變量使用分析以便檢測在所述多個部分的每一個中計算和/或使用哪些變量；第三程序指令，其用于基于所述變量使用分析，構(gòu)造定義所述多個部分之間的依賴性的數(shù)據(jù)依賴模型；以及第四程序指令，其用于針對所述多個部分中的至少一個并使用所述數(shù)據(jù)依賴模型，標(biāo)識被載入所述多個用戶接口屏幕之一并且未在相應(yīng)部分和依賴于所述相應(yīng)部分的一組部分中使用的至少一個不必要變量；其中所述第一、第二和第三程序指令存儲在所述計算機(jī)可讀存儲介質(zhì)中。
[0020]可選地，所述計算機(jī)程序產(chǎn)品還包括第五程序指令，其用于根據(jù)所述分析，從所述計算機(jī)代碼中刪除所述至少一個不必要變量。
[0021]可選地，通過訪問遠(yuǎn)程服務(wù)器獲得所述至少一個不必要變量。
[0022]可選地，所述計算機(jī)程序是移動應(yīng)用，并且在運(yùn)行所述移動應(yīng)用的移動設(shè)備的顯示器上單獨呈現(xiàn)所述多個用戶接口屏幕的每一個。
[0023]可選地，使用調(diào)整的數(shù)據(jù)流等式執(zhí)行所述標(biāo)識。
[0024]可選地，使用程序切片方法執(zhí)行所述標(biāo)識。
[0025]一種計算機(jī)可讀介質(zhì)，其包括所述計算機(jī)程序產(chǎn)品。
[0026]除非另有定義，否則在此使用的所有技術(shù)和/或科學(xué)術(shù)語具有與本發(fā)明所屬技術(shù)領(lǐng)域的普通技術(shù)人員普遍理解的相同含義。盡管可以在本發(fā)明實施例的實現(xiàn)或測試中使用與在此所述相似或等效的方法和材料，但下面將描述示例性方法和/或材料。如果發(fā)生沖突，則本專利說明書(包括定義)將具有解釋權(quán)。此外，所述材料、方法和實例僅是示例性的，并非旨在一定進(jìn)行限制。
【附圖說明】
[0027]在此僅通過實例的方式參考附圖描述本發(fā)明的某些實施例?，F(xiàn)在具體參考詳細(xì)附圖，要強(qiáng)調(diào)的是所示細(xì)節(jié)為通過實例的方式，并且出于對本發(fā)明實施例的示例性討論的目的。在這點上，結(jié)合附圖的描述使得可如何實現(xiàn)本發(fā)明實施例對于所屬技術(shù)領(lǐng)域的技術(shù)人員來說顯而易見。
[0028]在附圖中:
[0029]圖1是示意性地表示根據(jù)本發(fā)明某個實施例的用于執(zhí)行計算機(jī)代碼的面向屏幕的數(shù)據(jù)流分析以便檢測不必要變量的方法的流程圖；
[0030]圖2是根據(jù)本發(fā)明某個實施例的示例性購物移動應(yīng)用的示意性表示圖200 ;以及
[0031]圖3是根據(jù)本發(fā)明某個實施例的用于執(zhí)行計算機(jī)代碼的面向屏幕的數(shù)據(jù)流分析以便檢測不必要變量的示例性系統(tǒng)。
【具體實施方式】
[0032]本發(fā)明在其某些實施例中涉及數(shù)據(jù)流分析，更具體地說但不僅限于涉及面向屏幕的數(shù)據(jù)流分析。
[0033]根據(jù)本發(fā)明的某些實施例，提供用于執(zhí)行計算機(jī)代碼的面向屏幕的數(shù)據(jù)流分析以便標(biāo)識嵌入在代碼中的不必要變量的方法和系統(tǒng)。不必要變量是指以下變量:它們出現(xiàn)在代碼中，并且可以由程序加載，但不是程序操作所需的。例如，與時間無關(guān)的應(yīng)用中的"current time (當(dāng)前時間)”變量?？梢酝ㄟ^訪問遠(yuǎn)程服務(wù)器獲得這些變量，因此不必要地減慢與服務(wù)器的通信。移動網(wǎng)絡(luò)比內(nèi)部網(wǎng)絡(luò)的速度慢，并且消除不必要服務(wù)器訪問可以加快移動網(wǎng)絡(luò)的速度。
[0034]本發(fā)明的某些實施例基于分析控制和數(shù)據(jù)流表示圖，該圖包含狀態(tài)和狀態(tài)之間的轉(zhuǎn)變，主要針對移動應(yīng)用優(yōu)化，這考慮到移動應(yīng)用的面向屏幕的性質(zhì)?？刂屏鲗?yīng)于用戶在使用應(yīng)用時在屏幕之間切換的工作流。同時包含數(shù)據(jù)流信息和控制流的表示已知對于分析的能力和效率尤其有用。在該表示圖中，應(yīng)用屏幕是有限狀態(tài)機(jī)的狀態(tài)，而觸摸事件、通信相關(guān)的觸發(fā)器和其它事件導(dǎo)致在狀態(tài)之間轉(zhuǎn)變。所述圖表示還包含在狀態(tài)之間傳輸?shù)臄?shù)據(jù)變量。
[0035]本發(fā)明的某些方法和系統(tǒng)包括提供具有多個接口屏幕的計算機(jī)程序(例如移動應(yīng)用)的計算機(jī)代碼，根據(jù)用戶接口屏幕將代碼分為多個部分，標(biāo)識在每個屏幕中使用或計算的變量，構(gòu)造屏幕的數(shù)據(jù)流表示圖，并且執(zhí)行數(shù)據(jù)流分析以便標(biāo)識不必要變量。
[0036]這些方法和系統(tǒng)比現(xiàn)有方法更有效并且更易于實現(xiàn)，因為它們利用程序的操作結(jié)構(gòu)。
[0037]在詳細(xì)解釋本發(fā)明的至少一個實施例之前，應(yīng)該理解本發(fā)明不一定將其應(yīng)用限于在以下描述中給出和/或在附圖和/或?qū)嵗惺境龅慕M件和/或方法的結(jié)構(gòu)和布置的細(xì)節(jié)。本發(fā)明能夠包含其它實施例或者以各種方式實現(xiàn)或執(zhí)行。
[0038]所屬技術(shù)領(lǐng)域的技術(shù)人員知道，本發(fā)明的各個方面可以實現(xiàn)為系統(tǒng)、方法或計算機(jī)程序產(chǎn)品。因此，本發(fā)明的各個方面可以具體實現(xiàn)為以下形式，即:完全的硬件實施方式、完全的軟件實施方式(包括固件、駐留軟件、微代碼等)，或硬件和軟件方面結(jié)合的實施方式，這里可以統(tǒng)稱為“電路”、“