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

    基于Event-B的形式化建模關(guān)鍵技術(shù)研究

    2014-02-10 05:46:04陳志慧
    電子科技大學(xué)學(xué)報 2014年3期
    關(guān)鍵詞:初始模型精化樹型

    吳 勁,陳志慧

    (電子科技大學(xué)計(jì)算機(jī)科學(xué)與工程學(xué)院 成都 610054)

    隨著全球信息化的不斷深入,軟件系統(tǒng)具有規(guī)模大且復(fù)雜度高的特點(diǎn),而自然語言描述的軟件需求具有不確定性、二義性且缺乏對軟件需求進(jìn)行嚴(yán)格檢查的有效途徑,因此無法確保軟件需求的正確性、完善性和合理性。軟件工程的實(shí)踐表明,在開發(fā)過程中,錯誤發(fā)現(xiàn)得越早,修復(fù)得越早,付出的代價越小。為了確保軟件的質(zhì)量,在軟件開發(fā)的早期需求分析階段,采用形式化方法描述軟件的需求,并驗(yàn)證模型的正確性,是確保軟件質(zhì)量的有效方法。

    國內(nèi)外眾多學(xué)者研究如何有效地將形式化方法應(yīng)用于實(shí)際的軟件開發(fā)過程,在歐美國家已有將形式化方法應(yīng)用到實(shí)際項(xiàng)目的成功案例。如法國采用B形式化方法開發(fā)了高速鐵路控制系統(tǒng),獲得成功[1]。而Event-B方法是B方法[2]的簡化,并吸取了其他的形式化方法的優(yōu)點(diǎn),包括Action Systems[3]、TLA+[4]、UNITY[5]等,適合開發(fā)安全性要求較高的大規(guī)模高復(fù)雜度軟件系統(tǒng)。

    本文以文件系統(tǒng)建模為例,基于Rodin平臺采用Event-B語言,以逐步精化的方式向模型中添加屬性和功能達(dá)到豐富、完善、細(xì)化模型的目的,并驗(yàn)證模型的正確性。

    1 Event-B和Rodin平臺

    Event-B是一種用于進(jìn)行系統(tǒng)級建模和分析的形式化方法[6],它基于集合理論,在不同的抽象級構(gòu)建系統(tǒng),并逐步精細(xì)化,使用數(shù)學(xué)證明來保證不同精化級別之間的一致性。Rodin是一種用于開發(fā)復(fù)雜高可信軟件系統(tǒng)的開放工具平臺,它基于Event-B形式化方法,提供對精化和數(shù)學(xué)證明的自然支持。

    Event-B軟件系統(tǒng)模型如圖1所示,包含兩部分:靜態(tài)屬性和行為屬性,分別用Context和Machine進(jìn)行描述。Context由集合、常量、公理和定理組成,公理用于描述集合和常量之間的關(guān)系,Context可以被繼承,也可以被Machine引用。Machine由狀態(tài)、不變式、事件和定理組成,其中狀態(tài)是用變量進(jìn)行定義的在模型中必須保證無論變量的值如何改變,不變式都成立,這一性質(zhì)必須以證明義務(wù)的方式進(jìn)行證明[7]。一個Machine可以包含多個原子事件,原子事件代表模型發(fā)生改變的方式。

    圖1 Event-B模型

    建模的過程就是一個逐步精化的過程,精化方式有兩種:精化Machine的狀態(tài)和精化Machine的事件,兩種方式可同時使用。通常采用多個具體事件精化一個抽象事件,把多個抽象事件合并成一個抽象事件或引入新事件的方式來對Machine的事件進(jìn)行精化。通過模型驗(yàn)證來確保軟件需求模型的正確性,Rodin平臺為Event-B模型驗(yàn)證提供了支持。

    2 基于Event-B的形式化建模

    本文基于Rodin平臺采用Event-B語言對文件系統(tǒng)進(jìn)行建模,首先建立文件系統(tǒng)的樹型抽象模型,然后采用逐步精化的方式向模型中添加更多的設(shè)計(jì)細(xì)節(jié),達(dá)到擴(kuò)大模型的目的,并證明其正確性。

    2.1 文件系統(tǒng)的初始模型

    首先建立文件系統(tǒng)的初始模型,在這個抽象級別中將建立一個樹型文件系統(tǒng)的初始模型,其需求描述如表1所示(Req代表需求)。

    表1 初始模型的需求描述

    2.1.1 Context的定義

    首先創(chuàng)建樹型文件系統(tǒng)初始模型的靜態(tài)部分CTX01,定義集合OBJECT用于描述樹型結(jié)構(gòu)中的所有節(jié)點(diǎn),定義常量root、objrel、tcl、objfn分別表示根節(jié)點(diǎn)、OBJECT到OBJECT的有序?qū)Φ膬缂鬟f閉包、子節(jié)點(diǎn)與父節(jié)點(diǎn)的對應(yīng)關(guān)系,它們必須滿足以下公理:

    2.1.2 Machine定義

    創(chuàng)建樹型文件系統(tǒng)初始模型的動態(tài)部分MCH00,引用CTX01,定義變量objects、parent,其中objects表示樹型結(jié)構(gòu)中的節(jié)點(diǎn),parent表示樹型結(jié)構(gòu)中節(jié)點(diǎn)的父子對應(yīng)關(guān)系,定義以下不變式:

    inv1表示objects是OBJECT的子集。inv6表示根節(jié)點(diǎn)是objects的一個元素,在這個抽象模型中,初始化事件將objects初始化為只包含root的集合,parent初始化為空集,規(guī)約了需求Req1.1。inv8表示parents是一個全函數(shù),這個全函數(shù)定義了除根節(jié)點(diǎn)外的子節(jié)點(diǎn)到父節(jié)點(diǎn)的映射,實(shí)際表示除根節(jié)點(diǎn)外任何節(jié)點(diǎn)都有一個父節(jié)點(diǎn),規(guī)約了需求Req1.2。inv10規(guī)約需求Req1.3,確保在樹型文件系統(tǒng)中沒有環(huán),這個不變式的定義方式由文獻(xiàn)[2]提出,parent~[s]得到的是集合s的直接子節(jié)點(diǎn),如果síparent~[s]且s不為空,則表示parent關(guān)系中存在環(huán),因此這個不變式表示s為空集,即parent關(guān)系中沒有環(huán)。

    定義以下定理:

    本文通過定理thm4對于需求Req1.4進(jìn)行規(guī)約,確保從根節(jié)點(diǎn)能夠到達(dá)每個節(jié)點(diǎn),定理thm3用來證明thm2,定理thm4用來證明thm3。

    在MCH00中,定義了5個抽象事件:創(chuàng)建(newobj)、刪除(delete)、刪除子樹(deltree)、復(fù)制(copy)和移動(move),其中事件copy和move操作類似,以copy為例說明事件的定義和規(guī)約方法,其定義如下:

    2.2 第一次精化

    本節(jié)對初始模型進(jìn)行第一次精化,對初始模型中的節(jié)點(diǎn)進(jìn)行了區(qū)別,引入了文件和目錄,第一次精化模型的需求描述如表2所示。

    表2 第一次精化模型的需求描述

    創(chuàng)建MCH01對MCH00進(jìn)行精化,在MCH01中定義了變量files、directories,繼續(xù)使用了MCH00中的變量parent。變量files描述了樹型文件系統(tǒng)中的所有文件的集合,變量directories描述了樹型文件系統(tǒng)中的所有目錄的集合。定義了以下不變式:

    不變式inv2定義了變量files的數(shù)據(jù)類型,表示files是objects的子集,描述的是樹型文件系統(tǒng)中的文件。不變式inv3定義了變量directories的數(shù)據(jù)類型,表示directories是objects的子集,描述的是樹型文件系統(tǒng)中的目錄。不變式inv4表示files和directories沒有交集,即不存在即是文件又是目錄的節(jié)點(diǎn),inv5表示文件系統(tǒng)中只有文件和目錄這兩種實(shí)體,inv4和inv5共同規(guī)約了Req2.1。不變式inv6表示root是一個目錄,即規(guī)約了Req2.2。不變式inv1表示在parent關(guān)系中的父節(jié)點(diǎn)都是目錄類型,即規(guī)約了Req2.3。

    在初始化事件中,files初始化為空集表示,沒有任何文件存在,directories初始化為只含有根目錄root,因?yàn)槌跏蓟闆r下只有一個root目錄,所以也就不存在相關(guān)的parent關(guān)系,即parent等于f。在machine MCH01中,不變式inv5使用了machine MCH00中的變量objects,所以inv5是一個聯(lián)接不變式,且在inv5將抽象變量objects定義為files∪directories,所以machine MCH01中的所有objects都可以用進(jìn)行替代。

    在此次的事件精化的步驟是:事件mkdir和crt_file共同精化抽象事件newobj;事件move精化抽象事件move;事件delfile和rmdir共同精化抽象事件delete;事件copy精化抽象事件copy;事件deltree精化抽象事件deltree。

    2.3 第二次精化

    在本次精化階段,為模型引入了文件內(nèi)容,文件緩沖區(qū)和意外掉電處理,根據(jù)前面的描述,第二次精化模型的需求描述如表3所示。

    表3 第二次精化模型的需求描述

    2.3.1 Context的精化

    創(chuàng)建繼承CTX01的CTX02,增加3個集合DATA、NAME、DATE,其中DATA表示數(shù)據(jù)塊,NAME表示名字,DATE表示時間。它們必須滿足以下公理:

    CONTENT表示文件內(nèi)容,axm1說明是CONTENT是從N映射到DATA的部分函數(shù);axm2表示文件的內(nèi)容可以為空;axm7表示文件內(nèi)容的長度是有限的。

    2.3.2 事件的精化

    創(chuàng)建machine MCH02對machine MCH01進(jìn)行精化,引用CTX02。MCH02的不變式定義如下:

    不變式inv1表示fcontent是一個從filles映射到CONTENT的全函數(shù),規(guī)約了需求Req3.1。inv2、inv3、inv4規(guī)約了需求Req3.2。inv5、inv6規(guī)約了需求Req3.3。inv7、inv8規(guī)約了需求Req3.4。

    在此次精化過程中,添加了新事件w_open、w ritefile、r_open、readfile、close、power_loss、power_on。對事件mkdir、crt_file、move、delfile、rmdir、copy、deltree分別精化相應(yīng)的抽象事件。

    2.4 第三次精化

    本次精化的目標(biāo)就是把名字、創(chuàng)建時間、修改時間以及文件大小這4個屬性引入模型中。第三次精化模型的需求描述如表4所示。

    表4 第三次精化模型的需求描述

    創(chuàng)建MCH03,對MCH02進(jìn)行精化。在MCH03中,增加了4個變量,其中變量oname表示文件或目錄的名字,變量dateCreated表示文件或目錄的創(chuàng)建時間,變量dateLastModified表示文件或目錄的最后修改時間,變量file_size表示文件的大小。定義了以下不變式:

    不變式inv1規(guī)約了需求Req4.1,inv2規(guī)約了需求Req4.2,inv3規(guī)約了需求Req4.3,inv4規(guī)約了需求Req4.4。

    在此次精化過程中,增加了新事件rename,對MCH02中的相應(yīng)事件mkdir、crt_file、move、delfile、rmdir、copy、deltree、w ritefile分別進(jìn)行了精化。

    3 模型驗(yàn)證

    通過3次精化文件系統(tǒng)的模型已經(jīng)建立,然而工作并沒有結(jié)束,用形式化方法建立的模型要經(jīng)過嚴(yán)格地數(shù)學(xué)驗(yàn)證才可以確保模型的正確性,即模型生成的所有證明義務(wù)都得以證明才表示建立的模型是正確的。Rodin平臺不但為建立模型提供了開發(fā)環(huán)境而且為模型的驗(yàn)證提供了支持,Rodin為開發(fā)者提供了一套自動化模型驗(yàn)證工具,簡化了復(fù)雜且繁瑣的驗(yàn)證過程。本文建立的樹型文件系統(tǒng)模型生成的所有證明義務(wù)都得以證明,證明結(jié)果如圖2所示。

    4 結(jié) 束 語

    軟件系統(tǒng)的規(guī)模和復(fù)雜程度不斷提高而傳統(tǒng)的需求分析方法難以確保軟件的正確性和一致性,為軟件系統(tǒng)的質(zhì)量埋下了隱患。本文以文件系統(tǒng)建模為例,在軟件開發(fā)的早期需求分析階段,采用Event-B形式化方法描述軟件的需求,采用逐步精化的方式建立并驗(yàn)證模型,確保了軟件的正確性,對復(fù)雜軟件系統(tǒng)的開發(fā)具有較好的借鑒作用。

    [1] ABRIAL J R. Formal methods: Theory becoming practice[J].Journal of Universal Computer Science, 2007, 13(5):619-628.

    [2] ABRIAL J R. The B-book: Assigning programs to meanings[M]. Cambridge: Cambridge University Press,1996.

    [3] BACK R J, KURKI-SUONIO R. Distributed cooperation w ith action systems[J]. ACM Transaction on Programming Languages and Systems, 1988, 10(4): 513-554.

    [4] LAMPORT L. Specifying systems: the TLA+ language and tools for hardware and software engineers[M]. Boston:Addison-Wesley, 1999.

    [5] CHANDY K M, M ISRA J. Parallel program design, a foundation[M]. Boston: Addison-Wesley, 1988.

    [6] ABRIAL J R. Modelling in Event-B: System and software engineering[M]. Cambridge: Cambridge University Press,2010.

    [7] HALLERSTEDE S. On the purpose of Event-B proof obligations[J]. Formal Aspects of Computing, 2011, 23(1):133-150.

    編 輯 漆 蓉

    猜你喜歡
    初始模型精化樹型
    基于地質(zhì)模型的無井區(qū)復(fù)頻域地震反演方法
    勘 誤
    遼寧絲綢(2022年3期)2022-11-24 16:06:07
    一種快速養(yǎng)成的柞樹樹型—壓干樹型
    遼寧絲綢(2022年2期)2022-07-09 03:40:02
    n-精化與n-互模擬之間相關(guān)問題的研究
    大地電磁中約束初始模型的二維反演研究
    n-精化關(guān)系及其相關(guān)研究
    電子世界(2017年2期)2017-02-17 00:54:00
    基于樹型結(jié)構(gòu)的防空力量配屬方案生成模型研究
    地震包絡(luò)反演對局部極小值的抑制特性
    基于逆算子估計(jì)的AVO反演方法研究
    Petri網(wǎng)結(jié)點(diǎn)精化及其應(yīng)用
    久久热在线av| 日本a在线网址| 色在线成人网| 在线观看舔阴道视频| x7x7x7水蜜桃| 大香蕉久久成人网| 欧美黑人欧美精品刺激| 国产野战对白在线观看| 又黄又爽又免费观看的视频| 伦理电影免费视频| 麻豆av在线久日| 国产精品.久久久| 国产精品久久久人人做人人爽| 一区二区三区激情视频| 亚洲欧美一区二区三区久久| 法律面前人人平等表现在哪些方面| 18禁裸乳无遮挡免费网站照片 | 国产精品 国内视频| 国产深夜福利视频在线观看| 国产亚洲精品一区二区www | 国产在线一区二区三区精| 香蕉久久夜色| 国产色视频综合| 搡老岳熟女国产| 欧美亚洲日本最大视频资源| 国产精品1区2区在线观看. | 国产免费男女视频| 国产精品一区二区在线不卡| 国产av又大| 欧美精品人与动牲交sv欧美| 黄片小视频在线播放| 国产日韩欧美亚洲二区| 热re99久久精品国产66热6| 欧美国产精品va在线观看不卡| 看片在线看免费视频| 日日夜夜操网爽| 搡老乐熟女国产| 99久久精品国产亚洲精品| 夜夜爽天天搞| 亚洲精品粉嫩美女一区| 久久国产精品男人的天堂亚洲| 午夜免费成人在线视频| 麻豆乱淫一区二区| av电影中文网址| 一级毛片高清免费大全| 国产高清videossex| 视频区图区小说| 精品久久久久久久毛片微露脸| 亚洲成人国产一区在线观看| videos熟女内射| 亚洲欧美激情在线| 国精品久久久久久国模美| 国产精品免费大片| 国产成人一区二区三区免费视频网站| 电影成人av| 18禁美女被吸乳视频| 黑丝袜美女国产一区| 深夜精品福利| 午夜福利欧美成人| 日韩免费av在线播放| 在线观看66精品国产| 精品久久久精品久久久| 两个人看的免费小视频| 欧美日韩亚洲国产一区二区在线观看 | 超碰97精品在线观看| 亚洲午夜精品一区,二区,三区| 欧美日韩国产mv在线观看视频| 国精品久久久久久国模美| 91麻豆av在线| av网站在线播放免费| 久久久国产一区二区| 亚洲成a人片在线一区二区| 亚洲人成伊人成综合网2020| 女警被强在线播放| 如日韩欧美国产精品一区二区三区| 久久精品亚洲av国产电影网| 中文字幕人妻熟女乱码| 国产av又大| 一区在线观看完整版| 精品福利永久在线观看| av有码第一页| 一区二区日韩欧美中文字幕| 亚洲av电影在线进入| 人成视频在线观看免费观看| 欧美色视频一区免费| 俄罗斯特黄特色一大片| 色94色欧美一区二区| 国产一区二区三区综合在线观看| 村上凉子中文字幕在线| 久久久久久人人人人人| 香蕉久久夜色| 热re99久久精品国产66热6| 老司机在亚洲福利影院| 一级毛片高清免费大全| 亚洲欧洲精品一区二区精品久久久| 自拍欧美九色日韩亚洲蝌蚪91| 国产精品秋霞免费鲁丝片| 高清毛片免费观看视频网站 | 麻豆成人av在线观看| 欧美精品亚洲一区二区| 亚洲精品一卡2卡三卡4卡5卡| 日日夜夜操网爽| 一级毛片精品| 欧美最黄视频在线播放免费 | 国产一卡二卡三卡精品| av在线播放免费不卡| tube8黄色片| 无遮挡黄片免费观看| 午夜视频精品福利| 乱人伦中国视频| 欧美在线黄色| 亚洲视频免费观看视频| 捣出白浆h1v1| 午夜亚洲福利在线播放| 狠狠狠狠99中文字幕| 欧美精品一区二区免费开放| 69精品国产乱码久久久| 国产欧美日韩综合在线一区二区| 操出白浆在线播放| 别揉我奶头~嗯~啊~动态视频| 国产成人影院久久av| 丝袜人妻中文字幕| 亚洲,欧美精品.| 亚洲全国av大片| 999精品在线视频| 久久久久久久国产电影| tube8黄色片| 啦啦啦免费观看视频1| 精品国产美女av久久久久小说| 在线免费观看的www视频| 亚洲成人国产一区在线观看| 亚洲av美国av| 国产成人精品在线电影| 极品教师在线免费播放| av网站免费在线观看视频| 成人亚洲精品一区在线观看| 窝窝影院91人妻| 亚洲精品一二三| 国产成人系列免费观看| 国产成人欧美在线观看 | 三上悠亚av全集在线观看| 999久久久精品免费观看国产| 建设人人有责人人尽责人人享有的| 欧美精品亚洲一区二区| 色在线成人网| 天天添夜夜摸| 欧美日韩福利视频一区二区| 久久精品熟女亚洲av麻豆精品| 亚洲精品在线美女| 黑人巨大精品欧美一区二区mp4| 国产精品国产高清国产av | 成在线人永久免费视频| 男女免费视频国产| 成人手机av| 美女 人体艺术 gogo| 777米奇影视久久| 久久人妻av系列| 精品国产国语对白av| 亚洲成人免费电影在线观看| 999精品在线视频| 国产精品国产高清国产av | av在线播放免费不卡| 狠狠婷婷综合久久久久久88av| 成年女人毛片免费观看观看9 | 丝袜美腿诱惑在线| 日韩欧美在线二视频 | 日本wwww免费看| 欧美乱色亚洲激情| 宅男免费午夜| 美女 人体艺术 gogo| 国产精品乱码一区二三区的特点 | 久久久久国产精品人妻aⅴ院 | 国产男女内射视频| 欧美 日韩 精品 国产| 亚洲人成77777在线视频| 亚洲成a人片在线一区二区| 亚洲色图av天堂| 在线免费观看的www视频| 欧美日韩一级在线毛片| 亚洲一区中文字幕在线| 久久久久精品人妻al黑| 自拍欧美九色日韩亚洲蝌蚪91| 欧美日韩av久久| 91精品三级在线观看| 日韩有码中文字幕| 久久精品亚洲精品国产色婷小说| 精品乱码久久久久久99久播| 亚洲一区高清亚洲精品| 国产亚洲一区二区精品| 香蕉丝袜av| 多毛熟女@视频| 国产无遮挡羞羞视频在线观看| 色94色欧美一区二区| 亚洲综合色网址| 国产视频一区二区在线看| 一本一本久久a久久精品综合妖精| 久99久视频精品免费| 韩国av一区二区三区四区| 久久精品熟女亚洲av麻豆精品| 欧美日韩视频精品一区| 不卡av一区二区三区| 久久精品国产清高在天天线| 国产成人免费观看mmmm| 老司机靠b影院| 久久中文字幕一级| 久久人人爽av亚洲精品天堂| 国产亚洲精品第一综合不卡| 成年人黄色毛片网站| 99久久99久久久精品蜜桃| 一级a爱片免费观看的视频| 久久精品成人免费网站| 91在线观看av| 天堂√8在线中文| 久久久久久亚洲精品国产蜜桃av| 日本黄色视频三级网站网址 | 老司机在亚洲福利影院| 国产精品一区二区在线观看99| 婷婷丁香在线五月| 亚洲全国av大片| 最近最新中文字幕大全免费视频| 久久青草综合色| 久久国产乱子伦精品免费另类| 日韩人妻精品一区2区三区| av国产精品久久久久影院| 久久国产精品男人的天堂亚洲| 黄片大片在线免费观看| 又黄又粗又硬又大视频| 欧美日本中文国产一区发布| 日韩欧美在线二视频 | 免费久久久久久久精品成人欧美视频| 纯流量卡能插随身wifi吗| 精品免费久久久久久久清纯 | 99精国产麻豆久久婷婷| 黄色a级毛片大全视频| 精品亚洲成a人片在线观看| 色精品久久人妻99蜜桃| 久久精品亚洲精品国产色婷小说| 久久久久精品人妻al黑| av天堂久久9| 日本五十路高清| 1024视频免费在线观看| 咕卡用的链子| 91精品三级在线观看| av网站在线播放免费| 12—13女人毛片做爰片一| 性色av乱码一区二区三区2| 欧美大码av| 午夜福利视频在线观看免费| 久久久国产成人免费| 久久精品亚洲熟妇少妇任你| 久久久久久久午夜电影 | 国产精品一区二区精品视频观看| 成人亚洲精品一区在线观看| 黄色怎么调成土黄色| 搡老岳熟女国产| 国产av又大| 欧美 亚洲 国产 日韩一| 亚洲第一青青草原| 久久久久国产一级毛片高清牌| 妹子高潮喷水视频| 夜夜爽天天搞| 亚洲专区字幕在线| 大香蕉久久网| 黑人欧美特级aaaaaa片| 黄色女人牲交| 岛国毛片在线播放| 男女床上黄色一级片免费看| 久久久久久亚洲精品国产蜜桃av| 亚洲一码二码三码区别大吗| 老熟妇仑乱视频hdxx| 搡老岳熟女国产| 日韩欧美免费精品| 很黄的视频免费| 高潮久久久久久久久久久不卡| 国产1区2区3区精品| 飞空精品影院首页| 久久久精品免费免费高清| 十八禁人妻一区二区| 热99re8久久精品国产| 精品少妇久久久久久888优播| 91精品国产国语对白视频| 亚洲欧美精品综合一区二区三区| 久久精品国产a三级三级三级| 亚洲av日韩精品久久久久久密| 欧美日韩福利视频一区二区| 日日爽夜夜爽网站| 免费一级毛片在线播放高清视频 | 午夜精品在线福利| 一级毛片精品| 国产在线观看jvid| 制服诱惑二区| 看黄色毛片网站| 在线观看一区二区三区激情| 中国美女看黄片| 成人18禁在线播放| 国产高清视频在线播放一区| 99热只有精品国产| 亚洲人成伊人成综合网2020| 午夜激情av网站| 黄片小视频在线播放| 性少妇av在线| 在线观看www视频免费| 亚洲人成77777在线视频| 正在播放国产对白刺激| 大型黄色视频在线免费观看| 夜夜爽天天搞| 黑人操中国人逼视频| 亚洲片人在线观看| 成人黄色视频免费在线看| av不卡在线播放| 日韩免费av在线播放| 国产有黄有色有爽视频| 中文字幕人妻熟女乱码| 岛国在线观看网站| 亚洲国产精品sss在线观看 | 午夜免费观看网址| 久久久国产成人免费| 国产精品国产高清国产av | 欧美乱妇无乱码| 午夜91福利影院| avwww免费| 一级作爱视频免费观看| 咕卡用的链子| 一进一出好大好爽视频| а√天堂www在线а√下载 | 成人影院久久| 丝袜美足系列| 婷婷精品国产亚洲av在线 | 精品高清国产在线一区| 精品亚洲成a人片在线观看| 欧美乱妇无乱码| 热99国产精品久久久久久7| 亚洲精品久久成人aⅴ小说| 久久久国产成人免费| 亚洲国产欧美网| av欧美777| 亚洲色图 男人天堂 中文字幕| 真人做人爱边吃奶动态| 午夜福利视频在线观看免费| 一个人免费在线观看的高清视频| 久久精品国产99精品国产亚洲性色 | 国产精品自产拍在线观看55亚洲 | 精品国产亚洲在线| 久久精品国产亚洲av香蕉五月 | 91九色精品人成在线观看| 黑人巨大精品欧美一区二区蜜桃| 亚洲av成人av| 久久香蕉激情| 久久久久国产精品人妻aⅴ院 | 色综合婷婷激情| av欧美777| 18禁黄网站禁片午夜丰满| 欧美性长视频在线观看| 国产免费av片在线观看野外av| 无人区码免费观看不卡| 手机成人av网站| 久久中文看片网| 黄片大片在线免费观看| 丝袜美足系列| 国产成人系列免费观看| 18禁裸乳无遮挡免费网站照片 | 国产97色在线日韩免费| 激情在线观看视频在线高清 | 国产精品亚洲av一区麻豆| 亚洲午夜精品一区,二区,三区| 精品乱码久久久久久99久播| 黄色片一级片一级黄色片| 黄色成人免费大全| 欧美激情极品国产一区二区三区| 亚洲avbb在线观看| 婷婷精品国产亚洲av在线 | 成人特级黄色片久久久久久久| 黄色视频,在线免费观看| 丰满人妻熟妇乱又伦精品不卡| 精品亚洲成a人片在线观看| 久久人妻熟女aⅴ| av国产精品久久久久影院| 久久精品aⅴ一区二区三区四区| 国产极品粉嫩免费观看在线| 变态另类成人亚洲欧美熟女 | 国产精品国产高清国产av | 国产精品 欧美亚洲| 一二三四在线观看免费中文在| 99国产精品免费福利视频| 99久久精品国产亚洲精品| 欧美 亚洲 国产 日韩一| 欧美午夜高清在线| 99香蕉大伊视频| 一本大道久久a久久精品| 久久亚洲精品不卡| 男人操女人黄网站| 91九色精品人成在线观看| 欧美在线黄色| 最新的欧美精品一区二区| 国产精品一区二区免费欧美| 热re99久久精品国产66热6| 成人免费观看视频高清| 久99久视频精品免费| 日韩免费高清中文字幕av| 国产在线一区二区三区精| 狠狠婷婷综合久久久久久88av| 亚洲国产欧美一区二区综合| 亚洲成a人片在线一区二区| 丝袜美足系列| 精品一区二区三卡| 亚洲aⅴ乱码一区二区在线播放 | 一级a爱片免费观看的视频| 日韩大码丰满熟妇| 9色porny在线观看| 纯流量卡能插随身wifi吗| 亚洲九九香蕉| 法律面前人人平等表现在哪些方面| 建设人人有责人人尽责人人享有的| 国产三级黄色录像| 日本vs欧美在线观看视频| 免费日韩欧美在线观看| 精品乱码久久久久久99久播| 人人妻人人澡人人看| 亚洲欧美精品综合一区二区三区| 久久久久精品人妻al黑| 老司机福利观看| 欧美 日韩 精品 国产| 18禁裸乳无遮挡免费网站照片 | 操出白浆在线播放| 亚洲午夜精品一区,二区,三区| 国产成人精品在线电影| 久久青草综合色| 一a级毛片在线观看| 99热网站在线观看| 亚洲精品中文字幕在线视频| 日韩人妻精品一区2区三区| 人人妻人人添人人爽欧美一区卜| 新久久久久国产一级毛片| 男人的好看免费观看在线视频 | 99国产精品一区二区蜜桃av | 一进一出好大好爽视频| 女警被强在线播放| 两性午夜刺激爽爽歪歪视频在线观看 | 亚洲一码二码三码区别大吗| 在线国产一区二区在线| 午夜影院日韩av| av超薄肉色丝袜交足视频| 中文字幕最新亚洲高清| 嫩草影视91久久| 天天操日日干夜夜撸| 一级毛片精品| 国产在线观看jvid| 嫁个100分男人电影在线观看| 看片在线看免费视频| 巨乳人妻的诱惑在线观看| 亚洲成a人片在线一区二区| 精品国产亚洲在线| 香蕉丝袜av| 中文字幕最新亚洲高清| av线在线观看网站| 国产精品久久久久久人妻精品电影| 人人妻人人添人人爽欧美一区卜| 日本五十路高清| 亚洲人成电影观看| 丰满的人妻完整版| 久久精品91无色码中文字幕| 一级毛片高清免费大全| 一进一出好大好爽视频| 亚洲一区高清亚洲精品| 国产成人欧美| 51午夜福利影视在线观看| 亚洲情色 制服丝袜| 欧美av亚洲av综合av国产av| tocl精华| 欧美性长视频在线观看| 99在线人妻在线中文字幕 | ponron亚洲| 亚洲黑人精品在线| 黄色毛片三级朝国网站| 久热这里只有精品99| 99精品久久久久人妻精品| 高清欧美精品videossex| 91精品三级在线观看| 老司机福利观看| 国产精品影院久久| 在线观看免费日韩欧美大片| 又黄又粗又硬又大视频| 99在线人妻在线中文字幕 | 国产亚洲精品第一综合不卡| 国产精品偷伦视频观看了| 超碰成人久久| av有码第一页| 欧美精品av麻豆av| 国产在线一区二区三区精| 超色免费av| 亚洲午夜理论影院| 午夜福利一区二区在线看| 亚洲人成伊人成综合网2020| 在线观看www视频免费| 久久99一区二区三区| 一区二区三区国产精品乱码| 久久精品aⅴ一区二区三区四区| 操美女的视频在线观看| 国产亚洲av高清不卡| 51午夜福利影视在线观看| 亚洲色图综合在线观看| 久久久精品免费免费高清| av片东京热男人的天堂| 亚洲成人免费电影在线观看| 国产亚洲精品久久久久5区| 免费观看精品视频网站| 深夜精品福利| 人人妻人人添人人爽欧美一区卜| 午夜免费观看网址| 夫妻午夜视频| 黄色女人牲交| 日韩欧美在线二视频 | 大片电影免费在线观看免费| 啦啦啦免费观看视频1| 久久草成人影院| av天堂在线播放| 国产精品秋霞免费鲁丝片| 亚洲精品中文字幕在线视频| tocl精华| 在线观看www视频免费| 国产乱人伦免费视频| 在线观看一区二区三区激情| 午夜老司机福利片| 国产一区二区三区视频了| 久久天躁狠狠躁夜夜2o2o| 香蕉久久夜色| 欧美日韩中文字幕国产精品一区二区三区 | 欧美日韩一级在线毛片| 黄网站色视频无遮挡免费观看| 亚洲黑人精品在线| 欧美 亚洲 国产 日韩一| 久久久久久久精品吃奶| 又黄又爽又免费观看的视频| 日韩视频一区二区在线观看| 91老司机精品| 黄片小视频在线播放| 色尼玛亚洲综合影院| av在线播放免费不卡| 夜夜夜夜夜久久久久| 午夜精品国产一区二区电影| 国产成人影院久久av| 曰老女人黄片| 精品免费久久久久久久清纯 | 大香蕉久久网| 看免费av毛片| 亚洲av成人av| 免费观看精品视频网站| 亚洲男人天堂网一区| 精品久久蜜臀av无| 欧美+亚洲+日韩+国产| 女警被强在线播放| 欧美日韩亚洲高清精品| 波多野结衣一区麻豆| 国产精品一区二区精品视频观看| 久久精品国产亚洲av高清一级| 一本综合久久免费| 大香蕉久久网| 日日爽夜夜爽网站| 啦啦啦 在线观看视频| 男女高潮啪啪啪动态图| 国产不卡一卡二| 婷婷丁香在线五月| 亚洲第一av免费看| 精品欧美一区二区三区在线| 无遮挡黄片免费观看| 首页视频小说图片口味搜索| 涩涩av久久男人的天堂| 99热网站在线观看| 国产在线一区二区三区精| 亚洲成a人片在线一区二区| 人人妻,人人澡人人爽秒播| 精品一区二区三区四区五区乱码| 好男人电影高清在线观看| 黄色片一级片一级黄色片| 亚洲全国av大片| 99久久国产精品久久久| 国产成人欧美| 精品无人区乱码1区二区| 久久久久久人人人人人| 亚洲欧美激情综合另类| 自线自在国产av| 制服诱惑二区| 12—13女人毛片做爰片一| 精品熟女少妇八av免费久了| 国产高清视频在线播放一区| 国产精品美女特级片免费视频播放器 | 丝袜美足系列| 老司机影院毛片| 女人爽到高潮嗷嗷叫在线视频| 俄罗斯特黄特色一大片| 啦啦啦在线免费观看视频4| 久久久久久久午夜电影 | 日日夜夜操网爽| 80岁老熟妇乱子伦牲交| 亚洲欧洲精品一区二区精品久久久| 日韩欧美三级三区| xxxhd国产人妻xxx| 国产一区二区激情短视频| 看黄色毛片网站| 日韩欧美免费精品| www日本在线高清视频| 久久人妻福利社区极品人妻图片| 又黄又粗又硬又大视频| 男女下面插进去视频免费观看| 欧美日韩精品网址| 十八禁人妻一区二区| 99国产精品一区二区三区| 亚洲七黄色美女视频| 亚洲专区国产一区二区| 一区二区三区精品91| 亚洲国产欧美日韩在线播放| 人人妻人人澡人人看| 亚洲成人免费av在线播放| 大片电影免费在线观看免费| 日韩欧美一区二区三区在线观看 |