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

    SysML 狀態(tài)圖合理性驗證研究與實現(xiàn)

    2014-03-13 07:01:38俞曉鋒王立松
    電子科技 2014年5期
    關(guān)鍵詞:狀態(tài)圖單鏈用例

    俞曉鋒,王立松

    (南京航空航天大學 計算機科學與技術(shù)學院,江蘇 南京 210016)

    SysML(Systems Modeling Language)[1]是UML 在系統(tǒng)工程應(yīng)用領(lǐng)域的延續(xù)和拓展。與其他建模語言一樣,SysML 是一種通用標準建模語言。

    隨著應(yīng)用系統(tǒng)越發(fā)復(fù)雜,系統(tǒng)的任意環(huán)節(jié)均可能會影響到系統(tǒng)的整體運行。例如民航業(yè)務(wù)系統(tǒng),作為一個巨大的系統(tǒng),不能保證其對象在整個生命期內(nèi)均能安全穩(wěn)健運行,而一旦出現(xiàn)異常狀況會造成巨大的經(jīng)濟損失。用SysML 建??沙橄蟊硎緫?yīng)用系統(tǒng)的對象,本文研究的對象是類模型中某個主動類的實例,通過驗證行為模型來模擬出對象在生命期內(nèi)的運行過程,用這種方式來演練其實現(xiàn)的每一個用例場景。SysML 狀態(tài)圖用于建立類對象在其生命期內(nèi)的行為模型,尤其是當對象具有依賴于狀態(tài)的行為。

    SysML 和UML 一樣,為保持描述的清晰易懂,在給出自身語義說明的同時,采用半形式化的描述方法,使用自然語言表示約束和語義,力求實現(xiàn)形式化與易于理解之間的平衡。因此,SysML 本身缺乏分析和驗證的手段,針對這一問題,本文對SysML 狀態(tài)圖進行拓展,使用SCXML(State Chart XML)[2]作為SysML 狀態(tài)圖的形式化描述語言并引用動作規(guī)約語言[3](Action Specification Language,ASL)描述狀態(tài)圖對象的行為動作。其中ASL 是WilKie 等人在2002 年提出的平臺無關(guān)動作描述語言,其提供了操作平臺無關(guān)模型元素的方法。通過使用SCXML 和ASL 可建立精確無歧義的行為模型,并在此基礎(chǔ)上進行分析驗證。

    SysML 狀態(tài)圖的體系結(jié)構(gòu)驗證無需考慮業(yè)務(wù)需求的偏好,使用Kripke 結(jié)構(gòu)可表示對象的狀態(tài)空間。由于SCXML 可表示SysML 狀態(tài)圖體系結(jié)構(gòu)的所有信息,根據(jù)Kripke 結(jié)構(gòu)可方便構(gòu)造出SysML 狀態(tài)圖的對象狀態(tài)遷移圖,通過對象狀態(tài)遷移圖給出性能需求的形式化表示和驗證算法[4]。在業(yè)務(wù)需求驗證方面,主要考察對象在生命期內(nèi)的行為過程是否與用例時序圖一致,本文采用事件信號驅(qū)動機制來捕獲對象的行為軌跡。

    1 SysML 狀態(tài)圖體系結(jié)構(gòu)驗證

    1.1 SysML 狀態(tài)圖語義

    為便于描述,本文在遵從對象管理組織SysML 規(guī)范[5]的前提下重新定義了一些狀態(tài)圖語義的形式化表示方式,包括順序自動機、層次自動機、單元以及層次自動機的操作語義。

    驗證SysML 狀態(tài)圖的體系結(jié)構(gòu),首先將狀態(tài)圖轉(zhuǎn)化為層次自動機(HA),其由順序自動機(SA)組成。

    定義2 HA=(F,E),F(xiàn) 是有窮順序自動機集合;?SA1,SA2∈F,ΨSA1∩ΨSA2=Φ,E 是有窮事件集合。

    HA 中的全局狀態(tài)由單元表示,一個單元既可以代表一個基本狀態(tài)又可代表一個復(fù)合狀態(tài),每個復(fù)合狀態(tài)由某個簡單順序自動機的基本狀態(tài)組成。

    在SysML 狀態(tài)圖中,每個狀態(tài)由單元和當前環(huán)境組成,環(huán)境包括事件環(huán)境和變量環(huán)境,對于事件環(huán)境E,ΘE 表示事件隊列的所有可能情況,對于變量環(huán)境V;ΘV 表示變量所有可能取值。下面用標記轉(zhuǎn)換系統(tǒng)(LTS)對HA 定義操作語義。

    定義4 HA 的操作語義是一個LTS OP=(S,S0,→),其中S=CellHA×ΘE×ΘV 是狀態(tài)集合,S0是初始狀態(tài)集合,→=S×S 是狀態(tài)遷移集合。

    1.2 通過SCXML 構(gòu)造對象狀態(tài)遷移圖

    Kripke 結(jié)構(gòu)是一個4 元組,K=(CellHA,→,L,Cell0),其中,是初始單元的合集;(Cell1,Cell2)∈→表示存在從Cell1到Cell2的遷移,假設(shè)→中的遷移互不相同;L∶CellHA→2AP為每個單元標注一組原子命題。

    本文采用鄰接表來實現(xiàn)Kripke 結(jié)構(gòu),實例如圖1所示。

    圖中Vs1,Vs2,Vs3,Vs4∈CellHA,所有鄰接于Vsi的頂點Sj鏈成一條單鏈表,其中Vsi,Sj∈CellHA,?i ∈{1,…,num},此例中num 取4。

    根據(jù)定義4,給出s∈S 的SCXML 表示,其中e1,…,en∈E,a1…,am∈V)。

    圖1 用鄰接表表示Kripke 結(jié)構(gòu)的實例

    從SCXML 可知SysML 狀態(tài)圖的操作語義,結(jié)合Kripke 結(jié)構(gòu),便能構(gòu)造出對象狀態(tài)遷移圖G。G 是具有SysML 狀態(tài)圖操作語義的Kripke 結(jié)構(gòu)的抽象表示[10-11]。

    生成對象狀態(tài)遷移圖G 的步驟如下:(1)初始化鄰接表。(2)從SCXML 中讀取Vsi∈CellHA和變量V 存放到鄰接表的頂點域里。(3)從SCXML 中讀取Vsi的遷移目標狀態(tài)存放到鄰接于Vsi的單鏈表里。(4)從SCXML 中讀取Vsi的事件E 存放到與Sji對應(yīng)的鏈接域里。(5)重復(fù)步驟(1)~步驟(3)直到讀取完SCXML 中所有的Vsi。(6)對象狀態(tài)遷移圖G 生成完成,算法結(jié)束。

    1.3 性能需求驗證的標準

    SysML 狀態(tài)圖是否滿足性能需求指主動類對象能否安全地運行完整個生命期[6-9],即保證對象能夠安全地創(chuàng)建、銷毀并且在生命期內(nèi)不存在死鎖。根據(jù)這個要求,本文定義了G 的3 大安全性條件并給出了相關(guān)的推論和證明。

    推論1 滿足條件1 和條件2 的狀態(tài)圖是符合狀態(tài)可達的,即狀態(tài)圖中任意一個狀態(tài)都是可達的。

    條件3 tsi=(s1,s2,…,sj)∈{ts1,…,tsn}是對象的其中一條并發(fā)遷移序列,則ts1∩…∩tsi∩…∩tsn?{o},其中o 為終止狀態(tài)。該條件表明對象收到銷毀信號時,不可能存在該對象產(chǎn)生的某個或多個子對象還未銷毀的情況,否則子對象會一直存在于系統(tǒng)中占用資源。保證了對象被安全銷毀。

    在驗證性能需求時,使用G 的安全性作為正確性標準。

    1.4 性能需求的驗證算法

    本文定義了兩種異常狀態(tài),分別取名為“奇跡”狀態(tài)和“黑洞”狀態(tài)。

    定義5 “奇跡”狀態(tài)是一種只有遷移出,沒有遷移入的非初始狀態(tài)。對象處于這種狀態(tài)時說明它沒有被正確創(chuàng)建。

    定義6 “黑洞”狀態(tài)是一種只有遷移入,沒有遷移出的非終止狀態(tài)。對象處于這種狀態(tài)說明它已經(jīng)陷入死鎖。

    由推論1 可知,SysML 狀態(tài)圖不能存在“奇跡”和“黑洞”狀態(tài),驗證算法:(1)遍歷G 的頂點域Vsi,判斷該頂點域的單鏈表是否為空,如果為空并且該頂點域中的狀態(tài)不是終止狀態(tài),則存在“黑洞”狀態(tài),標記異常,否則符合安全性的條件1。(2)遍歷G 的頂點域Vsi,如果該頂點域的單鏈表非空,則遍歷該單鏈表,并給單鏈表中的每個Sji標記上后繼標志。(3)在步驟(2)的基礎(chǔ)上重新遍歷頂點域Vsi,判斷頂點域中的狀態(tài)是否有后繼標志,如果沒有并且該狀態(tài)不是初始狀態(tài),則存在“奇跡”狀態(tài),標記異常,否則符合安全性的條件2。(4)如果終止狀態(tài)的前繼狀態(tài)只有1 個,則符合安全性的條件3,直接跳到步驟(8),否則進行步驟(5)~步驟(7)。(5)遍歷G 的頂點域Vsi,判斷頂點域中的狀態(tài)類型,如果為FORK 偽狀態(tài),則給該單鏈表中的每個Sji標記上活動標志,如果為JOIN 偽狀態(tài),則清除頂點域中狀態(tài)的活動標記。(6)如果頂點域Vsi中的狀態(tài)具有活動標志,則給該單鏈表中的每個Sji標記上活動標志。(7)在步驟(5)和步驟(6)的基礎(chǔ)上重新遍歷G的頂點域Vsi,判斷頂點域中的狀態(tài)類型,如果為終止狀態(tài)并且具有活動標記,說明不符合安全性的條件3,標記異常,否則符合安全性的條件3。(8)如果條件1 ~條件3 都滿足,則該SysML 狀態(tài)圖的性能需求是合理的。

    2 SysML 狀態(tài)圖業(yè)務(wù)需求驗證

    2.1 業(yè)務(wù)需求驗證標準

    一個用例從黑盒的、外部的角度描述了系統(tǒng)對象的一次生命過程。用它可推斷對象對請求或激勵做出何種響應(yīng)。全體用例和它們的相關(guān)場景,可以完全刻畫對象所需的功能性行為,使得絕大多數(shù)業(yè)務(wù)需求得以體現(xiàn)。用例時序圖是用戶希望系統(tǒng)所能產(chǎn)生的行為交互過程,它在建模過程中被用來當成系統(tǒng)的標準黑箱視圖。一個用例場景對應(yīng)一個用例時序圖。本文采用Moore 狀態(tài)機原型,在狀態(tài)圖模型描述某個主動類對象的行為過程中,當對象接收到外部激勵信號時所表現(xiàn)的行為由對象所在狀態(tài)的入口動作決定,它由ASL 進行描述,此時對象可能會在自導(dǎo)信號的作用下轉(zhuǎn)移到新的狀態(tài)也有可能停留在原狀態(tài)等待新的外部激勵,對象在這兩種情況下產(chǎn)生收發(fā)信號事件的序列。通過判斷信號事件序列是否符合預(yù)期定義的事件序列來驗證狀態(tài)圖的業(yè)務(wù)需求。

    2.2 業(yè)務(wù)需求驗證設(shè)計方法

    每個對象維持一個信號事件隊列,根據(jù)這個特點設(shè)計信號事件驅(qū)動機制來執(zhí)行狀態(tài)圖,設(shè)計的信號事件驅(qū)動結(jié)構(gòu)如圖2 所示。

    圖2 信號事件驅(qū)動框架

    事件消費類中的事件處理函數(shù)為狀態(tài)的入口動作,事件類中產(chǎn)生的信號包括外部信號事件和自導(dǎo)信號,狀態(tài)解析引擎將狀態(tài)圖轉(zhuǎn)換為由SCXML 和ASL表示的精確描述的PIM 代碼。如果狀態(tài)驗證沒有完成,整個驅(qū)動引擎將一直處于循環(huán)狀態(tài),將驅(qū)動引擎生命期內(nèi)對象所產(chǎn)生的信號事件序列與預(yù)期的用例時序圖作對比,就可以判斷出狀態(tài)圖是否滿足業(yè)務(wù)需求。

    對象在執(zhí)行過程中所產(chǎn)生的Event 序列,如果與預(yù)期定義的用例時序圖中的事件交互順序不一致,則表明對象業(yè)務(wù)需求未得到滿足。

    3 實驗驗證

    文中驗證了一個列車管理域模型,該域的類模型如圖3 所示。

    圖3 列車管理的類圖

    由類圖可知,一個列車運行的一個路段(Hop)包括多個加速曲線(AccelerationCurve)。

    對AccelerationCurve 的對象建立如圖4 所示的狀態(tài)圖。

    圖4 AccelerationCurve 對象的狀態(tài)圖

    分別為MaintainingAccelerationCurve 狀態(tài)和A ccelerationCurveComplete 狀態(tài)添加用入口動作,下面給出用ASL 描述的MaintainingAccelerationCurve 狀態(tài)的入口動作,整個入口動作用于判斷AccelerationCurve對象是否到達了加速曲線終點。

    AccelerationCurveComplete 狀態(tài)中的入口動作描述了列車如何從一個加速曲線過度到另個一個加速曲線。

    運行信號事件驅(qū)動框架,在狀態(tài)解析部分驗證了狀態(tài)圖的體系結(jié)構(gòu),SCXML 表示的體系結(jié)構(gòu)滿足條件1 ~條件3,AccelerationCurve 對象的性能需求合理。

    用ASL 來表示外部激勵信號,該信號模擬了Hop對象對AccelerationCurve 對象的激勵。

    在輸入事件觸發(fā)按鈕響應(yīng)的對話框中輸入用ASL描述的測試例程:generate performCurve()to theAccelerationCurve。如圖5 所示。

    圖5 狀態(tài)圖業(yè)務(wù)需求驗證

    點擊確定后得到對象在生命期內(nèi)的行為過程,執(zhí)行結(jié)果如圖6 所示。

    圖6 AccelerationCurve 對象的執(zhí)行結(jié)果

    從執(zhí)行信息里可了解到該對象在其生命期內(nèi)的信號事件序列,它表示對象在經(jīng)過速度調(diào)節(jié)之后到達了路段的終點,并向Hop 對象發(fā)送了完成信號。將其與預(yù)期的用例時序圖做比較,就可以判斷出狀態(tài)圖是否表現(xiàn)出了應(yīng)有的業(yè)務(wù)需求。

    4 結(jié)束語

    本文給出了一種驗證SysML 狀態(tài)圖合理性的實現(xiàn)方案。用SCXML 和ASL 精確無歧義描述SysML 狀態(tài)圖,通過信號事件驅(qū)動機制完成體系結(jié)構(gòu)和業(yè)務(wù)需求的驗證。

    將SysML 狀態(tài)圖作為行為模型并不完全[7-9],而且在體系結(jié)構(gòu)驗證部分沒有考慮并發(fā)工作流和時序邏輯[10]方面的內(nèi)容。本文以后的一個研究方向是:對SysML 狀態(tài)圖進行時間拓展,給出拓展后的SysML 狀態(tài)圖到時間自動機的過程,使用時間計算樹邏輯[11]表示時序約束,并驗證時序約束的一致性。

    [1] 蔣彩云,王維平,李群.SysML:一種新的系統(tǒng)建模語言[J].系統(tǒng)仿真學報,2006,18(6):1483-1487,1492.

    [2] JIM B G.State chart XML(SCXML):state machine notation for control abstraction[S].USA:Voice Browser,2013.

    [3] CHRIS R,PAUL F.Model driven architecture with executable UML[M].北京:機械工業(yè)出版社,2006.

    [4] 陸公正.基于UML 狀態(tài)圖的工作流建模與驗證[D].蘇州:蘇州大學,2006.

    [5] VERBEEK H M W.Diagnosing workflow process using woflan[J].Computer Journal,2001,44(4):246-279.

    [6] KWON G.Rewrite rules and operational semantics for model checking UML statecharts[C].Berlin:Lecture Notes In Computer Science,Springer,2000.

    [7] GNESI S,MAZZANTI F.A model checking verification environment for UML statecharts[C].Udine:XLIII Annual Italian Conference AICA,IEEE Computer Society,2005.

    [8] ESHUIS R.Symbolic model checking of UML activity diagrams[J].ACM Transactions on Software Engineering and Methodology,2006(15):1-38.

    [9] 李廣元,唐稚松.基于線性時序邏輯的實時系統(tǒng)模型檢查[J].軟件學報,2002,13(2):193-202.

    [10]ALUR R,HENZINGER T A.Logics and models of real time:a survey[M].Berlin:Springer-Verlag,1992.

    [11]杜杰,江國華.基于模型檢測的UML 狀態(tài)圖和順序圖一致性檢測[J].電子科技,2012,25(2):100-104.

    猜你喜歡
    狀態(tài)圖單鏈用例
    基于ASP.NET的高校畢業(yè)論文管理系統(tǒng)設(shè)計與實現(xiàn)
    關(guān)于我放寒假后的真實狀態(tài)
    中學生博覽(2024年1期)2024-05-23 00:00:00
    基于Web 的高校資產(chǎn)管理系統(tǒng)的設(shè)計與實現(xiàn)
    UML用例模型中依賴關(guān)系的比較與分析
    逐步添加法制備單鏈環(huán)狀DNA的影響因素探究*
    聯(lián)鎖軟件詳細設(shè)計的測試需求分析和用例編寫
    從出土文獻用例看王氏父子校讀古書的得失
    鹽酸克倫特羅生物素化單鏈抗體在大腸埃希氏菌中的表達
    急性淋巴細胞白血病單鏈抗體(scFv)的篩選與鑒定
    基于UML狀態(tài)圖的軟件系統(tǒng)測試用例生成方法
    国产精品av久久久久免费| 国产一区二区 视频在线| 综合色丁香网| 大片电影免费在线观看免费| 国产人伦9x9x在线观看| 亚洲综合精品二区| 亚洲欧美激情在线| 涩涩av久久男人的天堂| 久久久精品免费免费高清| 亚洲国产日韩一区二区| 日韩av在线免费看完整版不卡| 国产精品一国产av| 国产精品秋霞免费鲁丝片| 啦啦啦在线观看免费高清www| 天堂8中文在线网| 亚洲婷婷狠狠爱综合网| 热re99久久精品国产66热6| 一级a爱视频在线免费观看| 男人舔女人的私密视频| 亚洲视频免费观看视频| 国产成人精品久久二区二区91 | 老熟女久久久| 国产精品二区激情视频| 天天躁夜夜躁狠狠久久av| 国产极品粉嫩免费观看在线| 中文字幕最新亚洲高清| 国产片特级美女逼逼视频| 美女视频免费永久观看网站| 搡老岳熟女国产| 国产成人午夜福利电影在线观看| 精品福利永久在线观看| e午夜精品久久久久久久| 制服人妻中文乱码| 美女国产高潮福利片在线看| 久久久久久久大尺度免费视频| 男女无遮挡免费网站观看| 不卡视频在线观看欧美| 国产不卡av网站在线观看| 三上悠亚av全集在线观看| 无遮挡黄片免费观看| 久久久久久免费高清国产稀缺| 欧美另类一区| 一边亲一边摸免费视频| 久久综合国产亚洲精品| 亚洲欧美一区二区三区国产| 搡老岳熟女国产| 亚洲中文av在线| 日韩人妻精品一区2区三区| 久久精品久久久久久噜噜老黄| www.精华液| 91精品伊人久久大香线蕉| 色婷婷久久久亚洲欧美| 嫩草影视91久久| 午夜免费观看性视频| 一本一本久久a久久精品综合妖精| 国产精品国产av在线观看| 看免费成人av毛片| 午夜日本视频在线| 自拍欧美九色日韩亚洲蝌蚪91| 久久午夜综合久久蜜桃| 丝袜脚勾引网站| 人人妻,人人澡人人爽秒播 | 91老司机精品| 国产日韩欧美视频二区| 国产在线一区二区三区精| 赤兔流量卡办理| 伦理电影大哥的女人| 亚洲av中文av极速乱| 免费不卡黄色视频| 好男人视频免费观看在线| 婷婷色av中文字幕| 久久精品国产亚洲av涩爱| 亚洲av欧美aⅴ国产| 99香蕉大伊视频| 精品一区在线观看国产| 99久久综合免费| 性色av一级| 国产乱来视频区| 日本欧美视频一区| 国产伦人伦偷精品视频| 各种免费的搞黄视频| 高清不卡的av网站| 日韩一区二区三区影片| 一区二区三区激情视频| 黄片小视频在线播放| 精品福利永久在线观看| 国产激情久久老熟女| 国产男女内射视频| 日本欧美国产在线视频| 如何舔出高潮| 国产成人一区二区在线| 亚洲av电影在线进入| 女性生殖器流出的白浆| 狠狠婷婷综合久久久久久88av| 精品酒店卫生间| 最近中文字幕2019免费版| 美女大奶头黄色视频| 哪个播放器可以免费观看大片| 国产精品亚洲av一区麻豆 | 日本av手机在线免费观看| 男人爽女人下面视频在线观看| 999久久久国产精品视频| 如何舔出高潮| 九草在线视频观看| 亚洲欧美成人综合另类久久久| 国产成人av激情在线播放| 校园人妻丝袜中文字幕| 午夜免费鲁丝| 少妇人妻精品综合一区二区| 久久精品国产a三级三级三级| 久久毛片免费看一区二区三区| 免费高清在线观看日韩| 色精品久久人妻99蜜桃| 99热网站在线观看| 久久这里只有精品19| 免费av中文字幕在线| 天美传媒精品一区二区| 亚洲情色 制服丝袜| 亚洲成人手机| 免费看av在线观看网站| 久热这里只有精品99| 巨乳人妻的诱惑在线观看| 美女视频免费永久观看网站| 亚洲视频免费观看视频| 男女免费视频国产| 色精品久久人妻99蜜桃| 午夜激情久久久久久久| 日韩欧美精品免费久久| 伊人久久大香线蕉亚洲五| 91精品三级在线观看| 一级,二级,三级黄色视频| 自拍欧美九色日韩亚洲蝌蚪91| 亚洲自偷自拍图片 自拍| 18禁动态无遮挡网站| 久热爱精品视频在线9| 水蜜桃什么品种好| 久久国产精品男人的天堂亚洲| 久热爱精品视频在线9| 九九爱精品视频在线观看| 亚洲,欧美,日韩| 国产在线视频一区二区| 这个男人来自地球电影免费观看 | 欧美xxⅹ黑人| 在线看a的网站| 一本色道久久久久久精品综合| 一本色道久久久久久精品综合| 视频在线观看一区二区三区| 一级毛片黄色毛片免费观看视频| 99香蕉大伊视频| 看免费av毛片| 尾随美女入室| 满18在线观看网站| 午夜av观看不卡| 欧美日韩成人在线一区二区| 国产av码专区亚洲av| 街头女战士在线观看网站| 看十八女毛片水多多多| 午夜av观看不卡| 久久久久人妻精品一区果冻| 日本欧美国产在线视频| 在线观看人妻少妇| 人体艺术视频欧美日本| 婷婷色综合大香蕉| 日日爽夜夜爽网站| 亚洲一区中文字幕在线| 女的被弄到高潮叫床怎么办| 亚洲精品美女久久av网站| 交换朋友夫妻互换小说| 国产男女内射视频| 亚洲欧美精品综合一区二区三区| 美女午夜性视频免费| 日韩视频在线欧美| 成人毛片60女人毛片免费| 国产片内射在线| 久久综合国产亚洲精品| 亚洲欧美激情在线| 男女床上黄色一级片免费看| 久久99精品国语久久久| 亚洲情色 制服丝袜| 水蜜桃什么品种好| 狠狠精品人妻久久久久久综合| 国产在线一区二区三区精| 精品人妻熟女毛片av久久网站| 日韩av不卡免费在线播放| 国产精品成人在线| 成人国语在线视频| 女人爽到高潮嗷嗷叫在线视频| 韩国精品一区二区三区| 国产免费现黄频在线看| 少妇被粗大猛烈的视频| 女人精品久久久久毛片| 精品国产国语对白av| 免费黄网站久久成人精品| 久久影院123| 下体分泌物呈黄色| 亚洲av电影在线进入| 777米奇影视久久| 9热在线视频观看99| 一个人免费看片子| 男女免费视频国产| 日韩大片免费观看网站| 美女国产高潮福利片在线看| 精品一品国产午夜福利视频| 1024视频免费在线观看| 久久人人爽av亚洲精品天堂| 欧美成人精品欧美一级黄| 国产毛片在线视频| 亚洲精品久久久久久婷婷小说| 国产激情久久老熟女| 亚洲综合精品二区| 亚洲国产毛片av蜜桃av| 欧美xxⅹ黑人| 大码成人一级视频| 亚洲精品日本国产第一区| 天堂俺去俺来也www色官网| 亚洲,欧美精品.| 又大又爽又粗| 9色porny在线观看| 久久久久国产精品人妻一区二区| av线在线观看网站| 中文字幕人妻丝袜制服| av国产精品久久久久影院| 亚洲国产精品一区三区| 最近2019中文字幕mv第一页| 丝袜人妻中文字幕| 国产激情久久老熟女| 悠悠久久av| av.在线天堂| 欧美精品av麻豆av| 波多野结衣av一区二区av| 亚洲av中文av极速乱| 国产成人a∨麻豆精品| 亚洲国产看品久久| 日本wwww免费看| 丝袜脚勾引网站| 美女高潮到喷水免费观看| 高清av免费在线| 国产精品久久久久久精品古装| 国产伦人伦偷精品视频| 久久 成人 亚洲| 青春草视频在线免费观看| 亚洲天堂av无毛| 女性被躁到高潮视频| 99re6热这里在线精品视频| 成人国产av品久久久| 悠悠久久av| 满18在线观看网站| 一级毛片我不卡| 国产一卡二卡三卡精品 | 亚洲av综合色区一区| 国产成人精品久久久久久| 综合色丁香网| 亚洲精华国产精华液的使用体验| 中文字幕色久视频| 韩国精品一区二区三区| av免费观看日本| 在现免费观看毛片| 夫妻性生交免费视频一级片| 色视频在线一区二区三区| 免费少妇av软件| 91aial.com中文字幕在线观看| 欧美人与性动交α欧美软件| 日韩熟女老妇一区二区性免费视频| www.熟女人妻精品国产| 巨乳人妻的诱惑在线观看| 国产熟女午夜一区二区三区| 亚洲精品成人av观看孕妇| 欧美激情极品国产一区二区三区| 亚洲情色 制服丝袜| 国产免费又黄又爽又色| 最新在线观看一区二区三区 | 精品人妻一区二区三区麻豆| 免费在线观看黄色视频的| 黄色视频在线播放观看不卡| 免费黄频网站在线观看国产| 国产不卡av网站在线观看| 大话2 男鬼变身卡| 久久久精品国产亚洲av高清涩受| 国产黄色视频一区二区在线观看| 中文字幕人妻丝袜制服| 99九九在线精品视频| 久久亚洲国产成人精品v| 菩萨蛮人人尽说江南好唐韦庄| 久久久精品区二区三区| 久久免费观看电影| 高清欧美精品videossex| 久久久久精品人妻al黑| 伦理电影免费视频| 日韩电影二区| 中文精品一卡2卡3卡4更新| 久久久久久人人人人人| 国产精品偷伦视频观看了| av不卡在线播放| 岛国毛片在线播放| 精品一区二区三区av网在线观看 | 爱豆传媒免费全集在线观看| 国产乱人偷精品视频| 在线观看免费日韩欧美大片| 水蜜桃什么品种好| 天天操日日干夜夜撸| 嫩草影院入口| 精品酒店卫生间| 中国国产av一级| 国产xxxxx性猛交| 国产麻豆69| 国产乱来视频区| 最近最新中文字幕大全免费视频 | 国产乱人偷精品视频| 亚洲熟女精品中文字幕| 久久精品久久久久久久性| 一级,二级,三级黄色视频| 亚洲四区av| av有码第一页| 久久 成人 亚洲| 男女床上黄色一级片免费看| 制服人妻中文乱码| 人妻 亚洲 视频| 自拍欧美九色日韩亚洲蝌蚪91| 晚上一个人看的免费电影| 日韩av在线免费看完整版不卡| 国产在视频线精品| 国产男女超爽视频在线观看| 少妇猛男粗大的猛烈进出视频| 亚洲精品一二三| 色综合欧美亚洲国产小说| 亚洲精品一区蜜桃| 国产精品秋霞免费鲁丝片| 欧美成人精品欧美一级黄| 免费人妻精品一区二区三区视频| 麻豆乱淫一区二区| 视频在线观看一区二区三区| 国产黄色视频一区二区在线观看| 日韩人妻精品一区2区三区| 国产精品久久久久成人av| 亚洲中文av在线| 我的亚洲天堂| 亚洲男人天堂网一区| 欧美少妇被猛烈插入视频| 精品一区二区三卡| 免费久久久久久久精品成人欧美视频| 中文字幕制服av| a级毛片在线看网站| 一本大道久久a久久精品| 免费高清在线观看日韩| 丝袜美足系列| 午夜福利在线免费观看网站| 91精品国产国语对白视频| 亚洲男人天堂网一区| 中文字幕最新亚洲高清| 国产精品国产av在线观看| 又粗又硬又长又爽又黄的视频| 九九爱精品视频在线观看| 亚洲色图 男人天堂 中文字幕| 国产日韩欧美视频二区| 亚洲精品久久久久久婷婷小说| 亚洲欧美精品综合一区二区三区| 1024视频免费在线观看| 国产乱来视频区| 亚洲一区二区三区欧美精品| 亚洲精品第二区| 麻豆av在线久日| 亚洲欧美中文字幕日韩二区| 男的添女的下面高潮视频| 欧美 亚洲 国产 日韩一| 精品国产一区二区三区久久久樱花| 一区二区三区四区激情视频| 日韩,欧美,国产一区二区三区| 国产一区二区 视频在线| 国产午夜精品一二区理论片| 男女边吃奶边做爰视频| 久久久欧美国产精品| 国产激情久久老熟女| 免费少妇av软件| 又大又黄又爽视频免费| 伊人久久国产一区二区| 桃花免费在线播放| 精品人妻一区二区三区麻豆| 18禁裸乳无遮挡动漫免费视频| 高清在线视频一区二区三区| 国产麻豆69| 成年av动漫网址| 视频区图区小说| 精品国产超薄肉色丝袜足j| 两性夫妻黄色片| 蜜桃国产av成人99| 国产精品久久久久久人妻精品电影 | 国产 精品1| 精品福利永久在线观看| 午夜激情av网站| 电影成人av| 水蜜桃什么品种好| 免费人妻精品一区二区三区视频| 国产一级毛片在线| 免费在线观看黄色视频的| 亚洲国产成人一精品久久久| 极品人妻少妇av视频| 久久精品国产a三级三级三级| 少妇人妻久久综合中文| 亚洲欧美色中文字幕在线| 成年女人毛片免费观看观看9 | 欧美黄色片欧美黄色片| 亚洲精品久久午夜乱码| 性高湖久久久久久久久免费观看| 日韩欧美精品免费久久| 国产成人精品久久二区二区91 | 精品国产一区二区三区久久久樱花| 一区二区三区乱码不卡18| 丝袜美腿诱惑在线| 亚洲欧美中文字幕日韩二区| 18在线观看网站| 激情视频va一区二区三区| 成人手机av| 国产精品久久久久久精品古装| 亚洲色图 男人天堂 中文字幕| 久久久久久人人人人人| av片东京热男人的天堂| 国产日韩欧美在线精品| 国产片内射在线| 一本一本久久a久久精品综合妖精| 欧美久久黑人一区二区| 在线天堂中文资源库| 丁香六月欧美| 美女脱内裤让男人舔精品视频| 超碰成人久久| 美女大奶头黄色视频| 99热全是精品| av福利片在线| 亚洲成人免费av在线播放| 少妇的丰满在线观看| 成年动漫av网址| 久久ye,这里只有精品| 亚洲,欧美精品.| 欧美日韩视频高清一区二区三区二| 国产欧美亚洲国产| 午夜福利影视在线免费观看| 天天躁夜夜躁狠狠久久av| 国产亚洲av高清不卡| 街头女战士在线观看网站| 美女视频免费永久观看网站| 亚洲美女视频黄频| 欧美av亚洲av综合av国产av | 在线天堂中文资源库| 精品卡一卡二卡四卡免费| 黄频高清免费视频| 亚洲欧美精品综合一区二区三区| 一区在线观看完整版| 国产爽快片一区二区三区| 中国三级夫妇交换| 精品人妻在线不人妻| 丰满迷人的少妇在线观看| 精品人妻熟女毛片av久久网站| 99久久综合免费| 亚洲av日韩在线播放| 亚洲欧美一区二区三区国产| 免费观看a级毛片全部| 亚洲国产精品国产精品| 日本猛色少妇xxxxx猛交久久| 欧美黄色片欧美黄色片| 天美传媒精品一区二区| 国产av精品麻豆| 老司机亚洲免费影院| 最新的欧美精品一区二区| 婷婷色av中文字幕| 国产成人91sexporn| 免费少妇av软件| 成人影院久久| 大香蕉久久网| 我要看黄色一级片免费的| 亚洲av欧美aⅴ国产| 亚洲三区欧美一区| 亚洲欧洲国产日韩| 午夜影院在线不卡| 青春草亚洲视频在线观看| 看免费成人av毛片| 亚洲自偷自拍图片 自拍| 伊人亚洲综合成人网| 国产亚洲一区二区精品| 日本vs欧美在线观看视频| 一区福利在线观看| 我的亚洲天堂| 免费观看人在逋| 在线免费观看不下载黄p国产| 国产 一区精品| 亚洲av在线观看美女高潮| 高清av免费在线| 欧美人与善性xxx| netflix在线观看网站| 满18在线观看网站| 亚洲精品国产区一区二| 国产97色在线日韩免费| 1024香蕉在线观看| 99久久99久久久精品蜜桃| 男的添女的下面高潮视频| 婷婷成人精品国产| 女人精品久久久久毛片| 亚洲欧美成人精品一区二区| 好男人视频免费观看在线| 永久免费av网站大全| 丰满饥渴人妻一区二区三| 性少妇av在线| 免费看不卡的av| 日日摸夜夜添夜夜爱| 黄频高清免费视频| 亚洲精品在线美女| 一本—道久久a久久精品蜜桃钙片| 成人午夜精彩视频在线观看| 久久韩国三级中文字幕| 纵有疾风起免费观看全集完整版| 超碰97精品在线观看| 操美女的视频在线观看| 考比视频在线观看| 丝袜美足系列| 午夜日本视频在线| 老熟女久久久| svipshipincom国产片| www.av在线官网国产| 日韩免费高清中文字幕av| 日韩av不卡免费在线播放| 国产爽快片一区二区三区| 熟女少妇亚洲综合色aaa.| 99国产精品免费福利视频| 美国免费a级毛片| 亚洲精品自拍成人| 亚洲国产成人一精品久久久| 美女扒开内裤让男人捅视频| 精品酒店卫生间| a 毛片基地| 又大又黄又爽视频免费| 在线观看免费视频网站a站| 亚洲精品久久午夜乱码| 高清黄色对白视频在线免费看| 婷婷成人精品国产| 18禁裸乳无遮挡动漫免费视频| 熟女av电影| 天天躁日日躁夜夜躁夜夜| 汤姆久久久久久久影院中文字幕| 极品少妇高潮喷水抽搐| 欧美另类一区| 亚洲久久久国产精品| 热re99久久国产66热| 一级,二级,三级黄色视频| 亚洲成人一二三区av| 一级毛片 在线播放| 尾随美女入室| 亚洲自偷自拍图片 自拍| 日本av免费视频播放| 亚洲欧美色中文字幕在线| 日韩成人av中文字幕在线观看| 你懂的网址亚洲精品在线观看| 久久久久国产精品人妻一区二区| 精品一区二区三区四区五区乱码 | 1024香蕉在线观看| 99九九在线精品视频| 丝袜人妻中文字幕| 久久久国产欧美日韩av| 色视频在线一区二区三区| 在线看a的网站| 国产成人欧美| 国产成人啪精品午夜网站| 90打野战视频偷拍视频| 侵犯人妻中文字幕一二三四区| 人人妻人人澡人人看| 亚洲国产毛片av蜜桃av| 我的亚洲天堂| 天天操日日干夜夜撸| 久久人人97超碰香蕉20202| 一级毛片电影观看| 美女脱内裤让男人舔精品视频| 精品国产超薄肉色丝袜足j| av又黄又爽大尺度在线免费看| 黄片小视频在线播放| av不卡在线播放| 欧美日韩福利视频一区二区| 日韩精品免费视频一区二区三区| 啦啦啦视频在线资源免费观看| 伊人亚洲综合成人网| 999精品在线视频| 中文精品一卡2卡3卡4更新| 女人久久www免费人成看片| 一二三四在线观看免费中文在| 日韩制服骚丝袜av| 深夜精品福利| 久久久久网色| 在线观看免费午夜福利视频| 另类亚洲欧美激情| 又黄又粗又硬又大视频| 成人黄色视频免费在线看| 在线观看免费视频网站a站| 国产免费一区二区三区四区乱码| 久久性视频一级片| 免费少妇av软件| 日日摸夜夜添夜夜爱| 丝袜人妻中文字幕| 免费黄网站久久成人精品| svipshipincom国产片| 在线天堂最新版资源| 国产精品久久久久久精品古装| 日韩av免费高清视频| 90打野战视频偷拍视频| 啦啦啦啦在线视频资源| 国产亚洲欧美精品永久| av有码第一页| 日韩中文字幕欧美一区二区 | 午夜激情av网站| 亚洲免费av在线视频| 在线天堂中文资源库| 精品少妇一区二区三区视频日本电影 | 久久精品国产综合久久久| 大香蕉久久成人网| 波多野结衣av一区二区av| 啦啦啦视频在线资源免费观看| 国产极品天堂在线| 欧美精品高潮呻吟av久久| 91精品伊人久久大香线蕉| 两性夫妻黄色片|