• <tr id="yyy80"></tr>
  • <sup id="yyy80"></sup>
  • <tfoot id="yyy80"><noscript id="yyy80"></noscript></tfoot>
  • 99热精品在线国产_美女午夜性视频免费_国产精品国产高清国产av_av欧美777_自拍偷自拍亚洲精品老妇_亚洲熟女精品中文字幕_www日本黄色视频网_国产精品野战在线观看 ?

    程序合成研究進(jìn)展

    2019-10-08 06:52張銀珠董威劉斌斌
    軟件 2019年4期

    張銀珠 董威 劉斌斌

    摘 ?要: 在軟件工程領(lǐng)域中,程序自動(dòng)合成是一個(gè)非常核心的研究方向,并且在軟件開(kāi)發(fā)活動(dòng)如此普及的社會(huì)中有望成為未來(lái)軟件工程變革的核心技術(shù)。隨著多年該領(lǐng)域的研究發(fā)展,已經(jīng)衍生出了很多種不同的流派與技術(shù)路線(xiàn)。本文針對(duì)程序合成領(lǐng)域的發(fā)展現(xiàn)狀與技術(shù)研究進(jìn)展做了綜合敘述,并探究目前程序合成領(lǐng)域所面臨的挑著與未來(lái)一段時(shí)間內(nèi)需要解決的問(wèn)題。

    關(guān)鍵詞: 程序合成;搜索排序;程序結(jié)構(gòu)

    中圖分類(lèi)號(hào): TP311.51 ? ?文獻(xiàn)標(biāo)識(shí)碼: A ? ?DOI:10.3969/j.issn.1003-6970.2019.04.005

    本文著錄格式:張銀珠,董威,劉斌斌. 程序合成研究進(jìn)展[J]. 軟件,2019,40(4):2530

    【Abstract】: Automatic program synthesis has become a core research direction in the field of software engineering. And it is expected to become the core technology of future software engineering with software development becoming more and more popular in current society. There exists different schools and technical routes in the research of program synthesis. In this paper, a comprehensive description of the development status and technology progress of program synthesis is given and we also explores the challenges facing the current field of program synthesis and the problems that need to be solved in the future.

    【Key words】: Program synthesis; Search and rank; Program structure

    0 ?引言

    隨著軟件工程的發(fā)展,軟件開(kāi)發(fā)愈加成為互聯(lián)網(wǎng)以及其他軟件相關(guān)企業(yè)的主要活動(dòng)。因此軟件開(kāi)發(fā)技能成為軟件從事企業(yè)人員的必備技能,即使在非必需的情況下,掌握基本的軟件開(kāi)發(fā)知識(shí),也能夠幫助工作人員更好的適應(yīng)信息化場(chǎng)景的工作及要求。軟件開(kāi)發(fā)人員的工作通常是復(fù)雜多樣并需要重復(fù)勞動(dòng),他們需要時(shí)常搜索并學(xué)習(xí)不同領(lǐng)域的開(kāi)發(fā)方法,這對(duì)開(kāi)發(fā)人員的要求大大提高,并極大增加開(kāi)發(fā)人員的負(fù)擔(dān),拖累開(kāi)發(fā)工作的進(jìn)程。為了將軟件開(kāi)發(fā)人員從復(fù)雜繁重的開(kāi)發(fā)工作中解放出來(lái),程序合成成為未來(lái)軟件工程的重點(diǎn)研究與投入方向之一。

    1 ?程序合成的概念

    程序自動(dòng)合成又稱(chēng)程序綜合技術(shù),旨在圍繞用戶(hù)意圖,合成出符合用戶(hù)需求的軟件代碼的活動(dòng)。程序合成的目的是讓機(jī)器合成出代碼,能夠減輕程序員的負(fù)擔(dān),并有望將編程人員將關(guān)注點(diǎn)放到軟件的高層設(shè)計(jì)上,而不用花費(fèi)過(guò)多時(shí)間在細(xì)節(jié)實(shí)現(xiàn)上。研究人員Sumit Gulwani[1]指出,代碼自動(dòng)生成過(guò)程一般分為三個(gè)階段,用戶(hù)需求的描述,程序搜索空間的表述,設(shè)計(jì)合適的搜索排序技術(shù)。這里每個(gè)階段都涉及到不同的方法,適用于不同的場(chǎng)景,例如用戶(hù)需求可以利用規(guī)約形式描述,也可以用自然語(yǔ)言描述。需求的描述越抽象,進(jìn)行程序合成越困難。也就是說(shuō)利用自然語(yǔ)言描述的需求來(lái)生成代碼面臨更多的挑戰(zhàn),包括需要克服自然語(yǔ)言與程序需求之間的差距和程序需求與實(shí)際程序代碼之間的鴻溝。

    2 ?程序合成的關(guān)鍵要素

    程序合成有三個(gè)關(guān)鍵要素[1],用戶(hù)意圖表述,搜索空間描述以及設(shè)計(jì)合適的搜索技術(shù)。用戶(hù)意圖表述有多種方式,邏輯規(guī)約,輸入輸出數(shù)據(jù)對(duì),程序路徑以及自然語(yǔ)言等。該如何選擇不同的需求描述取決于具體的任務(wù)背景。邏輯規(guī)約用來(lái)描述程序輸入輸出間的邏輯關(guān)系,可以精確又簡(jiǎn)明的描述程序所遵循的規(guī)范,但是對(duì)于用戶(hù)來(lái)說(shuō)很難寫(xiě)出完整的程序邏輯規(guī)約。終端用戶(hù)通常不如專(zhuān)家的編碼水平,因此更傾向于提供自然性的需求描述如自然語(yǔ)言等。搜索空間通常需要在需求符合性和程序合成效率間做一個(gè)平衡。一方面程序搜索空間需要足夠大到能夠囊括用戶(hù)需求所有可能的程序,另一方面為了提升程序合成的效率,需要采取更有效的搜索方法將搜索空間限定在小的范圍內(nèi)。例如搜索空間可以被限定為所有操作組成空間的一個(gè)子集,或者在一個(gè)領(lǐng)域特定語(yǔ)言的范圍內(nèi)。搜索技術(shù)與排序技術(shù)類(lèi)似,目的是如何更有效的搜索出與需求接近的結(jié)果程序等。常見(jiàn)的搜索技術(shù)有枚舉搜索、基于約束求解的搜索或者兩者的結(jié)合等等。枚舉搜索將所有可能的程序按照某個(gè)順序一一列舉,通常效率較低,因此更常見(jiàn)的發(fā)方法是在傳統(tǒng)的枚舉搜索的基礎(chǔ)上加上啟發(fā)式的剪枝方法來(lái)提升搜索效率?;诩s束求解的搜索通常分為兩個(gè)過(guò)程,約束生成過(guò)程和具體求解過(guò)程。約束生成過(guò)程是將需求解程序搜索空間用邏輯描述其規(guī)范并轉(zhuǎn)換成約束的過(guò)程,生成約束通常需要對(duì)程序可能的控制流以及控制流下行為進(jìn)行編碼。求解約束的過(guò)程是在約束創(chuàng)建完成后,在約束所描述的搜索空間內(nèi)按照某種方式列舉可行解的過(guò)程,例如可以單純使用枚舉的方法,也可以添加其他的約束來(lái)改變枚舉的順序。

    3 ?程序合成的常見(jiàn)方法

    程序自動(dòng)生成分為幾種不同的技術(shù)路線(xiàn),他們或利用不同的需求描述語(yǔ)言,或針對(duì)不同的適用場(chǎng)景設(shè)計(jì)不同的搜索算法。從不同的角度來(lái)看,程序合成方法可以被劃分為不同的類(lèi)別,如圖1所示。

    3.1 ?從規(guī)約選取角度進(jìn)行分類(lèi)

    如圖1所示,從規(guī)約選取的角度來(lái)看,程序合成可以被分為基于示例(Programming by Examples)、基于框架(Sketch)、基于自然語(yǔ)言以及基于邏輯規(guī)約的程序合成方法。

    (1)基于示例的程序合成(Programming by Examples)

    基于示例的程序合成需要用戶(hù)提供輸入輸出示例作為需求描述,例如一個(gè)廣為人知的應(yīng)用就是在Excel中的Flash Fill[4,18]功能。用戶(hù)在表格中填寫(xiě)需求相關(guān)的多個(gè)輸入輸出對(duì),在有解的情況下,工具能夠有限時(shí)間內(nèi)找出合適的實(shí)現(xiàn)代碼,如圖2所示。

    Mehdi Manshadi[9]等提出了使用<輸入-輸出>測(cè)試對(duì)和自然語(yǔ)言需求描述結(jié)合的方式來(lái)指導(dǎo)程序自動(dòng)合成,該方法能夠提升僅在單一方法進(jìn)行程序合成的效果。首先利用<輸出-輸出>測(cè)試對(duì)搜索得到一個(gè)滿(mǎn)足所有數(shù)據(jù)對(duì)的程序集合,據(jù)此指導(dǎo)程序合成的過(guò)程。此外他們還提出可以利用群體智能來(lái)指導(dǎo)基于自然語(yǔ)言的程序自動(dòng)生成[14],類(lèi)似于“眾包”的思想,利用大量不同用戶(hù)為同一個(gè)自然語(yǔ)言描述的需求來(lái)提供不同的<輸入-輸出>測(cè)試對(duì),然后進(jìn)行程序合成,因此該方法能夠更好的捕捉到自然語(yǔ)言所描述的真實(shí)需求。

    (2)基于Sketch(框架)的程序合成

    基于框架(Sketch)的程序合成通常更加關(guān)注程序結(jié)構(gòu),例如while,if等循環(huán)語(yǔ)句,一個(gè)Sketch是不完整的部分程序,代表一個(gè)需要填充的程序框架。基于Sketch的程序合成允許用戶(hù)提供不完整的程序框架,合成工具通過(guò)語(yǔ)法指導(dǎo)或者其他方式進(jìn)行程序合成。例如Rastislav Bodik等人[10]對(duì)基于Sketch的程序合成進(jìn)行了總結(jié)并提出一些方法有助于程序合成在復(fù)雜Sketch上的合成過(guò)程,例如他們提出可以允許用戶(hù)提供部分程序框架的時(shí)候擴(kuò)展描述語(yǔ)言,也可以通過(guò)增加反例的形式來(lái)對(duì)程序合成過(guò)程加速。基于Sketch的程序合成還可以與機(jī)器學(xué)習(xí)的方法學(xué)習(xí)起來(lái),通過(guò)抽取大量Sketch與其實(shí)現(xiàn)代碼的數(shù)據(jù)對(duì),利用機(jī)器學(xué)習(xí)模型學(xué)習(xí)其中的映射關(guān)系,例如Vijayaraghavan Murali等人[11]提出利用深度學(xué)習(xí)中的RNN時(shí)序模型通過(guò)訓(xùn)練從大量Android代碼抽取出的<證據(jù),Sketch>數(shù)據(jù)對(duì),得到能夠根據(jù)用戶(hù)提供的證據(jù)預(yù)測(cè)程序Sketch的模型,然后通過(guò)語(yǔ)法指導(dǎo)的填充過(guò)程,得到填充后的程序。

    (3)基于自然語(yǔ)言的程序合成

    基于自然語(yǔ)言的程序合成需要用戶(hù)提供自然語(yǔ)言作為需求描述,程序合成利用自然語(yǔ)言或者將自然語(yǔ)言與別種形式的需求描述相結(jié)合生成出程序。由于自然語(yǔ)言通常與程序代碼之間有著較大的鴻溝,因此該方法的挑戰(zhàn)主要在于如何克服自然語(yǔ)言與機(jī)器語(yǔ)言之間的跨度上。相關(guān)工作如Aditya Desai等人[12]提出可以通過(guò)大量的<自然語(yǔ)言,領(lǐng)域特定語(yǔ)言>數(shù)據(jù)訓(xùn)練出通過(guò)用戶(hù)給與的自然語(yǔ)言描述翻譯出領(lǐng)域特定語(yǔ)言,然后利用領(lǐng)域特定語(yǔ)言進(jìn)行程序合成的方法。并通過(guò)在文本編輯,智能助手系統(tǒng)等領(lǐng)域的程序合成中驗(yàn)證了其效果。Navid Yaghmazadeh等人[13]提出可以將自然語(yǔ)言處理,程序合成與自動(dòng)程序修復(fù)領(lǐng)域結(jié)合起來(lái),允許用戶(hù)給出一個(gè)自然語(yǔ)言描述,首先利用語(yǔ)義分析功能將其轉(zhuǎn)換為一個(gè)SQL查詢(xún)的Sketch,然后利用類(lèi)型指導(dǎo)的程序合成方法合成出具體的SQL語(yǔ)句。由于用戶(hù)自然語(yǔ)言通常過(guò)于抽象,不能精確的反映出數(shù)據(jù)庫(kù)的機(jī)制,于是他們?cè)诜椒ㄖ惺褂昧隋e(cuò)誤修復(fù)技術(shù),對(duì)得到的SQL Sketch進(jìn)行合理性的修復(fù)知道得到高質(zhì)量的SQL查詢(xún)語(yǔ)句為止。

    (4)基于邏輯規(guī)約的程序合成

    基于邏輯規(guī)約的程序合成方法需要用戶(hù)針對(duì)程序功能提供完整的規(guī)約描述,規(guī)約可能用某種語(yǔ)法表示成公式。對(duì)于復(fù)雜需求,一般用戶(hù)來(lái)說(shuō)寫(xiě)出完整的程序規(guī)約比較困難,因此這種方法在應(yīng)用中很少被用到,實(shí)用性不夠好。

    3.2 ?從搜索策略角度進(jìn)行分類(lèi)

    從采用的搜索策略的角度進(jìn)行分類(lèi),程序合成方法又可以分為,基于語(yǔ)法指導(dǎo)的、基于代碼搜索的、基于深度學(xué)習(xí)以及基于API(組件)的程序合成。

    (1)基于語(yǔ)法指導(dǎo)的程序合成

    基于語(yǔ)法指導(dǎo)的程序合成一般需要用戶(hù)提供程序的輸入輸出規(guī)約或者語(yǔ)法框架,程序合成工具通過(guò)具體搜索策略或者符號(hào)搜索找到滿(mǎn)足用戶(hù)規(guī)約的程序,符號(hào)搜索需要從用戶(hù)規(guī)約中抽取出程序需要滿(mǎn)足的約束,然后利用約束求解器得到解。Kangjing Huang[17]等人提出可以將兩種搜索策略結(jié)合,利用決策樹(shù)的高度枚舉從短到長(zhǎng)的程序代碼,在每個(gè)固定長(zhǎng)度的枚舉過(guò)程中,通過(guò)舉反例的形式達(dá)到更精確的搜索。他們?cè)谝幌盗械腷enchmark上證明了該方法具有優(yōu)秀的效果。Rajeev Alur[19]等人描述了幾種方法針對(duì)語(yǔ)法指導(dǎo)的程序合成,包括激活學(xué)習(xí)、增加反例以及隨即搜索等,并執(zhí)行合理的benchmarks對(duì)比不同方法的效果。他們還對(duì)比了語(yǔ)法指導(dǎo)的程序合成比賽中驗(yàn)證過(guò)1500個(gè)benchmark的6個(gè)新的工具[20],并分析了其效果。

    (2)基于代碼搜索的程序合成

    基于搜索的程序合成方法結(jié)合了經(jīng)典的代碼搜索過(guò)程,在程序合成初期,利用代碼搜索得到與需求最接近的代碼結(jié)果,在此基礎(chǔ)上再進(jìn)行程序合成。基于搜索的程序合成方法能有效利用程序代碼搜索的結(jié)果縮小程序合成的時(shí)間復(fù)雜度和空間復(fù)雜度,該方法首先需要針對(duì)用戶(hù)需求進(jìn)行代碼搜索,可針對(duì)自然語(yǔ)言或代碼片段、程序關(guān)鍵詞進(jìn)行搜索,得到搜索出的代碼片段之后,再利用現(xiàn)有程序綜合技術(shù)得到符合需求的程序。相關(guān)工作例如Swim[2],能夠針對(duì)用戶(hù)提供的需求規(guī)約,檢索出相關(guān)的API名稱(chēng),然后通過(guò)檢索API使用模式集合找到最可能用的API模式序列,并據(jù)此包裝生成代碼片段。相關(guān)工作還有Hunter[3],能夠根據(jù)用戶(hù)提供的自然語(yǔ)言描述,檢索出相關(guān)代碼,并根據(jù)類(lèi)型距離對(duì)檢索結(jié)果排序,最后通過(guò)整數(shù)線(xiàn)性規(guī)劃(Integer Linear Programing)將程序綜合問(wèn)題轉(zhuǎn)化為基于API的代碼生成過(guò)程,并利用現(xiàn)有工具生成出符合需求的程序?;谒阉鞯某绦蜃詣?dòng)生成的效果與前期代碼搜索結(jié)果息息相關(guān),如何設(shè)計(jì)合理的搜索排序技術(shù)有效的找出與用戶(hù)需求最匹配的代碼成為該方法的關(guān)鍵點(diǎn)之一?;谒阉鞯某绦蚝铣杉夹g(shù)利用代碼搜索的結(jié)果,能夠有效的縮小程序綜合的空間,提升程序合成的時(shí)間效率,成為很多程序合成技術(shù)的首要過(guò)程。

    (3)基于深度學(xué)習(xí)的程序合成

    近幾年,人工智能行業(yè)迅猛發(fā)展,研究人員開(kāi)始研究如何使用更加智能化的方法實(shí)現(xiàn)程序自動(dòng)生成。機(jī)器學(xué)習(xí)等相關(guān)方法一般需要大量數(shù)據(jù)集來(lái)訓(xùn)練,而隨著互聯(lián)網(wǎng)的繁榮發(fā)展,Github等代碼托管平臺(tái)上存儲(chǔ)了大量的項(xiàng)目代碼使得利用機(jī)器學(xué)習(xí)來(lái)學(xué)習(xí)如何寫(xiě)代碼成為了可能。根據(jù)方法的風(fēng)格不同,基于深度學(xué)習(xí)的程序合成方法一般分為兩種類(lèi)別,一種是模型原理不可解釋的“黑盒”方法,另一種是能夠直接生成可解釋代碼的“代碼生成派”方法。黑盒的方法類(lèi)似于一個(gè)黑箱子,直接利用大量數(shù)據(jù)集訓(xùn)練得到代碼生成的規(guī)則,規(guī)則被表示為模型的參數(shù),因此具有不可解釋性?!昂诤信伞狈椒▽?duì)用戶(hù)來(lái)說(shuō)不易于使用和修改,因?yàn)橛脩?hù)并不能理解模型到底學(xué)習(xí)出了什么樣的編程規(guī)則。而“代碼生成派”則能夠直接根據(jù)需求生成出顯示的程序代碼,更加符合人類(lèi)所想象的機(jī)器自動(dòng)編程的狀態(tài)。在模型的使用階段,用戶(hù)只需提供一至多個(gè)輸入輸出數(shù)據(jù)對(duì),模型能夠根據(jù)輸入輸出數(shù)據(jù)對(duì),提取高層特征,預(yù)測(cè)出需求所需要的各種操作原語(yǔ)的概率,結(jié)果概率越高的操作原語(yǔ),越有可能在任務(wù)的實(shí)現(xiàn)代碼中用到。相關(guān)工作如DeepCoder[5],一種使用輸入輸出樣本的深度學(xué)習(xí)解決編程競(jìng)賽風(fēng)格的方法。該方法屬于典型的代碼生成派工作,能夠通過(guò)訓(xùn)練神經(jīng)網(wǎng)絡(luò)來(lái)預(yù)測(cè)有輸入到輸出的程序?qū)傩?。Facebook在該領(lǐng)域也有所研究,例如其選擇層級(jí)生成CNN網(wǎng)絡(luò)結(jié)構(gòu)[6](Hierarchical Generative Convolutional Neural Network,又稱(chēng)為HGCNN),利用隨機(jī)生成的程序,給定一些輸入,運(yùn)行程序得到輸出來(lái)構(gòu)造數(shù)據(jù)集,因此屬于無(wú)監(jiān)督學(xué)習(xí)的過(guò)程。

    (4)基于API(組件)的程序合成

    基于API的程序合成旨在根據(jù)用戶(hù)意圖生成出純API的程序代碼。其特點(diǎn)是結(jié)果程序中只包含API以及控制結(jié)構(gòu),不包含常量的聲明、運(yùn)算等語(yǔ)句。由于軟件模塊化程度是軟件開(kāi)發(fā)過(guò)程中衡量項(xiàng)目質(zhì)量的一個(gè)重要標(biāo)準(zhǔn),因此在軟件開(kāi)發(fā)過(guò)程中,提倡將不同功能封裝起來(lái),降低軟件代碼的耦合性,以減少模塊之間的依賴(lài),因此基于API的程序合成方法無(wú)疑是順應(yīng)軟件開(kāi)發(fā)的趨勢(shì)并且更方便用戶(hù)來(lái)復(fù)用代碼。典型的基于API的程序自動(dòng)合成工作如Ye Feng[7]等題出利用PetriNet來(lái)對(duì)API中方法間的關(guān)系進(jìn)行建模,用戶(hù)需要提供函數(shù)聲明和測(cè)試用例作為需求描述,該方法能夠遍歷PetriNet的可達(dá)性圖來(lái)找到符合用戶(hù)聲明的API序列,并執(zhí)行測(cè)試用例直到找到滿(mǎn)足需求的解為止。此外他們也提出可以由示例驅(qū)動(dòng)的基于API的程序合成方法[15],可以處理特定領(lǐng)域任務(wù)例如表格等文檔的處理與轉(zhuǎn)換,該方法將基于SMT的約束求解方法和基于API的程序合成相結(jié)合,并采取局部評(píng)估的方法,能夠針對(duì)小規(guī)模的java程序取得一定的效果。Sumit Gulwani等人[16]提出利用用戶(hù)提供的規(guī)約描述,在組件庫(kù)中生成出loop-free的研究,通過(guò)將用戶(hù)的規(guī)約抽取成約束,然后利用約束求解的過(guò)程生成程序。該研究能夠做到探索超過(guò)2010的大小的程序搜索空間,例如能夠合成出長(zhǎng)達(dá)20行的loop-free的位運(yùn)算程序代碼。

    4 ?程序合成面臨的挑戰(zhàn)

    現(xiàn)有研究工作[1]指出,程序合成主要面臨來(lái)自于兩個(gè)維度的挑戰(zhàn),一個(gè)是難掌控的程序搜索空間,一個(gè)是用戶(hù)意圖的多樣性。

    任何程序合成方法都包含著在搜索空間搜索的過(guò)程,而程序?qū)?yīng)的搜索空間都隨著其程序規(guī)模的增加呈指數(shù)增加趨勢(shì),大量有可能的候選結(jié)果,如何有效排序,提升程序合成的效率,也是研究人員不停在鉆研的問(wèn)題。隨著過(guò)去二十年里一些技術(shù)和算法上的突破,摩爾定理和約束求解的發(fā)展使得在合理時(shí)間內(nèi)可以搜索更大的搜索空間。但盡管現(xiàn)在的程序合成能夠產(chǎn)生一些符合需求的代碼片段,程序合成依然不能產(chǎn)生大規(guī)模的現(xiàn)實(shí)世界的代碼,并且在工業(yè)界應(yīng)用也非常受限。例如右Phothilimthana等人[8]提出的能夠合成出更短的程序的超優(yōu)化技術(shù)可以探索1079大小的程序空間。而一個(gè)能夠?qū)崿F(xiàn)MD5哈希函數(shù)的合成器就需要探索多達(dá)一萬(wàn)五千多個(gè)程序,遠(yuǎn)遠(yuǎn)超過(guò)現(xiàn)在程序合成方法所能探索的空間。因此在程序合成領(lǐng)域,新的搜索算法以及領(lǐng)域特定研究仍然面臨著艱巨的挑戰(zhàn)并有待于進(jìn)一步探索。

    如何精準(zhǔn)的表達(dá)并解釋用戶(hù)意圖是程序合成面臨的第二大挑戰(zhàn),最初的用戶(hù)意圖通常用程序邏輯規(guī)約來(lái)表示,這通常是針對(duì)一些演繹合成方法。最簡(jiǎn)單的功能例如字符串操作,針對(duì)一些輸入輸出規(guī)約通常會(huì)有數(shù)百萬(wàn)的程序與之一致,需要用戶(hù)提供簡(jiǎn)單的邏輯規(guī)約即可。但一旦問(wèn)題變得稍微復(fù)雜,用戶(hù)很難想象需求會(huì)有怎樣完整的規(guī)約,編寫(xiě)完整的規(guī)約對(duì)用戶(hù)來(lái)說(shuō)就像編寫(xiě)程序一樣復(fù)雜,非常不友好。近些年程序需求描述更加偏向自然語(yǔ)言化的趨勢(shì),用戶(hù)可以很輕松的用自然語(yǔ)言描述其所需要的功能,但這也帶來(lái)了需求描述和實(shí)現(xiàn)代碼之間的距離更加遠(yuǎn),需要研究更有效的算法來(lái)將自然語(yǔ)言程序翻譯成符合需求的代碼。如何在減輕用戶(hù)負(fù)擔(dān)的基礎(chǔ)上探索更好的用戶(hù)意圖表述方式成為程序自動(dòng)合成研究所面臨的另一挑戰(zhàn)。

    5 ?討論與展望

    近年來(lái),程序合成技術(shù)取得了多方面的進(jìn)步,從搜索算法到程序和成框架上都在隨著計(jì)算機(jī)研究熱點(diǎn)而有所改變。就目前整體取得的進(jìn)展和面臨的挑戰(zhàn)來(lái)說(shuō),我們認(rèn)為從以下幾個(gè)方面是未來(lái)一段時(shí)間內(nèi)程序合成技術(shù)有待于解決的階段性難題。

    (1)人機(jī)交互

    程序合成技術(shù)通常面臨的用戶(hù)水平參差不齊,對(duì)于一些剛剛使用程序合成工具的用戶(hù)來(lái)說(shuō)很難一次性提供完整的需求描述,因此良好的人機(jī)交互和階段性反饋能夠給程序合成工具帶來(lái)更好的用戶(hù)體驗(yàn)和使用效果。并且經(jīng)過(guò)用戶(hù)反復(fù)修改規(guī)約描述得到的合成代碼,往往能夠更加接近用戶(hù)需求的解。現(xiàn)有的程序合成方法鮮有可方便用戶(hù)反饋調(diào)式的工作出現(xiàn),而程序合成技術(shù)要想更好的落地實(shí)施,在其研究中占主要的不應(yīng)該僅僅是內(nèi)部算法,更不能缺少的是良好的用戶(hù)體驗(yàn)和易用性。

    (2)多元化需求描述

    過(guò)去的程序合成算法中探索了多種用戶(hù)意圖描述的方法,從最初的程序規(guī)約到后來(lái)更加易用的自然語(yǔ)言。然而只使用一種輸入作為需求描述往往不具有普適性,比如初級(jí)用戶(hù)難以寫(xiě)出完美的程序規(guī)約來(lái)約束程序合成過(guò)程,而僅使用自然語(yǔ)言雖然減輕了用戶(hù)負(fù)擔(dān)卻又給程序合成過(guò)程帶來(lái)了較為不確定的空間描述,導(dǎo)致用戶(hù)意圖過(guò)于抽象,合成不出理想的代碼結(jié)果。正如如今的軟件開(kāi)發(fā)過(guò)程講究的是協(xié)同合作而不是單一決策一樣,未來(lái)一段時(shí)間內(nèi)程序合成有必要探索如何結(jié)合多種形式的輸入,達(dá)到一種資源匯聚的效果。將自然語(yǔ)言、規(guī)約描述、關(guān)鍵詞描述等多種輸入結(jié)合能夠更好的減輕用戶(hù)負(fù)擔(dān),避免用戶(hù)難以針對(duì)一種需求描述方法寫(xiě)出完善的規(guī)約。

    (3)智能化程序合成

    隨著人工智能的火熱發(fā)展,研究學(xué)者們更希望能夠用智能化的方法來(lái)合成程序。雖然已經(jīng)產(chǎn)生了“黑盒派”以及“代碼生成派”等相關(guān)研究工作,但這些方法都處于研究的初期階段,無(wú)法很好的在現(xiàn)有需求上產(chǎn)生應(yīng)用,因此機(jī)器自動(dòng)編碼領(lǐng)域仍有很長(zhǎng)一段路要走。類(lèi)似于Github等互聯(lián)網(wǎng)代碼托管平臺(tái)已經(jīng)存儲(chǔ)了大量的項(xiàng)目代碼,這給以深度學(xué)習(xí)訓(xùn)練為核心來(lái)實(shí)現(xiàn)程序合成的方法提供了良好的契機(jī)。因此未來(lái)很長(zhǎng)一段時(shí)間內(nèi)將會(huì)有大量的研究工作將重心放在基于深度學(xué)習(xí)的程序自動(dòng)合成上,如何更好的挖掘出先驗(yàn)知識(shí)中的編碼規(guī)范來(lái)指導(dǎo)程序自動(dòng)合成,成為軟件工程領(lǐng)域當(dāng)前一個(gè)熱點(diǎn)研究領(lǐng)域。

    6 ?結(jié)束語(yǔ)

    信息化發(fā)達(dá)的互聯(lián)網(wǎng)時(shí)代已經(jīng)持續(xù)了很多年,使得軟件開(kāi)發(fā)活動(dòng)在社會(huì)發(fā)展中一直占有重要地位并不斷演化前進(jìn)?,F(xiàn)如今軟件開(kāi)發(fā)規(guī)模的復(fù)雜性使得人們更加追求良好的編程規(guī)范和高效的編碼效率,因此程序自動(dòng)合成領(lǐng)域在近年重新成為軟件工程領(lǐng)域的研究熱點(diǎn)。但程序自動(dòng)合成距離能夠產(chǎn)生工業(yè)應(yīng)用的那天還很遙遠(yuǎn),無(wú)論在搜索空間效率上,還是在用戶(hù)交互的可用性上都沒(méi)有達(dá)到一個(gè)良好的效果。而人工智能的發(fā)展給程序自動(dòng)合成帶來(lái)了新的方法流派,未來(lái)程序合成技術(shù)還有更多方向需要繼續(xù)探索前進(jìn)。

    參考文獻(xiàn)

    [1] S. Gulwani, O. Polozov and R. Singh. Program Synthesis. Foundations and Trends? in Programming Languages, vol. 4, no. 1-2, pp. 1–119, 2017.

    [2] Raghothaman M, Wei Y, Hamadi Y. SWIM: synthesizing what I mean: code search and idiomatic snippet synthesis. In: Proc. of the 38th Intl Conf. on Software Engineering. ACM, 2016: 357-367.[doi: 10. 1145/2884781. 2884808]

    [3] Wang Y, Feng Y, Martins R, et al. Hunter: next-generation code reuse for Java. In: Proc. of the 24th ACM SIGSOFT Intl Symp. on Foundations of Software Engineer. ACM, 2016: 1028-1032.[doi: 10. 1145/2950290. 2983934]

    [4] Gulwani S, Esparza J, Grumberg O, et al. Programming by Examples (and its applications in Data Wrangling). Verific-ation and Synthesis of Correct and Secure Systems. IOS Press, 2016.

    [5] Balog M, Gaunt A L, Brockschmidt M, et al. DeepCoder: Learning to Write Programs. In: Proc. of the 5th Intl Conf. on Learning Representations. 2017.

    [6] Gong Q, Tian Y, Zitnick C L. Unsupervised Program Induction with Hierarchical Generative Convolutional Neural Networks. In: Proc. Of the 5th Intl Conf. on Learning Representations.

    [7] Feng Y, Martins R, Wang Y, et al. Component-based synthesis for complex APIs. In: Proc. of the 44th Annual ACM SIGPLANSIGACT Symp. on Principles of Progra-mming Languages. 2017: 599-612. [doi:10.1145/3093333. 3009851]

    [8] Phitchaya Mangpo Phothilimthana, Aditya Thakur, Rastislav Bodík, and Dinakar Dhurjati. Scaling up superoptimization. In Proceedings of the 21st International Conference on Architectural Support for Programming Languages and Operating System (ASPLOS), pages 297-310, 2016.

    [9] Manshadi M H, Gildea D, Allen J F. Integrating Programming by Example and Natural Language Programming. In: Proc. of the 27th AAAI Conf. on Artificial Intelligence. 2013. AAAI Conf. on Artificial Intelligence. 2013.

    [10] Bodik R, Solar-Lezama A. Program synthesis by sketching[J]. Dissertations & Theses - Gradworks, 2008.

    [11] Murali V, Chaudhuri S, Jermaine C. Bayesian Sketch Learning for Program Synthesis[J]. 2017.

    [12] Desai A, Gulwani S, Hingorani V, et al. Program Synthesis using Natural Language[J]. 2016.

    [13] Yaghmazadeh N, Wang Y, Dillig I, et al. Type- and Content-Driven Synthesis of SQL Queries from Natural Language[J]. 2017.

    [14] Manshadi M, Keenan C, Allen J. Using the crowd to do natural language programming. In: Proc. of the 26th AAAI Conf. on Artificial Intelligence, Workshop on Human-Com-puter Interaction. 2012.

    [15] Feng Y, Martins R, Van Geffen J, et al. Component-based synthesis of table consolidation and transformation tasks from examples. In: Proc. of the 38th ACM SIGPLAN Conf. on Programming Language Design and Implementation. ACM, 2017: 422-436.[doi: 10. 1145/3062341. 3062351]

    [16] Gulwani S, Jha S, Tiwari A, et al. Synthesis of loop-free programs[J]. ACM SIGPLAN Notices, 2011, 46(6): 62.

    [17] Huang K, Qiu X, Tian Q, et al. Reconciling Enumerative and Symbolic Search in Syntax-Guided Synthesis[J]. 2018.

    [18] Gulwani, S., Harris, W. R., Singh, R.: Spreadsheet data manipulation using examples. Commun. ACM 55(8), 97–105 (Aug 2012), http://doi.acm.org/10.1145/2240236.2240260

    [19] Alur R, Bodik R, Juniwal G, et al. Syntax-guided synthesis[C]// Formal Methods in Computer-aided Design. IEEE, 2013.

    [20] Alur R, Fisman D, Singh R, et al. SyGuS-Comp 2017: Results and Analysis[J]. 2017.

    少妇猛男粗大的猛烈进出视频 | 天美传媒精品一区二区| av卡一久久| 国产片特级美女逼逼视频| 亚洲一区高清亚洲精品| 午夜精品一区二区三区免费看| 久久久久国产网址| 国产一区二区三区av在线| 精品久久久久久久久av| 嫩草影院入口| 高清毛片免费看| 91精品一卡2卡3卡4卡| av在线蜜桃| 久久精品久久久久久噜噜老黄 | 久久久久免费精品人妻一区二区| 日韩av在线免费看完整版不卡| 高清日韩中文字幕在线| 免费观看性生交大片5| 三级毛片av免费| 乱码一卡2卡4卡精品| 不卡视频在线观看欧美| 亚洲精品成人久久久久久| 国产精品日韩av在线免费观看| 午夜免费激情av| 久久久久久久国产电影| 人妻制服诱惑在线中文字幕| 欧美日韩在线观看h| 欧美一区二区国产精品久久精品| 国产淫片久久久久久久久| 老女人水多毛片| 色综合色国产| 99久久精品热视频| 男插女下体视频免费在线播放| 直男gayav资源| 网址你懂的国产日韩在线| 亚洲国产精品sss在线观看| 日韩强制内射视频| 欧美xxxx性猛交bbbb| 日韩视频在线欧美| 两个人的视频大全免费| 九九热线精品视视频播放| 久久久国产成人免费| 成人美女网站在线观看视频| 午夜福利网站1000一区二区三区| 久久久精品94久久精品| 99热6这里只有精品| 成人欧美大片| 波多野结衣高清无吗| 久久久久久久午夜电影| 三级国产精品片| 久久精品熟女亚洲av麻豆精品 | 中文欧美无线码| 深爱激情五月婷婷| 亚洲av不卡在线观看| 两性午夜刺激爽爽歪歪视频在线观看| 亚洲精品日韩av片在线观看| 免费搜索国产男女视频| 十八禁国产超污无遮挡网站| 男的添女的下面高潮视频| 少妇的逼好多水| 国产片特级美女逼逼视频| 啦啦啦观看免费观看视频高清| 成人毛片60女人毛片免费| 欧美精品国产亚洲| 国产片特级美女逼逼视频| 啦啦啦韩国在线观看视频| 麻豆久久精品国产亚洲av| 欧美精品国产亚洲| 国产亚洲一区二区精品| 国产精品国产高清国产av| 久久久久精品久久久久真实原创| 少妇猛男粗大的猛烈进出视频 | 国产一级毛片在线| 亚洲欧美日韩东京热| 国产 一区精品| 午夜亚洲福利在线播放| 亚洲国产精品久久男人天堂| 成人毛片60女人毛片免费| 国产一区二区在线av高清观看| 久99久视频精品免费| 国产精品野战在线观看| 国产三级在线视频| 亚洲婷婷狠狠爱综合网| 啦啦啦观看免费观看视频高清| 1000部很黄的大片| 狂野欧美激情性xxxx在线观看| 99热全是精品| 成年版毛片免费区| 国产国拍精品亚洲av在线观看| 国产片特级美女逼逼视频| 国产精品野战在线观看| www日本黄色视频网| 欧美zozozo另类| 欧美成人午夜免费资源| 国产精品一区二区性色av| 国产av不卡久久| 乱系列少妇在线播放| 成人午夜精彩视频在线观看| 日本色播在线视频| 亚洲综合精品二区| 看黄色毛片网站| 国产极品天堂在线| 一夜夜www| 欧美极品一区二区三区四区| 亚洲av日韩在线播放| 国产成人福利小说| 免费看日本二区| 黄色一级大片看看| 亚洲av成人av| 水蜜桃什么品种好| 国产成人一区二区在线| 欧美又色又爽又黄视频| 国产精品人妻久久久影院| 午夜福利视频1000在线观看| 欧美高清性xxxxhd video| 看十八女毛片水多多多| 天堂√8在线中文| 日韩 亚洲 欧美在线| 欧美高清成人免费视频www| 欧美日韩在线观看h| 色播亚洲综合网| 在线播放国产精品三级| 中文字幕av成人在线电影| 舔av片在线| 特大巨黑吊av在线直播| 寂寞人妻少妇视频99o| 日本猛色少妇xxxxx猛交久久| 狂野欧美白嫩少妇大欣赏| 中国美白少妇内射xxxbb| eeuss影院久久| 成人无遮挡网站| 又黄又爽又刺激的免费视频.| 我的老师免费观看完整版| 国产成人福利小说| 欧美高清性xxxxhd video| 欧美日韩一区二区视频在线观看视频在线 | 国产亚洲一区二区精品| 国产老妇女一区| 久久精品影院6| 人妻系列 视频| 亚洲最大成人中文| 亚洲国产欧洲综合997久久,| 国产一级毛片在线| av在线蜜桃| 成人漫画全彩无遮挡| 欧美成人免费av一区二区三区| 亚洲av二区三区四区| 97超视频在线观看视频| 狂野欧美白嫩少妇大欣赏| 国产成人freesex在线| 九九久久精品国产亚洲av麻豆| 国产亚洲av嫩草精品影院| 免费一级毛片在线播放高清视频| 久久精品久久久久久噜噜老黄 | 波多野结衣高清无吗| 日日干狠狠操夜夜爽| 国产又黄又爽又无遮挡在线| 国产午夜福利久久久久久| 婷婷六月久久综合丁香| 最近的中文字幕免费完整| 免费看光身美女| 免费电影在线观看免费观看| a级毛色黄片| 99久久九九国产精品国产免费| 美女黄网站色视频| 嘟嘟电影网在线观看| 最近中文字幕2019免费版| 精品久久国产蜜桃| 色尼玛亚洲综合影院| 国产精品综合久久久久久久免费| 一个人观看的视频www高清免费观看| 国产精品永久免费网站| 亚洲精品久久久久久婷婷小说 | 国产伦理片在线播放av一区| 一本—道久久a久久精品蜜桃钙片 精品乱码久久久久久99久播 | 精品久久久久久电影网 | 五月伊人婷婷丁香| 亚洲欧美一区二区三区国产| av天堂中文字幕网| 我要搜黄色片| 91精品国产九色| 日本-黄色视频高清免费观看| 舔av片在线| av线在线观看网站| 久久99蜜桃精品久久| 日韩高清综合在线| 国产精品99久久久久久久久| 久久婷婷人人爽人人干人人爱| 国产真实乱freesex| 麻豆成人av视频| 美女黄网站色视频| 午夜精品国产一区二区电影 | 国产一区有黄有色的免费视频 | 婷婷六月久久综合丁香| 久久精品久久久久久久性| 人体艺术视频欧美日本| 国产黄片视频在线免费观看| 久久这里有精品视频免费| 日韩中字成人| 少妇人妻精品综合一区二区| 亚洲中文字幕日韩| 岛国在线免费视频观看| 久久久久久久久中文| 国内揄拍国产精品人妻在线| 久久精品国产亚洲网站| 欧美日韩一区二区视频在线观看视频在线 | 特级一级黄色大片| 少妇的逼好多水| 久久久久久久国产电影| 日产精品乱码卡一卡2卡三| 天天躁日日操中文字幕| 国产又色又爽无遮挡免| 国产精品国产三级国产av玫瑰| 少妇人妻精品综合一区二区| 欧美日韩一区二区视频在线观看视频在线 | 日韩,欧美,国产一区二区三区 | 亚洲,欧美,日韩| 色吧在线观看| 18禁动态无遮挡网站| 身体一侧抽搐| 色播亚洲综合网| 中文字幕免费在线视频6| 天堂中文最新版在线下载 | 国产 一区精品| 国产精华一区二区三区| h日本视频在线播放| 久久久久久国产a免费观看| 精品久久久久久成人av| 国产三级在线视频| 欧美xxxx性猛交bbbb| 老司机影院毛片| 最近视频中文字幕2019在线8| av线在线观看网站| 日本午夜av视频| 国产精品久久久久久精品电影小说 | 国产精品三级大全| 久久人妻av系列| 国产真实伦视频高清在线观看| 久久国内精品自在自线图片| 欧美最新免费一区二区三区| 91在线精品国自产拍蜜月| 精品国内亚洲2022精品成人| 亚洲av男天堂| 欧美3d第一页| 欧美又色又爽又黄视频| 午夜爱爱视频在线播放| av福利片在线观看| 久久久成人免费电影| 国产在视频线精品| 99热精品在线国产| 亚洲av.av天堂| av女优亚洲男人天堂| 欧美97在线视频| 在线观看一区二区三区| 成人鲁丝片一二三区免费| 三级国产精品欧美在线观看| 精品久久久久久久末码| 色综合色国产| 久久精品久久精品一区二区三区| 日日摸夜夜添夜夜添av毛片| 欧美一区二区国产精品久久精品| 联通29元200g的流量卡| 国产欧美另类精品又又久久亚洲欧美| 精品久久久久久久久久久久久| 只有这里有精品99| 非洲黑人性xxxx精品又粗又长| 精品熟女少妇av免费看| 一区二区三区乱码不卡18| 高清视频免费观看一区二区 | 亚洲国产精品成人久久小说| 国产高清不卡午夜福利| 国产精品久久久久久av不卡| 天天一区二区日本电影三级| 久久综合国产亚洲精品| 久久亚洲国产成人精品v| 亚洲熟妇中文字幕五十中出| 日本一本二区三区精品| 免费av毛片视频| 成人二区视频| 免费看a级黄色片| 老司机影院成人| 亚洲经典国产精华液单| 亚洲av熟女| 日韩在线高清观看一区二区三区| 亚洲自偷自拍三级| 国产一区有黄有色的免费视频 | 国产精品三级大全| 中文字幕久久专区| 亚洲精品色激情综合| 精品99又大又爽又粗少妇毛片| 欧美又色又爽又黄视频| 免费黄色在线免费观看| 国产爱豆传媒在线观看| 日本欧美国产在线视频| 日本黄色视频三级网站网址| 能在线免费看毛片的网站| 少妇熟女aⅴ在线视频| a级毛片免费高清观看在线播放| 亚洲av成人精品一区久久| 草草在线视频免费看| 成人鲁丝片一二三区免费| 日韩av不卡免费在线播放| 午夜精品在线福利| 天堂中文最新版在线下载 | 国产精品,欧美在线| 99久国产av精品| 国产极品天堂在线| 韩国av在线不卡| 中文天堂在线官网| 国产片特级美女逼逼视频| 国产熟女欧美一区二区| 一本久久精品| 人体艺术视频欧美日本| 日韩高清综合在线| 人体艺术视频欧美日本| 亚洲精品国产av成人精品| 免费无遮挡裸体视频| 日韩成人av中文字幕在线观看| 欧美高清成人免费视频www| 少妇的逼好多水| 两性午夜刺激爽爽歪歪视频在线观看| 天美传媒精品一区二区| 伊人久久精品亚洲午夜| 久久99热这里只频精品6学生 | 长腿黑丝高跟| 大又大粗又爽又黄少妇毛片口| 婷婷色综合大香蕉| 嫩草影院入口| 18禁动态无遮挡网站| 一本久久精品| 成人美女网站在线观看视频| 日韩av不卡免费在线播放| 国产精品女同一区二区软件| 精品久久久久久成人av| 网址你懂的国产日韩在线| 国产精品女同一区二区软件| 国产免费男女视频| 视频中文字幕在线观看| 日韩,欧美,国产一区二区三区 | 亚洲成av人片在线播放无| 国产成人福利小说| videos熟女内射| 亚洲av成人精品一二三区| 中文字幕制服av| 精品人妻视频免费看| 美女高潮的动态| 自拍偷自拍亚洲精品老妇| 少妇熟女欧美另类| 22中文网久久字幕| 欧美xxxx性猛交bbbb| 欧美一区二区精品小视频在线| 99久国产av精品国产电影| 中文亚洲av片在线观看爽| 精品久久久久久久末码| 国产老妇女一区| 欧美成人一区二区免费高清观看| 夜夜看夜夜爽夜夜摸| 性色avwww在线观看| av天堂中文字幕网| 禁无遮挡网站| 午夜福利在线观看免费完整高清在| 插阴视频在线观看视频| 日本-黄色视频高清免费观看| 日本一二三区视频观看| 亚洲电影在线观看av| 男人的好看免费观看在线视频| 熟女电影av网| 中文乱码字字幕精品一区二区三区 | 中文天堂在线官网| 一级黄片播放器| 久久久午夜欧美精品| 国产黄色视频一区二区在线观看 | 老司机福利观看| 少妇丰满av| 欧美极品一区二区三区四区| 精品久久久久久电影网 | 男女国产视频网站| 色5月婷婷丁香| 一级二级三级毛片免费看| 在线播放无遮挡| 深爱激情五月婷婷| 国产精品乱码一区二三区的特点| 毛片一级片免费看久久久久| 色网站视频免费| 亚洲精品国产av成人精品| 永久网站在线| 国产精品美女特级片免费视频播放器| 久久99精品国语久久久| 极品教师在线视频| 九九久久精品国产亚洲av麻豆| 99久久成人亚洲精品观看| 免费av毛片视频| 国产色爽女视频免费观看| 中文精品一卡2卡3卡4更新| 成人美女网站在线观看视频| 丰满乱子伦码专区| 国产午夜精品论理片| 久久综合国产亚洲精品| 欧美不卡视频在线免费观看| 国产精品久久久久久av不卡| 可以在线观看毛片的网站| 久久精品夜夜夜夜夜久久蜜豆| 在线免费十八禁| 国产精品久久久久久久电影| 听说在线观看完整版免费高清| 看黄色毛片网站| 中国国产av一级| 国产午夜精品论理片| 91在线精品国自产拍蜜月| 白带黄色成豆腐渣| 美女cb高潮喷水在线观看| 日本黄大片高清| 日韩 亚洲 欧美在线| 国产亚洲5aaaaa淫片| 免费看日本二区| 成人国产麻豆网| videos熟女内射| 精品午夜福利在线看| 秋霞伦理黄片| 视频中文字幕在线观看| 波野结衣二区三区在线| 国产精品嫩草影院av在线观看| 亚洲精品aⅴ在线观看| 国产黄色视频一区二区在线观看 | 亚洲不卡免费看| 久久99热这里只有精品18| 日本一本二区三区精品| a级毛片免费高清观看在线播放| 色5月婷婷丁香| 欧美zozozo另类| 国产白丝娇喘喷水9色精品| 日韩强制内射视频| 小蜜桃在线观看免费完整版高清| 校园人妻丝袜中文字幕| 国产伦一二天堂av在线观看| 激情 狠狠 欧美| 少妇的逼水好多| 日本免费a在线| 欧美激情久久久久久爽电影| 美女cb高潮喷水在线观看| 国产爱豆传媒在线观看| 一级av片app| 午夜a级毛片| videos熟女内射| 日本猛色少妇xxxxx猛交久久| 亚州av有码| 国产成人a区在线观看| 97在线视频观看| 国产伦在线观看视频一区| 两个人视频免费观看高清| .国产精品久久| 精品欧美国产一区二区三| 91午夜精品亚洲一区二区三区| 国产精品一二三区在线看| www日本黄色视频网| 中文字幕人妻熟人妻熟丝袜美| 欧美精品国产亚洲| 国产伦在线观看视频一区| 少妇猛男粗大的猛烈进出视频 | 看十八女毛片水多多多| 日韩亚洲欧美综合| 国产精品福利在线免费观看| 在线播放国产精品三级| 成年女人永久免费观看视频| 日韩,欧美,国产一区二区三区 | 日日啪夜夜撸| 成人亚洲精品av一区二区| 色吧在线观看| 免费av观看视频| 99国产精品一区二区蜜桃av| 永久网站在线| 啦啦啦啦在线视频资源| 亚洲av.av天堂| 国产激情偷乱视频一区二区| 一夜夜www| 精品国产一区二区三区久久久樱花 | 亚洲在线观看片| 男女国产视频网站| 看十八女毛片水多多多| av女优亚洲男人天堂| 欧美日韩在线观看h| 国产乱人偷精品视频| 天堂√8在线中文| 伦精品一区二区三区| 亚洲高清免费不卡视频| 国产女主播在线喷水免费视频网站 | 欧美成人午夜免费资源| 床上黄色一级片| 精品少妇黑人巨大在线播放 | 亚洲精品久久久久久婷婷小说 | 精品人妻视频免费看| 天堂影院成人在线观看| 国产亚洲午夜精品一区二区久久 | 欧美日本视频| 一边摸一边抽搐一进一小说| 国产乱人视频| 女的被弄到高潮叫床怎么办| 久久久久久久久久黄片| 久久亚洲国产成人精品v| 亚洲婷婷狠狠爱综合网| 日韩av在线免费看完整版不卡| 欧美极品一区二区三区四区| 一边亲一边摸免费视频| av又黄又爽大尺度在线免费看 | 日韩av在线免费看完整版不卡| 一级黄片播放器| 蜜臀久久99精品久久宅男| a级毛色黄片| 欧美日本亚洲视频在线播放| 韩国av在线不卡| 人人妻人人澡欧美一区二区| 麻豆av噜噜一区二区三区| 日本与韩国留学比较| 免费看av在线观看网站| 欧美日本亚洲视频在线播放| 美女高潮的动态| 亚洲国产精品sss在线观看| 晚上一个人看的免费电影| eeuss影院久久| 成人亚洲精品av一区二区| 日韩精品有码人妻一区| 亚洲久久久久久中文字幕| 婷婷六月久久综合丁香| 国产av一区在线观看免费| 七月丁香在线播放| 观看免费一级毛片| 亚洲国产欧美在线一区| 欧美潮喷喷水| 国产视频首页在线观看| 日韩成人伦理影院| 午夜亚洲福利在线播放| 大香蕉久久网| 丰满少妇做爰视频| 国产午夜福利久久久久久| 99在线视频只有这里精品首页| 精品人妻偷拍中文字幕| 久久人人爽人人片av| 精品久久久久久电影网 | 久久韩国三级中文字幕| 久久久亚洲精品成人影院| 国产精品蜜桃在线观看| 欧美精品国产亚洲| www.av在线官网国产| 禁无遮挡网站| 哪个播放器可以免费观看大片| 国产免费又黄又爽又色| 亚洲av熟女| 午夜福利高清视频| 欧美成人精品欧美一级黄| 国产亚洲91精品色在线| 少妇高潮的动态图| 成人av在线播放网站| 少妇被粗大猛烈的视频| 看片在线看免费视频| 精品久久久久久久末码| av在线观看视频网站免费| 观看免费一级毛片| 日本爱情动作片www.在线观看| 两个人的视频大全免费| 九九爱精品视频在线观看| 色综合站精品国产| 美女脱内裤让男人舔精品视频| 日本黄色片子视频| 一本—道久久a久久精品蜜桃钙片 精品乱码久久久久久99久播 | 日韩一区二区三区影片| 亚洲精品乱久久久久久| 人妻制服诱惑在线中文字幕| 能在线免费观看的黄片| 久久这里只有精品中国| 久久亚洲国产成人精品v| 国产精华一区二区三区| 五月伊人婷婷丁香| 午夜视频国产福利| 久久久久九九精品影院| 国产精品无大码| 大又大粗又爽又黄少妇毛片口| 99久久无色码亚洲精品果冻| 国产精品国产三级专区第一集| av在线老鸭窝| 日日摸夜夜添夜夜爱| 亚洲精品日韩在线中文字幕| av在线老鸭窝| 欧美激情在线99| 男女啪啪激烈高潮av片| 国产在视频线在精品| 日韩成人av中文字幕在线观看| 一区二区三区高清视频在线| 亚洲精品一区蜜桃| 99九九线精品视频在线观看视频| 亚洲欧美精品自产自拍| 欧美高清性xxxxhd video| 青春草亚洲视频在线观看| 日本黄大片高清| 亚洲不卡免费看| 深爱激情五月婷婷| 日韩欧美 国产精品| 亚洲精品乱码久久久v下载方式| a级毛片免费高清观看在线播放| 在线天堂最新版资源| 特大巨黑吊av在线直播| 国产精品爽爽va在线观看网站| 国产精品久久久久久久电影| 女的被弄到高潮叫床怎么办| 九九热线精品视视频播放| 欧美日韩一区二区视频在线观看视频在线 | 色吧在线观看| 黄色配什么色好看| 三级国产精品片| 国产国拍精品亚洲av在线观看| 老司机影院毛片| 久热久热在线精品观看| 国产亚洲最大av| 精品熟女少妇av免费看| 欧美成人午夜免费资源| 免费观看人在逋|