• <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)測試用例生成方法
    日日干狠狠操夜夜爽| 9热在线视频观看99| 男人舔女人的私密视频| 中文字幕人妻丝袜一区二区| 亚洲av熟女| 日本一区二区免费在线视频| 久久 成人 亚洲| 亚洲 欧美 日韩 在线 免费| 欧美老熟妇乱子伦牲交| 又大又爽又粗| 亚洲天堂国产精品一区在线| 国产精品亚洲一级av第二区| 日韩欧美一区视频在线观看| 亚洲aⅴ乱码一区二区在线播放 | 日韩视频一区二区在线观看| 国产欧美日韩综合在线一区二区| 国产单亲对白刺激| 午夜成年电影在线免费观看| 久久午夜综合久久蜜桃| 久久久久久久久免费视频了| 欧美国产日韩亚洲一区| 极品人妻少妇av视频| 99在线视频只有这里精品首页| 精品欧美国产一区二区三| 高清毛片免费观看视频网站| 欧美乱妇无乱码| 在线观看午夜福利视频| 给我免费播放毛片高清在线观看| 国产欧美日韩一区二区精品| 18禁黄网站禁片午夜丰满| 极品人妻少妇av视频| 非洲黑人性xxxx精品又粗又长| 国产国语露脸激情在线看| 亚洲精品久久国产高清桃花| 亚洲国产欧美一区二区综合| 成人手机av| 亚洲国产精品成人综合色| 亚洲人成77777在线视频| 99热只有精品国产| 纯流量卡能插随身wifi吗| 久久香蕉精品热| 亚洲熟女毛片儿| 每晚都被弄得嗷嗷叫到高潮| 天天躁夜夜躁狠狠躁躁| 老熟妇仑乱视频hdxx| 村上凉子中文字幕在线| 欧美黄色片欧美黄色片| 久久精品国产亚洲av高清一级| 亚洲精品久久国产高清桃花| 国产欧美日韩综合在线一区二区| 老司机深夜福利视频在线观看| 国产精品一区二区免费欧美| 女人爽到高潮嗷嗷叫在线视频| 老司机在亚洲福利影院| 国产一级毛片七仙女欲春2 | av中文乱码字幕在线| 久久婷婷人人爽人人干人人爱 | 国产精品一区二区免费欧美| 黑人操中国人逼视频| 身体一侧抽搐| 乱人伦中国视频| 人人妻人人爽人人添夜夜欢视频| 欧美激情高清一区二区三区| 国产精品久久久久久人妻精品电影| 中文字幕另类日韩欧美亚洲嫩草| 久久久久久久午夜电影| 99精品欧美一区二区三区四区| 免费av毛片视频| av视频免费观看在线观看| 狠狠狠狠99中文字幕| 精品久久蜜臀av无| 久久国产精品影院| 天堂√8在线中文| 欧美日韩一级在线毛片| 成人永久免费在线观看视频| 午夜福利18| 中文字幕另类日韩欧美亚洲嫩草| 丰满人妻熟妇乱又伦精品不卡| 国产精品1区2区在线观看.| 久久婷婷人人爽人人干人人爱 | 亚洲国产欧美日韩在线播放| or卡值多少钱| 精品欧美一区二区三区在线| 一区二区三区激情视频| 女性生殖器流出的白浆| 亚洲欧美精品综合久久99| 91在线观看av| 中文亚洲av片在线观看爽| 亚洲 国产 在线| 精品一品国产午夜福利视频| 国产精品,欧美在线| 久久久久久大精品| 国产精品久久视频播放| 免费在线观看亚洲国产| 最新美女视频免费是黄的| 免费在线观看视频国产中文字幕亚洲| 亚洲三区欧美一区| 无遮挡黄片免费观看| 亚洲成av片中文字幕在线观看| 免费观看人在逋| 精品欧美国产一区二区三| 亚洲第一电影网av| 欧美性长视频在线观看| 欧美一区二区精品小视频在线| 一区二区日韩欧美中文字幕| 18美女黄网站色大片免费观看| 国产aⅴ精品一区二区三区波| 亚洲中文字幕日韩| 精品久久久久久久毛片微露脸| 桃色一区二区三区在线观看| 色老头精品视频在线观看| 一a级毛片在线观看| 午夜福利在线观看吧| 国产aⅴ精品一区二区三区波| 身体一侧抽搐| 亚洲精品中文字幕一二三四区| 一卡2卡三卡四卡精品乱码亚洲| 成年版毛片免费区| 久久久久久国产a免费观看| 日本撒尿小便嘘嘘汇集6| 国产免费男女视频| av欧美777| 一本久久中文字幕| 亚洲专区字幕在线| 欧美老熟妇乱子伦牲交| 久99久视频精品免费| 亚洲午夜理论影院| 丁香欧美五月| 国产精品久久视频播放| 免费观看精品视频网站| 日本五十路高清| 久久精品国产亚洲av高清一级| 国产av一区在线观看免费| 国产午夜福利久久久久久| videosex国产| 校园春色视频在线观看| 亚洲国产欧美日韩在线播放| 久久久久久久精品吃奶| 久久青草综合色| 婷婷精品国产亚洲av在线| 国产蜜桃级精品一区二区三区| 一边摸一边抽搐一进一小说| 色综合婷婷激情| 亚洲国产精品999在线| 国产精品久久久久久人妻精品电影| 久久影院123| 成人av一区二区三区在线看| а√天堂www在线а√下载| 久久久久精品国产欧美久久久| 免费在线观看影片大全网站| 性色av乱码一区二区三区2| 日本三级黄在线观看| 丝袜在线中文字幕| 亚洲国产精品成人综合色| 91老司机精品| 欧美在线黄色| 制服诱惑二区| 曰老女人黄片| 女性生殖器流出的白浆| 多毛熟女@视频| 国产一区二区三区视频了| 日韩视频一区二区在线观看| 级片在线观看| 女人高潮潮喷娇喘18禁视频| 99riav亚洲国产免费| 亚洲色图综合在线观看| 日本五十路高清| 午夜福利在线观看吧| 黄色毛片三级朝国网站| 亚洲伊人色综图| 欧美成人性av电影在线观看| 真人做人爱边吃奶动态| 中文字幕人成人乱码亚洲影| 国产国语露脸激情在线看| 又黄又爽又免费观看的视频| 亚洲精品国产精品久久久不卡| 亚洲欧美激情综合另类| 麻豆成人av在线观看| www.999成人在线观看| 日韩一卡2卡3卡4卡2021年| 色老头精品视频在线观看| 久久中文看片网| 操出白浆在线播放| 欧美成人午夜精品| 免费女性裸体啪啪无遮挡网站| 黄色丝袜av网址大全| 91字幕亚洲| av视频在线观看入口| 国产在线精品亚洲第一网站| 国产又爽黄色视频| bbb黄色大片| 少妇熟女aⅴ在线视频| 欧美老熟妇乱子伦牲交| 欧美黄色淫秽网站| 精品不卡国产一区二区三区| 久久中文字幕一级| 中文字幕久久专区| 国产精品久久久av美女十八| 青草久久国产| 欧美精品啪啪一区二区三区| 一个人免费在线观看的高清视频| 久久人人爽av亚洲精品天堂| 亚洲精品一区av在线观看| a级毛片在线看网站| 免费在线观看日本一区| 国产真人三级小视频在线观看| 如日韩欧美国产精品一区二区三区| 香蕉久久夜色| 亚洲熟妇熟女久久| 一卡2卡三卡四卡精品乱码亚洲| 国产高清视频在线播放一区| 中亚洲国语对白在线视频| 久久 成人 亚洲| 一区二区日韩欧美中文字幕| 国产单亲对白刺激| 韩国精品一区二区三区| 久久九九热精品免费| 久久 成人 亚洲| 神马国产精品三级电影在线观看 | 正在播放国产对白刺激| 亚洲专区国产一区二区| av视频免费观看在线观看| 久久天躁狠狠躁夜夜2o2o| 国产成人啪精品午夜网站| av免费在线观看网站| 国产高清激情床上av| 亚洲国产精品成人综合色| 国产精品 欧美亚洲| 97人妻天天添夜夜摸| 国产主播在线观看一区二区| 亚洲一码二码三码区别大吗| 大码成人一级视频| 亚洲午夜精品一区,二区,三区| 一a级毛片在线观看| 国产精品久久视频播放| 人人澡人人妻人| 无遮挡黄片免费观看| 麻豆国产av国片精品| 天天一区二区日本电影三级 | 亚洲专区字幕在线| АⅤ资源中文在线天堂| √禁漫天堂资源中文www| 久久欧美精品欧美久久欧美| 99精品久久久久人妻精品| 亚洲色图av天堂| 国产精品日韩av在线免费观看 | 国产精品日韩av在线免费观看 | 国产一区二区三区在线臀色熟女| 亚洲在线自拍视频| 国产免费av片在线观看野外av| 亚洲成a人片在线一区二区| 日本黄色视频三级网站网址| 欧美日韩乱码在线| 亚洲国产日韩欧美精品在线观看 | 一进一出抽搐动态| 999精品在线视频| 国产成人精品无人区| 久久 成人 亚洲| 久久精品国产清高在天天线| 国产精品 欧美亚洲| 最好的美女福利视频网| 女警被强在线播放| 国产99白浆流出| 国产成人精品久久二区二区91| 国产成人免费无遮挡视频| 日韩欧美一区视频在线观看| 午夜福利成人在线免费观看| 一进一出抽搐gif免费好疼| 老鸭窝网址在线观看| 亚洲av片天天在线观看| 国产精品,欧美在线| 99久久综合精品五月天人人| 亚洲一区二区三区色噜噜| a级毛片在线看网站| 久久精品亚洲精品国产色婷小说| 成在线人永久免费视频| 日本三级黄在线观看| 女人被躁到高潮嗷嗷叫费观| 亚洲 欧美 日韩 在线 免费| 精品福利观看| 巨乳人妻的诱惑在线观看| 少妇裸体淫交视频免费看高清 | 好看av亚洲va欧美ⅴa在| 两个人免费观看高清视频| 波多野结衣一区麻豆| 韩国av一区二区三区四区| 日韩欧美一区视频在线观看| 欧美色视频一区免费| 怎么达到女性高潮| 亚洲自拍偷在线| 母亲3免费完整高清在线观看| 国内精品久久久久精免费| 亚洲美女黄片视频| 一级片免费观看大全| 日本三级黄在线观看| 每晚都被弄得嗷嗷叫到高潮| 狠狠狠狠99中文字幕| www国产在线视频色| 麻豆成人av在线观看| 19禁男女啪啪无遮挡网站| 夜夜夜夜夜久久久久| 9热在线视频观看99| 国产午夜精品久久久久久| 色av中文字幕| 久久婷婷成人综合色麻豆| 叶爱在线成人免费视频播放| xxx96com| 色在线成人网| 午夜精品久久久久久毛片777| 色婷婷久久久亚洲欧美| 色综合亚洲欧美另类图片| 一级作爱视频免费观看| netflix在线观看网站| 国产精品一区二区免费欧美| 一区二区三区激情视频| 国产午夜精品久久久久久| 欧洲精品卡2卡3卡4卡5卡区| 黄色 视频免费看| 午夜福利免费观看在线| 人妻久久中文字幕网| 黄网站色视频无遮挡免费观看| 亚洲狠狠婷婷综合久久图片| 性欧美人与动物交配| 黄色成人免费大全| 国产精品自产拍在线观看55亚洲| 制服人妻中文乱码| 久久欧美精品欧美久久欧美| 免费观看人在逋| 午夜老司机福利片| 午夜激情av网站| 老汉色av国产亚洲站长工具| 欧美中文日本在线观看视频| 久久久久久免费高清国产稀缺| videosex国产| 日本三级黄在线观看| 亚洲 欧美 日韩 在线 免费| 夜夜爽天天搞| 久久国产精品人妻蜜桃| 色在线成人网| 欧美色视频一区免费| 两性午夜刺激爽爽歪歪视频在线观看 | 91麻豆精品激情在线观看国产| 男女下面插进去视频免费观看| 久久人妻av系列| 自线自在国产av| tocl精华| 国产精品野战在线观看| 天天躁夜夜躁狠狠躁躁| 久久人妻熟女aⅴ| 亚洲色图综合在线观看| 国产在线观看jvid| 午夜福利视频1000在线观看 | 制服丝袜大香蕉在线| 国产精品久久电影中文字幕| 久久人人精品亚洲av| 这个男人来自地球电影免费观看| 亚洲色图综合在线观看| 久热这里只有精品99| 久久久国产成人精品二区| 精品一区二区三区视频在线观看免费| 搡老妇女老女人老熟妇| 黄色a级毛片大全视频| 日本 av在线| 亚洲成国产人片在线观看| 久久婷婷成人综合色麻豆| 狠狠狠狠99中文字幕| 男男h啪啪无遮挡| 精品国产美女av久久久久小说| 日本一区二区免费在线视频| 亚洲专区国产一区二区| 亚洲av日韩精品久久久久久密| 国产精品 欧美亚洲| 成人av一区二区三区在线看| 51午夜福利影视在线观看| 久久久久久亚洲精品国产蜜桃av| 女人被躁到高潮嗷嗷叫费观| 狠狠狠狠99中文字幕| 中文字幕av电影在线播放| 国产私拍福利视频在线观看| 国产亚洲欧美98| 纯流量卡能插随身wifi吗| 久久中文字幕人妻熟女| 一进一出抽搐动态| 麻豆成人av在线观看| 亚洲一码二码三码区别大吗| 国产1区2区3区精品| 久久天堂一区二区三区四区| 国产激情久久老熟女| 久久久国产欧美日韩av| 香蕉国产在线看| 天天一区二区日本电影三级 | 淫妇啪啪啪对白视频| 亚洲国产精品999在线| 日韩高清综合在线| 国产精品乱码一区二三区的特点 | 国产人伦9x9x在线观看| 久久国产精品男人的天堂亚洲| 在线观看免费午夜福利视频| 国产亚洲精品久久久久久毛片| 性色av乱码一区二区三区2| 看免费av毛片| 两个人免费观看高清视频| 精品熟女少妇八av免费久了| 侵犯人妻中文字幕一二三四区| 国产精品久久久人人做人人爽| 国产麻豆69| 国产精品98久久久久久宅男小说| 国产亚洲欧美在线一区二区| xxx96com| 一区福利在线观看| 免费在线观看黄色视频的| 亚洲欧美激情在线| 亚洲精华国产精华精| 亚洲国产精品合色在线| 亚洲人成77777在线视频| 中文字幕久久专区| 午夜a级毛片| 亚洲成a人片在线一区二区| 老司机在亚洲福利影院| 琪琪午夜伦伦电影理论片6080| 一级毛片女人18水好多| 丁香欧美五月| 亚洲一卡2卡3卡4卡5卡精品中文| 国产亚洲av高清不卡| 欧美激情极品国产一区二区三区| www国产在线视频色| 亚洲专区中文字幕在线| 亚洲黑人精品在线| 制服人妻中文乱码| 一进一出抽搐gif免费好疼| 久久精品91无色码中文字幕| 欧美日韩瑟瑟在线播放| 一区二区日韩欧美中文字幕| 很黄的视频免费| 亚洲中文字幕日韩| cao死你这个sao货| 久久精品亚洲熟妇少妇任你| 99国产精品免费福利视频| 欧美丝袜亚洲另类 | 美女大奶头视频| 两性夫妻黄色片| 国产精品亚洲一级av第二区| 一个人免费在线观看的高清视频| 黑人欧美特级aaaaaa片| 韩国精品一区二区三区| a在线观看视频网站| 无限看片的www在线观看| 免费看美女性在线毛片视频| 在线国产一区二区在线| 亚洲精品美女久久久久99蜜臀| 国产成人精品久久二区二区91| 黄色视频不卡| 91老司机精品| 亚洲熟妇熟女久久| 日韩大尺度精品在线看网址 | 久久久久久久久免费视频了| 精品国产一区二区三区四区第35| 国产熟女午夜一区二区三区| 国语自产精品视频在线第100页| 黑丝袜美女国产一区| 日日摸夜夜添夜夜添小说| 国产精品免费一区二区三区在线| 老司机午夜福利在线观看视频| 国产野战对白在线观看| 美女 人体艺术 gogo| 亚洲专区中文字幕在线| 18美女黄网站色大片免费观看| 欧美乱码精品一区二区三区| 天天添夜夜摸| 精品国产乱子伦一区二区三区| avwww免费| 首页视频小说图片口味搜索| 免费看a级黄色片| x7x7x7水蜜桃| 大型黄色视频在线免费观看| 一进一出抽搐动态| 12—13女人毛片做爰片一| 久久久久国内视频| 精品福利观看| 欧美激情极品国产一区二区三区| 亚洲在线自拍视频| 一区福利在线观看| 女人被狂操c到高潮| 亚洲精品国产区一区二| 久久久久久久精品吃奶| 亚洲av五月六月丁香网| 欧美成人一区二区免费高清观看 | 黑人巨大精品欧美一区二区蜜桃| 麻豆国产av国片精品| 亚洲精品国产区一区二| 国产精品久久视频播放| 精品福利观看| 日韩av在线大香蕉| 国产免费男女视频| 国产av精品麻豆| 亚洲专区字幕在线| or卡值多少钱| 在线国产一区二区在线| 嫩草影院精品99| 丁香六月欧美| 亚洲精品久久成人aⅴ小说| 成年女人毛片免费观看观看9| 国产三级在线视频| 亚洲人成电影免费在线| 午夜福利高清视频| 欧美色视频一区免费| 黄色 视频免费看| 亚洲五月婷婷丁香| 又紧又爽又黄一区二区| 99国产精品一区二区蜜桃av| 欧美性长视频在线观看| 免费女性裸体啪啪无遮挡网站| 欧美日本视频| 大陆偷拍与自拍| 亚洲自偷自拍图片 自拍| 香蕉丝袜av| 久久久久久久久中文| 久久久国产精品麻豆| 9191精品国产免费久久| 久久久久久大精品| 国产成人精品久久二区二区免费| 国产精品日韩av在线免费观看 | 亚洲av成人av| 亚洲色图综合在线观看| 19禁男女啪啪无遮挡网站| 精品国内亚洲2022精品成人| 丰满的人妻完整版| 久久人妻av系列| 欧美激情极品国产一区二区三区| 丝袜美足系列| 日本免费a在线| 亚洲最大成人中文| 电影成人av| 美女国产高潮福利片在线看| 亚洲黑人精品在线| 黄色成人免费大全| 18美女黄网站色大片免费观看| 亚洲欧美激情在线| 午夜精品在线福利| 一区二区三区高清视频在线| 日本一区二区免费在线视频| 波多野结衣高清无吗| 国产亚洲欧美98| 日本欧美视频一区| 欧美另类亚洲清纯唯美| 两个人免费观看高清视频| 成人18禁高潮啪啪吃奶动态图| 88av欧美| 免费观看精品视频网站| 视频区欧美日本亚洲| 亚洲专区字幕在线| 亚洲精品中文字幕一二三四区| 精品福利观看| 大香蕉久久成人网| 日韩免费av在线播放| 日本vs欧美在线观看视频| 国产亚洲精品第一综合不卡| 国产单亲对白刺激| 国产主播在线观看一区二区| 国产精品一区二区在线不卡| 中文字幕人妻丝袜一区二区| 亚洲精品av麻豆狂野| 成在线人永久免费视频| 亚洲中文字幕日韩| 久久久久国产一级毛片高清牌| 久久久水蜜桃国产精品网| 国产乱人伦免费视频| 精品无人区乱码1区二区| 欧美老熟妇乱子伦牲交| 欧美性长视频在线观看| 免费在线观看黄色视频的| 黄色女人牲交| 亚洲午夜理论影院| 国产色视频综合| 亚洲第一av免费看| 精品久久久久久久人妻蜜臀av | 亚洲一区二区三区不卡视频| 国产色视频综合| 国产又爽黄色视频| 成人精品一区二区免费| 一区二区三区精品91| 久久国产乱子伦精品免费另类| 黄色a级毛片大全视频| 亚洲国产精品成人综合色| 日韩欧美国产一区二区入口| xxx96com| 日韩av在线大香蕉| 人人妻,人人澡人人爽秒播| 人人澡人人妻人| 免费人成视频x8x8入口观看| 嫩草影视91久久| 国产在线精品亚洲第一网站| 69av精品久久久久久| 乱人伦中国视频| 50天的宝宝边吃奶边哭怎么回事| 一个人观看的视频www高清免费观看 | 在线视频色国产色| 国产精品电影一区二区三区| 电影成人av| 亚洲美女黄片视频| 丁香六月欧美| 嫁个100分男人电影在线观看| 欧美日本亚洲视频在线播放| 国产成人av激情在线播放| 久久久久久久久久久久大奶| 91成人精品电影| 亚洲天堂国产精品一区在线| 亚洲七黄色美女视频| 此物有八面人人有两片| 亚洲在线自拍视频| 电影成人av| 欧美av亚洲av综合av国产av| 成人欧美大片| 亚洲精品久久国产高清桃花| 国产xxxxx性猛交|