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

    基于模型檢測的機載電子硬件驗證方法研究

    2019-08-23 05:34金志威田毅蘆浩王鵬
    現(xiàn)代電子技術 2019年16期
    關鍵詞:民用航空狀態(tài)機

    金志威 田毅 蘆浩 王鵬

    摘? 要: 模型檢測技術已廣泛應用于計算機硬件、通信協(xié)議、控制系統(tǒng)等領域,在民用航空領域如何采用模型檢測技術開展硬件符合性驗證,成為設計及驗證人員待解決的問題。文中介紹模型檢測方法的驗證機理,并提出使用該方法作為機載電子硬件的補充驗證方案。以PCI總線狀態(tài)機模塊作為驗證對象,開展模型檢測補充驗證,確定了狀態(tài)機各狀態(tài)轉移路徑的正確,說明了該方法的合理性。

    關鍵詞: 民用航空; 模型檢測; 機載電子硬件; 驗證方案; PCI總線; 狀態(tài)機

    中圖分類號: TN609?34; V243? ? ? ? ? ? ? ? ? ? ?文獻標識碼: A? ? ? ? ? ? ? ? ? ? ?文章編號: 1004?373X(2019)16?0006?04

    0? 引? 言

    隨著科技的飛速發(fā)展,微電子技術的應用不斷延伸到生活中的各個領域。由于其具有低功耗、高性能、高容量等優(yōu)良特性,微電子技術在產品中實現(xiàn)信息存儲、處理以及加工等重要功能。然而隨著系統(tǒng)復雜度的不斷增加,為了確保設計的安全性及可靠性,如何進行全面且完整的驗證給驗證工程師帶來了巨大的挑戰(zhàn)。

    在民用航空等高安全性領域,電子硬件的功能覆蓋率及代碼覆蓋率是衡量設計及驗證工作的重要指標[1]。在高安全性等級的設計中,驗證人員將花費大量的時間搭建驗證平臺,編制測試激勵來獲取100%的覆蓋率數(shù)據(jù)。特別對于帶有多狀態(tài)、路徑復雜的狀態(tài)機設計,往往大量的測試激勵也難以覆蓋到所有的狀態(tài)路徑。由此一方面大幅度增加了驗證人員的工作量,延長了項目的研制生命周期;另一方面從適航角度講,對于A/B級機載電子硬件,在審查過程中若存在未覆蓋到的狀態(tài)轉移路徑,則無法滿足代碼覆蓋的要求[2]。因此,有必要在驗證過程中,針對復雜狀態(tài)機采用更加有效的方法進行補充驗證,提高項目的驗證效率,進而提高設計的安全性指標。

    本文將討論模型檢測方法在機載電子硬件驗證過程中的應用,并以PCI總線從端口設計為例,利用模型檢測工具NuXMV實踐相關方法。實驗結果表明,在機載電子硬件驗證過程中,對狀態(tài)機使用模型檢測方法搭建模型,能夠有效對狀態(tài)機進行驗證,對難以獲取狀態(tài)轉移覆蓋度的設計進行補充驗證,有效提高了驗證效率并確保了設計的安全及可靠。

    1? 模型檢測方法

    模型檢測是通過搜索待驗證系統(tǒng)模型的有窮狀態(tài)空間來檢驗系統(tǒng)的行為是否具備預測屬性的一種自動驗證技術。該方法由E. A. Emerson等于1981年首次提出[3],目前已經被廣泛應用于計算機、軟件、通信、微電子等多個領域。

    模型檢測基本思想是:假設模型Μ是一個有窮狀態(tài)轉換系統(tǒng)的抽象,屬性φ是該系統(tǒng)的時態(tài)邏輯公式描述。可使用公式Μ╞φ來表示模型M是屬性φ的一個模型,進而說明系統(tǒng)滿足了所有期望屬性。將Μ和φ輸入模型檢查器,當Μ╞ φ語義推導成立,模型檢查器輸出“TRUE”,否則輸出“FALSE” [4]。由于模型檢測使用系統(tǒng)描述語言對模型進行抽象,并且使用CTL(分支時序邏輯)或LTL[5](線性時序邏輯)模型檢測算法來抽象系統(tǒng)屬性,因此該方法具有檢驗過程自動化、無需外加測試激勵、檢測速度快、反例定位準確等特點。

    通??蓪⒛P蜋z測過程劃分為3個步驟,分別為系統(tǒng)建模、屬性描述和算法運行[6],如圖1所示。系統(tǒng)建模:對有窮狀態(tài)轉換系統(tǒng)采用Kripke結構或自動機等狀態(tài)模型進行模型搭建,獲得模型M。屬性描述:采用CTL或LTL公式描述系統(tǒng)的屬性,獲得屬性φ;算法運行:將模型M和屬性φ輸入到模型檢測算法(工具)中并運行,對系統(tǒng)進行驗證,若Μ╞φ,則輸出TRUE,否則給出反例。

    2? 基于模型檢測的補充驗證

    針對復雜機載電子硬件的設計,RTL層級的驗證工作主要包括功能覆蓋和代碼覆蓋兩方面。代碼覆蓋用于檢查設計中哪些代碼在驗證期間被執(zhí)行過,是否存在冗余代碼以及無法達到的路徑等情況。功能覆蓋也可稱為基于需求的覆蓋,是代碼覆蓋的補充,用于衡量驗證對象是否實現(xiàn)了設計者所期望的功能。

    功能覆蓋率的要求需要達到100%,即證明此設計實現(xiàn)了所有功能需求。代碼覆蓋率根據(jù)機載電子硬件的設計保證等級(DAL)的高低有所不同,對于DAL為A和B等級的機載電子硬件,不但要求語句、分支、條件、表達式等覆蓋率,還要求狀態(tài)轉移覆蓋率達到100%,即應當覆蓋到設計中狀態(tài)機的所有狀態(tài)轉移路徑。

    圖2為基于模型檢測的補充驗證流程。復雜設計驗證中功能覆蓋率和代碼覆蓋率的數(shù)據(jù)收集是反復迭代的過程。若硬件設計中存在大規(guī)模、多狀態(tài)的有限狀態(tài)機,當使用傳統(tǒng)的驗證方法難以收集到100%的狀態(tài)轉移覆蓋率時,則可通過模型檢測的方式對設計進行補充驗證,當其他覆蓋率也達到要求之后,則驗證工作結束。

    3? 案例實施

    PCI總線是先進的高性能局部總線,可同時支持多個外圍設備。該總線不受制于處理器,其主要作用在于為中央處理器及高速外圍設備提供一座運輸橋梁,提高數(shù)據(jù)吞吐量?,F(xiàn)如今基于PCI總線的VbPCI(Virtual backplane PCI)總線已被霍尼韋爾應用其PC架構中,同時PCI總線被廣泛應用在航空測試系統(tǒng)中。

    3.1? 案例描述

    圖3所示為PCI從接口的系統(tǒng)框圖,由圖可知,此硬件設計分為8個功能模塊,其核心部分為狀態(tài)機模塊。

    IP核的控制狀態(tài)機模塊一方面按照PCI總線協(xié)議,結合總線的輸入控制信號,經過分析,發(fā)送出相應的總線輸出信號;另一方面,通過判斷PCI總線事務,并結合本地端口的控制信號,完成PCI總線對從設備的各操作事務,包括配置、讀、寫、重試、錯誤中斷等。

    該模塊的硬件程序為一個12狀態(tài)的狀態(tài)機,狀態(tài)包括idle(空閑)、config_wait(配置等待)、config_ready(配置準備)、config(配置)、rw_wait(讀寫等待)、rw_ready(讀寫準備)、read_wait(讀等待)、rw(讀寫)、last_rw(最后讀寫)、retry(重試)、abort(停止)和backoff(返回)。通過控制狀態(tài)機各狀態(tài)的跳轉,完成總線的配置、讀、寫等操作的使能信號輸出,進而實現(xiàn)總線的數(shù)據(jù)傳輸。

    3.2? 模型檢測工具

    模型檢測方法的主要特點是能夠自動化驗證,因此該方法離不開成熟的模型檢測工具的支持。模型檢驗工具通常要求采用時序邏輯來描述系統(tǒng)的設計規(guī)范,利用BDD(二叉判定圖)表示電路實現(xiàn)的狀態(tài)及狀態(tài)之間的轉移關系,通過遍歷BDD來檢驗電路的設計是否滿足規(guī)范,如果不滿足則給出反例[7]。目前可用的工具如Bell實驗室的SPIN[8]、瑞士的Uppsala大學和丹麥的Aalborg大學聯(lián)合開發(fā)的UPPAAL[9]、新加坡國立大學PAT小組開發(fā)的PAT[10]工具,以及卡內基梅隆大學的SMV,NuSMV[11]及NuXMV等。

    本案例將采用NuXMV作為模型檢測工具。NuXMV擴展于NuSMV工具,其在算法和驗證引擎上進行了進一步提升,支持LTL和CTL描述的所有規(guī)范;對于有限狀態(tài)的情形,NuXMV特點是基于SAT算法的有效驗證引擎;通過定義良好的軟件體系結構,更方便用戶操作[12],是一款比較常用的模型檢測工具。

    3.3? 模型搭建

    3.3.1? 模型檢測算法

    模型檢測算法是通過遍歷狀態(tài)空間檢測屬性在系統(tǒng)模型中是否成立來實現(xiàn)。通常將模型檢測算法分為CTL(分支時序邏輯)和LTL(線性時序邏輯)。CTL模型檢測算法是采用分支時序邏輯來描述系統(tǒng)的屬性。在CTL算法中,通常將系統(tǒng)模型描述為分支結構,在該結構中,“未來”的屬性是未知的,會有多種可能發(fā)生。LTL算法是采用線性、離散且與自然數(shù)同構的時間結構,將時序邏輯與命題邏輯相結合,進而描述系統(tǒng)屬性以及系統(tǒng)在執(zhí)行路徑上的性質[13]。

    3.3.2? 模型抽象

    定義 假定Atoms是一組原子命題集合,在Atoms上定義Kripke結構模型M為一個四元組M=。其中:S={st1,st2,…,stn}是一個有限狀態(tài)集合;Σ={input1,input2,…,inputn}是一個有限輸入集合,可以是狀態(tài)或是其他變量;“→”表示全部狀態(tài)轉移關系,即對[?] "st∈S都[?]st′∈S,滿足st→st′;?表示對所有原子命題的一個真賦值 [14],即?:S→p(Atoms)。

    將上述定義代入PCI總線從接口的狀態(tài)機模塊中,其狀態(tài)轉移過程描述如圖4所示。FSM狀態(tài)S={idle, config_wait, config_ready, config, rw_wait, rw_ready, read_wait, rw, last_rw, retry, abort, backoff}。其中:狀態(tài){idle}表示空閑;狀態(tài){retry}表示重試;狀態(tài){abort}表示終止;狀態(tài){backoff}表示返回;其他狀態(tài)分別為PCI總線的配置、讀、寫等事務操作狀態(tài)。

    3.4? 結果分析

    使用NuXMV對PCI狀態(tài)機模塊模型進行分析,部分檢測結果如圖5所示。同樣以配置操作為例,其結果輸出顯示該操作的屬性描述為True,證明該條狀態(tài)轉移路徑正確。

    通過分析其他檢測結果發(fā)現(xiàn),PCI狀態(tài)機模塊中的所有狀態(tài)轉移路徑均為正確,實現(xiàn)了對狀態(tài)轉移覆蓋的補充驗證。在模型檢測過程中,當存在錯誤的狀態(tài)轉移路徑時,工具會自動生成不滿足系統(tǒng)屬性的反例,即說明模型或屬性存在缺陷。通過分析定位錯誤后,設計人員和驗證人員進行修改,最終實現(xiàn)設計及驗證的目標。

    4? 結? 語

    模型檢測方法由于無需編寫測試激勵且可自動化開展驗證等優(yōu)點,廣泛應用于有窮狀態(tài)系統(tǒng)的驗證過程。在民用航空領域,對于高安全等級的機載復雜電子硬件,當設計中存在大規(guī)模狀態(tài)機時,為了滿足代碼覆蓋要求,使用傳統(tǒng)的驗證方法將耗費大量的人力及時間。文中以PCI總線狀態(tài)機模塊為研究對象,采用模型檢測作為設計的補充驗證方法,使用NuXMV模型檢測工具對設計開展驗證,并獲取驗證結果。結果表明,采用模型檢測方法對設計進行補充驗證,能夠快速有效地明確狀態(tài)轉移路徑的正確性,對狀態(tài)轉移覆蓋率進行補充,為驗證人員提供了一種新的驗證方案。

    參考文獻

    [1] MINER P S, CARRENO V A, MALEKPOUR M, et al. A case?study application of RTCA DO?254: design assurance guidance for airborne electronic hardware [C]// Proceedings of 19th Digital Avionics Systems Conference. Philadelphia: IEEE, 2000: 1?5.

    [2] European Aviation Safety Agency. Certification memorandum: development assurance of airborne electronic hardware [EB/OL]. [2011?08?11]. https://www.easa.europa.eu/sites/default/files/dfu/certification?docs?certification?memorandum?EASA?CM?SWCEH?001?Development?Assurance?of?Airborne?Electronic?Hardware.pdf.

    [3] CLARKE E M. The birth of model checking [EB/OL]. [2015?11?27]. http://www.doc88.com/p?9912184698556.html.

    [4] CLARKE E M, EMERSON E A, SIFAKIS J. Model checking: algorithmic verification and debugging [J]. Communications of the ACM, 2009, 52(11): 74?84.

    [5] PU F, ZHANG W H. Combining search space partition and search space partition and abstraction for LTL model checking [J]. Science in China series F information sciences, 2007, 50(6): 793?810.

    [6] 林惠民,張文輝.模型檢測:理論、方法與應用[J].電子學報,2002,30(z1):1907?1912.

    LIN Huimin, ZHANG Wenhui. Model detection: theories, techniques and applications [J]. Acta electronica sinica, 2002, 30(S1): 1907?1912.

    [7] 化希耀,蘇博妮,陳立平,等.模型檢測技術研究綜述[J].塔里木大學學報,2013,25(4):119?124.

    HUA Xiyao, SU Boni, CHEN Liping, et al. A survey of model checking [J]. Journal of Tarim University, 2013, 25(4): 119?124.

    [8] HOLZMANN G J, PELED D. The state of spin [C]// Proceedings of the 8th International Conference on Computer?Aided Verification. Berlin: Springer, 1996: 383?389.

    [9] BENGTSSON J, LARSEN K, LARSSON F, et al. UPPAAL: a tool suite for automatic verification of real?time systems [C]// Proceedings of International Hybrid Systems Workshop. Berlin: Springer, 1995: 232?243.

    [10] SUN J, LIU Y, DONG J S, et al. PAT: towards flexible verification under fairness [C]// Proceedings of the 21st International Conference on Computer Aided Verification. Berlin: Springer, 2009: 709?714.

    [11] CIMATTI A, CLARKE E, GIUNCHIGLIA F, et al. NuSMV: a new symbolic model checker [J]. International journal on software tools for technology transfer, 2000, 2(4): 410?425.

    [12] CAVADA R, CIMATTI A, DORIGATTI M, et al. The NuXMV symbolic model checker [C]// Proceedings of International Conference on Computer Aided Verification. Cham: Springer, 2014: 334?342.

    [13] MAIDI M. The common fragments of CTL and LTL [C]// Proceedings of 41st Annual Symposium on Foundations of Computer Science. Redondo: IEEE, 2000: 643?652.

    [14] HUTH M, RYAN M. Logic in computer science: modelling and reasoning about systems [M]. 2nd ed. Cambridge: University of Cambridge, 2004.

    猜你喜歡
    民用航空狀態(tài)機
    民用航空發(fā)動機短艙雷電防護設計及驗證
    民航局公布已獲批準的民用航空產品和零部件清單
    基于有限狀態(tài)機的交會對接飛行任務規(guī)劃方法
    民用航空測距信號對北斗導航信號的干擾分析
    民用航空測距信號對北斗導航信號的干擾分析
    波音預測中國民用航空市場總需求將達2.7萬億美元
    典型民用航空發(fā)動機單元體劃分淺析
    基于狀態(tài)機比對的狀態(tài)機推斷方案
    雙口RAM讀寫正確性自動測試的有限狀態(tài)機控制器設計方法
    A Study of Motivation in ActivePerformancein Class
    国内精品美女久久久久久| 国产精品电影一区二区三区| 狂野欧美白嫩少妇大欣赏| 亚洲精品影视一区二区三区av| 国产男人的电影天堂91| 九九久久精品国产亚洲av麻豆| 婷婷精品国产亚洲av在线| 国产极品精品免费视频能看的| 国产亚洲精品综合一区在线观看| a级一级毛片免费在线观看| 国产成人a区在线观看| 国产 一区 欧美 日韩| 青春草视频在线免费观看| 淫妇啪啪啪对白视频| 国产又黄又爽又无遮挡在线| 久久精品国产鲁丝片午夜精品| 一卡2卡三卡四卡精品乱码亚洲| 欧美丝袜亚洲另类| 国产精品伦人一区二区| 国产91av在线免费观看| 特大巨黑吊av在线直播| 一本久久中文字幕| 一级毛片电影观看 | a级毛片免费高清观看在线播放| 国产成人91sexporn| 男女下面进入的视频免费午夜| 大型黄色视频在线免费观看| 成人亚洲欧美一区二区av| 久久久久久九九精品二区国产| 久久久久久久久久黄片| 麻豆国产av国片精品| 亚洲人成网站高清观看| 两个人的视频大全免费| 欧美精品国产亚洲| 国产真实乱freesex| 天堂影院成人在线观看| 欧美日韩一区二区视频在线观看视频在线 | 亚洲国产精品成人久久小说 | 欧美区成人在线视频| 最新中文字幕久久久久| 卡戴珊不雅视频在线播放| 极品教师在线视频| 亚洲av二区三区四区| 男女下面进入的视频免费午夜| а√天堂www在线а√下载| 最新在线观看一区二区三区| 欧美+日韩+精品| 欧美+亚洲+日韩+国产| 国产精品日韩av在线免费观看| 亚洲欧美清纯卡通| 国产成人a区在线观看| 小说图片视频综合网站| 九九久久精品国产亚洲av麻豆| 六月丁香七月| 国产色爽女视频免费观看| .国产精品久久| 一级a爱片免费观看的视频| 一个人免费在线观看电影| 欧美xxxx性猛交bbbb| 日本在线视频免费播放| 一级毛片aaaaaa免费看小| 国产大屁股一区二区在线视频| av专区在线播放| 日韩,欧美,国产一区二区三区 | 欧美丝袜亚洲另类| 干丝袜人妻中文字幕| 两性午夜刺激爽爽歪歪视频在线观看| 亚洲中文字幕日韩| 一级a爱片免费观看的视频| a级毛片a级免费在线| 久久久久国内视频| 午夜精品国产一区二区电影 | 亚洲五月天丁香| 99热全是精品| 精品久久久久久成人av| 少妇熟女aⅴ在线视频| 日韩精品青青久久久久久| 亚洲国产欧洲综合997久久,| 欧美性感艳星| 美女cb高潮喷水在线观看| 男插女下体视频免费在线播放| 夜夜夜夜夜久久久久| 国产成人a区在线观看| 在线观看66精品国产| av在线观看视频网站免费| 男人舔女人下体高潮全视频| 天堂动漫精品| 午夜亚洲福利在线播放| 一本久久中文字幕| 精品日产1卡2卡| 免费av观看视频| 午夜福利在线观看免费完整高清在 | 五月玫瑰六月丁香| 麻豆精品久久久久久蜜桃| 亚洲性久久影院| 亚洲成人中文字幕在线播放| 99国产精品一区二区蜜桃av| 国产高清三级在线| 日韩精品青青久久久久久| 秋霞在线观看毛片| 国产精品不卡视频一区二区| 日本 av在线| 成人无遮挡网站| 久久久久久久亚洲中文字幕| av在线观看视频网站免费| 午夜亚洲福利在线播放| 真实男女啪啪啪动态图| 人妻夜夜爽99麻豆av| 99在线人妻在线中文字幕| 国产美女午夜福利| 久久鲁丝午夜福利片| 亚洲欧美成人综合另类久久久 | 日本 av在线| 久久久久国产网址| 最近的中文字幕免费完整| 国产成人影院久久av| videossex国产| 1024手机看黄色片| 国产精品久久电影中文字幕| 午夜日韩欧美国产| 精品一区二区三区视频在线观看免费| 国产 一区精品| 亚洲精品国产成人久久av| 日本一二三区视频观看| 国产在线男女| 亚洲美女视频黄频| 国产成人a∨麻豆精品| 日韩高清综合在线| 一a级毛片在线观看| 91久久精品电影网| 国产亚洲91精品色在线| 午夜福利视频1000在线观看| 99久久无色码亚洲精品果冻| 乱系列少妇在线播放| 国产精品久久久久久久久免| 欧美激情国产日韩精品一区| 国产精品亚洲一级av第二区| 精品人妻视频免费看| 少妇人妻一区二区三区视频| 欧美性猛交╳xxx乱大交人| 少妇猛男粗大的猛烈进出视频 | 此物有八面人人有两片| 亚洲熟妇熟女久久| 亚洲高清免费不卡视频| 亚洲av第一区精品v没综合| 欧美色欧美亚洲另类二区| 亚洲美女搞黄在线观看 | 亚洲精品成人久久久久久| 一级毛片电影观看 | 在线观看免费视频日本深夜| 18禁黄网站禁片免费观看直播| 偷拍熟女少妇极品色| 老司机福利观看| 大香蕉久久网| 亚洲经典国产精华液单| 国产又黄又爽又无遮挡在线| 中国美白少妇内射xxxbb| 亚洲成人av在线免费| 午夜福利在线在线| 一进一出好大好爽视频| 日本免费a在线| 少妇熟女欧美另类| 国产精品精品国产色婷婷| 欧美一区二区国产精品久久精品| 一个人免费在线观看电影| 中文字幕精品亚洲无线码一区| 成人综合一区亚洲| 久久精品91蜜桃| 免费电影在线观看免费观看| 一级a爱片免费观看的视频| 哪里可以看免费的av片| 97热精品久久久久久| 一夜夜www| 大型黄色视频在线免费观看| 国产男人的电影天堂91| 国产精品嫩草影院av在线观看| 一卡2卡三卡四卡精品乱码亚洲| 老女人水多毛片| 精品少妇黑人巨大在线播放 | 美女cb高潮喷水在线观看| 一本精品99久久精品77| h日本视频在线播放| 哪里可以看免费的av片| 成年女人毛片免费观看观看9| 女同久久另类99精品国产91| 亚洲av免费在线观看| 国产高清有码在线观看视频| 日日啪夜夜撸| 一进一出好大好爽视频| 一个人免费在线观看电影| 非洲黑人性xxxx精品又粗又长| 国产欧美日韩精品一区二区| 永久网站在线| 国产精品三级大全| 精品人妻一区二区三区麻豆 | 男女边吃奶边做爰视频| 天堂影院成人在线观看| 国产av在哪里看| 午夜老司机福利剧场| 中文字幕av在线有码专区| 久久这里只有精品中国| 日韩 亚洲 欧美在线| 欧美不卡视频在线免费观看| 中国国产av一级| 97在线视频观看| 精品99又大又爽又粗少妇毛片| 我的老师免费观看完整版| 最近视频中文字幕2019在线8| 欧美高清性xxxxhd video| 一区二区三区高清视频在线| 性色avwww在线观看| 免费av观看视频| 国产精品久久久久久精品电影| 免费观看的影片在线观看| 欧美极品一区二区三区四区| 国产 一区 欧美 日韩| 日本撒尿小便嘘嘘汇集6| 免费看光身美女| 国产男靠女视频免费网站| 国产精品爽爽va在线观看网站| 精品无人区乱码1区二区| av专区在线播放| 国产精品一区二区性色av| 国产国拍精品亚洲av在线观看| 日韩高清综合在线| 中文字幕久久专区| 精品一区二区三区人妻视频| 99热网站在线观看| 亚洲aⅴ乱码一区二区在线播放| 午夜精品国产一区二区电影 | 天堂√8在线中文| 国内精品宾馆在线| 老女人水多毛片| 1000部很黄的大片| 亚洲精品色激情综合| 日本欧美国产在线视频| 啦啦啦韩国在线观看视频| 身体一侧抽搐| 久久久久久大精品| 久久久国产成人免费| 成人欧美大片| 波多野结衣高清无吗| 亚洲国产欧美人成| 亚洲欧美中文字幕日韩二区| 青春草视频在线免费观看| 日本黄大片高清| 欧美精品国产亚洲| 国产真实乱freesex| 精品久久久噜噜| 男女啪啪激烈高潮av片| 露出奶头的视频| 麻豆精品久久久久久蜜桃| 国产精品99久久久久久久久| 深夜a级毛片| 亚洲av一区综合| 国产精品伦人一区二区| 熟妇人妻久久中文字幕3abv| 少妇人妻一区二区三区视频| 一区二区三区四区激情视频 | 少妇熟女欧美另类| 18+在线观看网站| 精品人妻偷拍中文字幕| 久久久精品94久久精品| 最新在线观看一区二区三区| 国产精品一区二区三区四区免费观看 | 国内揄拍国产精品人妻在线| 日韩成人av中文字幕在线观看 | 国产男靠女视频免费网站| 美女xxoo啪啪120秒动态图| 国产精品美女特级片免费视频播放器| 真人做人爱边吃奶动态| 久久热精品热| 麻豆国产97在线/欧美| 免费观看的影片在线观看| av黄色大香蕉| 夜夜看夜夜爽夜夜摸| 久久精品国产自在天天线| 黄色视频,在线免费观看| 麻豆乱淫一区二区| 尾随美女入室| 久久精品国产亚洲av香蕉五月| 日日干狠狠操夜夜爽| 欧美另类亚洲清纯唯美| 亚洲国产精品合色在线| 国产蜜桃级精品一区二区三区| 禁无遮挡网站| 午夜免费男女啪啪视频观看 | aaaaa片日本免费| 少妇高潮的动态图| 波多野结衣高清作品| 国产91av在线免费观看| 美女免费视频网站| 麻豆av噜噜一区二区三区| 22中文网久久字幕| 最近在线观看免费完整版| 亚洲精品一卡2卡三卡4卡5卡| 偷拍熟女少妇极品色| 国产在线男女| 一级毛片电影观看 | АⅤ资源中文在线天堂| 国产精品久久久久久久久免| 亚洲中文字幕一区二区三区有码在线看| 美女xxoo啪啪120秒动态图| 久久精品国产鲁丝片午夜精品| 国产成人精品久久久久久| 十八禁网站免费在线| 麻豆精品久久久久久蜜桃| 波野结衣二区三区在线| 国产高清视频在线观看网站| 97超级碰碰碰精品色视频在线观看| 欧美不卡视频在线免费观看| 欧美日韩在线观看h| 免费看a级黄色片| 午夜亚洲福利在线播放| 国产乱人偷精品视频| av在线蜜桃| 综合色av麻豆| 国产精品永久免费网站| 成人鲁丝片一二三区免费| 一个人免费在线观看电影| 九九爱精品视频在线观看| 欧美区成人在线视频| 91麻豆精品激情在线观看国产| 日韩 亚洲 欧美在线| 一个人看视频在线观看www免费| 欧美成人精品欧美一级黄| 亚洲精华国产精华液的使用体验 | 俺也久久电影网| 亚洲一区二区三区色噜噜| 久久久久久久久久黄片| 亚洲四区av| 人妻丰满熟妇av一区二区三区| 亚洲精品亚洲一区二区| 日日干狠狠操夜夜爽| 中文在线观看免费www的网站| 亚洲精品日韩在线中文字幕 | 我要搜黄色片| 不卡视频在线观看欧美| 91在线精品国自产拍蜜月| 国产午夜精品论理片| or卡值多少钱| 亚洲性久久影院| 黄色视频,在线免费观看| 亚洲人成网站在线观看播放| 九九热线精品视视频播放| 国产伦精品一区二区三区四那| 亚洲自偷自拍三级| 淫妇啪啪啪对白视频| 97超视频在线观看视频| 天堂网av新在线| 免费不卡的大黄色大毛片视频在线观看 | 搡老熟女国产l中国老女人| 亚洲美女黄片视频| 一级毛片电影观看 | 人人妻,人人澡人人爽秒播| 日韩av在线大香蕉| 99热精品在线国产| 日本与韩国留学比较| 日本一二三区视频观看| 日本熟妇午夜| 亚洲性夜色夜夜综合| 国内精品久久久久精免费| 精品一区二区三区视频在线观看免费| 亚洲精品日韩av片在线观看| 嫩草影院精品99| 麻豆乱淫一区二区| 午夜福利在线观看免费完整高清在 | 午夜福利18| 亚洲欧美清纯卡通| 黄色配什么色好看| 综合色av麻豆| 国产成人a区在线观看| 亚洲自拍偷在线| 给我免费播放毛片高清在线观看| 又黄又爽又免费观看的视频| 久久久久久久午夜电影| 天堂影院成人在线观看| 亚洲精品日韩av片在线观看| 国产麻豆成人av免费视频| 久久久久国产网址| 亚洲最大成人av| 亚洲第一电影网av| 国产一区二区三区av在线 | 热99re8久久精品国产| 人人妻人人澡人人爽人人夜夜 | 乱人视频在线观看| 国内精品久久久久精免费| 精品久久久久久久久亚洲| 99riav亚洲国产免费| 日本在线视频免费播放| 久久久久国产网址| 成人国产麻豆网| 国产黄色视频一区二区在线观看 | 97超级碰碰碰精品色视频在线观看| 久久欧美精品欧美久久欧美| 欧美xxxx性猛交bbbb| 波野结衣二区三区在线| 精品少妇黑人巨大在线播放 | 最近手机中文字幕大全| 人人妻人人看人人澡| www.色视频.com| 久久久久性生活片| 在线天堂最新版资源| 成人午夜高清在线视频| 国产精品野战在线观看| www.色视频.com| 亚洲av不卡在线观看| 3wmmmm亚洲av在线观看| 级片在线观看| 天堂动漫精品| 欧美高清成人免费视频www| 中国国产av一级| 欧美激情国产日韩精品一区| 天天躁日日操中文字幕| 亚洲第一区二区三区不卡| 在现免费观看毛片| 久久久午夜欧美精品| 欧美丝袜亚洲另类| 日本免费一区二区三区高清不卡| 一级黄片播放器| 午夜福利18| 一卡2卡三卡四卡精品乱码亚洲| 日韩制服骚丝袜av| 午夜久久久久精精品| av国产免费在线观看| 韩国av在线不卡| 日本黄大片高清| 欧美日韩乱码在线| 亚洲图色成人| 久久精品久久久久久噜噜老黄 | 亚洲精品在线观看二区| 欧美成人a在线观看| 国产成人freesex在线 | 亚洲欧美日韩高清在线视频| av国产免费在线观看| 久久久国产成人精品二区| 嫩草影视91久久| 免费人成视频x8x8入口观看| 久久人妻av系列| 亚洲乱码一区二区免费版| 日韩高清综合在线| 国产黄片美女视频| 精品免费久久久久久久清纯| 99热全是精品| 欧美人与善性xxx| 日韩精品有码人妻一区| 国产精品伦人一区二区| 精品一区二区三区视频在线观看免费| 91狼人影院| 又爽又黄无遮挡网站| 午夜福利高清视频| 国产成人影院久久av| 欧美不卡视频在线免费观看| 免费观看人在逋| 在线播放无遮挡| 97在线视频观看| 成人一区二区视频在线观看| 97超视频在线观看视频| 久久精品国产亚洲av天美| 亚洲成人中文字幕在线播放| 97超级碰碰碰精品色视频在线观看| 亚洲电影在线观看av| 亚洲五月天丁香| 亚洲最大成人中文| 日韩欧美免费精品| 看黄色毛片网站| 亚洲熟妇熟女久久| 日本一本二区三区精品| 日韩欧美一区二区三区在线观看| 色av中文字幕| 日本与韩国留学比较| 午夜激情欧美在线| 久久久久久九九精品二区国产| 久久午夜亚洲精品久久| 亚洲电影在线观看av| 99riav亚洲国产免费| 精品不卡国产一区二区三区| 天天躁日日操中文字幕| 亚洲成人久久性| 亚洲一区高清亚洲精品| 久久久成人免费电影| 亚洲欧美日韩高清在线视频| 中文字幕熟女人妻在线| 亚洲中文日韩欧美视频| 91久久精品国产一区二区成人| 免费观看在线日韩| 亚洲国产精品成人久久小说 | 在线天堂最新版资源| 亚洲人与动物交配视频| 国产一区二区三区av在线 | 亚洲电影在线观看av| 99热全是精品| 日韩制服骚丝袜av| 精品久久久久久久人妻蜜臀av| av在线播放精品| 插逼视频在线观看| 在线看三级毛片| 久久精品久久久久久噜噜老黄 | 久久久久精品国产欧美久久久| 色哟哟·www| 看免费成人av毛片| 欧美色视频一区免费| 国产精品无大码| 老师上课跳d突然被开到最大视频| 精品久久久久久久久av| 久久久久国产精品人妻aⅴ院| 99久久精品国产国产毛片| 男人舔奶头视频| 亚洲人成网站在线播| 哪里可以看免费的av片| 久久久久国产网址| 麻豆成人午夜福利视频| 3wmmmm亚洲av在线观看| 免费观看精品视频网站| 69人妻影院| 欧美三级亚洲精品| 免费看av在线观看网站| 国产精品免费一区二区三区在线| 日韩在线高清观看一区二区三区| 美女内射精品一级片tv| 91午夜精品亚洲一区二区三区| 校园春色视频在线观看| 麻豆国产97在线/欧美| 看免费成人av毛片| 亚洲国产色片| 久久精品久久久久久噜噜老黄 | 国产综合懂色| 美女xxoo啪啪120秒动态图| 亚洲专区国产一区二区| 少妇熟女欧美另类| 一a级毛片在线观看| 欧美潮喷喷水| 国产成人a∨麻豆精品| 国产精品综合久久久久久久免费| 老司机福利观看| 日本精品一区二区三区蜜桃| 国产伦在线观看视频一区| 男插女下体视频免费在线播放| 自拍偷自拍亚洲精品老妇| 国产大屁股一区二区在线视频| 听说在线观看完整版免费高清| 欧美最新免费一区二区三区| 免费在线观看成人毛片| www.色视频.com| 亚洲欧美成人精品一区二区| 插阴视频在线观看视频| 国产午夜精品久久久久久一区二区三区 | 欧美最黄视频在线播放免费| av视频在线观看入口| 老熟妇仑乱视频hdxx| 午夜精品国产一区二区电影 | 69人妻影院| 夜夜看夜夜爽夜夜摸| 欧美xxxx性猛交bbbb| 九九久久精品国产亚洲av麻豆| 人人妻人人看人人澡| 日韩欧美精品免费久久| 免费看a级黄色片| 日本一本二区三区精品| 亚洲七黄色美女视频| 老熟妇仑乱视频hdxx| 日本三级黄在线观看| 久久久精品欧美日韩精品| 国产精品亚洲一级av第二区| 日本黄色片子视频| 亚洲熟妇中文字幕五十中出| 大香蕉久久网| 1024手机看黄色片| 最好的美女福利视频网| 又爽又黄无遮挡网站| 欧美最黄视频在线播放免费| 九九久久精品国产亚洲av麻豆| 九九爱精品视频在线观看| 最新中文字幕久久久久| 淫妇啪啪啪对白视频| 97在线视频观看| 国产伦一二天堂av在线观看| 少妇猛男粗大的猛烈进出视频 | 男人的好看免费观看在线视频| 亚洲成人久久性| 99热全是精品| 亚洲国产精品sss在线观看| 如何舔出高潮| 久久婷婷人人爽人人干人人爱| av在线老鸭窝| 亚洲国产欧美人成| 欧美+日韩+精品| 18禁在线无遮挡免费观看视频 | 毛片女人毛片| 久久精品人妻少妇| 成人二区视频| 免费av毛片视频| 国产激情偷乱视频一区二区| 亚洲婷婷狠狠爱综合网| 午夜福利18| 欧美潮喷喷水| 午夜老司机福利剧场| 国产真实伦视频高清在线观看| 可以在线观看毛片的网站| 97热精品久久久久久| 无遮挡黄片免费观看| 成人一区二区视频在线观看| 一区二区三区免费毛片| 自拍偷自拍亚洲精品老妇| 日本在线视频免费播放| 日本精品一区二区三区蜜桃| 亚洲成av人片在线播放无| 搡老妇女老女人老熟妇| 国产欧美日韩精品一区二区| 99九九线精品视频在线观看视频| av福利片在线观看| 美女cb高潮喷水在线观看| 久久精品91蜜桃| 18禁裸乳无遮挡免费网站照片| 国产一级毛片七仙女欲春2|