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

    數(shù)理邏輯的程序可靠性驗證

    2015-03-07 02:07:05顧名宇
    關鍵詞:數(shù)理邏輯可靠性程序

    顧名宇

    安順職業(yè)技術學院信息工程系,貴州安順561000

    ?

    數(shù)理邏輯的程序可靠性驗證

    顧名宇

    安順職業(yè)技術學院信息工程系,貴州安順561000

    摘要:程序可靠性驗證往往占用軟件開發(fā)周期很長的時間,而現(xiàn)行的軟件可靠性驗證方法主要是基于形式化的方法如基于SPIN的模型檢測方法等,但這種方法可能由于模型建立的問題導致驗證的復雜性極大提高,造成最后驗證失敗的結果比比皆是。為解決此問題,本文使用數(shù)學方法從數(shù)理邏輯角度用推理的方法實現(xiàn)了程序可靠性驗證,并完成了客戶服務器程序的可靠性驗證,證明了該方法切實有效。

    關鍵詞:數(shù)理邏輯;程序;可靠性

    在計算機系統(tǒng)中,軟硬件都有可靠性指標的要求并必須經(jīng)過驗證。對于軟件設計者來說,如果軟件沒有通過驗證,那么整個系統(tǒng)的可靠性仍是沒有保證的。軟件可靠性驗證方法多種多樣,比如有基于SPIN模型檢測方法及各種形式分化分析方法等[2][6],很多方法停留在抽象的理論研究上,而在實際應用中很少使用到。

    而對于大多數(shù)程序員來說,對于程序的可靠性的驗證采用了比較熟悉的軟件工程的方法,比如軟件工程中的白盒、黑盒等測試,但這些測試的統(tǒng)計故障率不能完全作為可靠性評估的依據(jù)。例如,即使白盒測試的語句覆蓋率達100%,分支覆蓋率為90%以上,程序路徑覆蓋率為70%以上,只能說明這些語句的分支、程序路徑?jīng)]有錯誤,不能保證程序已達到了很高的可靠性。因為畢竟只覆蓋了一部份,也許在未覆蓋的部分仍存在著故障率很高的缺陷。

    所以,本文結合軟件開發(fā)實踐,探索了一種切實可用的方法,即用基于數(shù)學方法的數(shù)理邏輯法實現(xiàn)程序可靠性的邏輯推理驗證。

    1 數(shù)理邏輯

    數(shù)理邏輯又稱符號邏輯[5],是用數(shù)學方法研究邏輯或形式邏輯的學科。早在1847年,英國數(shù)學家布爾建立了一系列的運算法則,利用代數(shù)的方法研究邏輯問題,初步奠定了數(shù)理邏輯的基礎。之后,德國數(shù)學家弗雷格讓數(shù)理邏輯的符號系統(tǒng)更加完備,使現(xiàn)代數(shù)理邏輯最基本的理論基礎逐步形成,并成為一門獨立的學科。

    數(shù)理邏輯包括兩個最基本的也是最重要的“命題演算”和“謂詞演算”。

    1.1命題演算

    命題演算是研究關于命題如何通過一些邏輯連接詞構成更復雜的命題以及邏輯推理的方法。命題是指具有具體意義的又能判斷它是真還是假的句子。如果把命題看作運算的對象,如同代數(shù)中的數(shù)字、字母或代數(shù)式,而把邏輯連接詞看作運算符號,就象代數(shù)中的“加、減、乘、除”那樣,那么由簡單命題組成復合命題的過程,就可以當作邏輯運算的過程,也就是命題的演算。比如:如果x==0, 則y=5;

    1.2謂詞演算

    謂詞演算也叫做命題函數(shù)演算。在謂詞演算里,把命題的內(nèi)部結構分析成具有主詞和謂詞的邏輯形式,由命題函數(shù)項、邏輯連接詞和量詞構成命題,然后推導命題之間的邏輯關系。命題函數(shù)項就是指除了含有常項以外還含有變項的邏輯公式。常項是指一些確定的對象或者確定的屬性和關系,變項是指一定范圍內(nèi)的任何一個,這個范圍叫做變項的變域。命題函數(shù)項和命題演算不同,它無所謂真和假。如果以一定的對象概念代替變項,那么命題函數(shù)項就成為真的或假的命題。例如,如果x==0,則y=5,使用謂詞演算來描述,用P(x,y)表示x==y,Q(x,y)表示x=y,x是整數(shù),y是整數(shù),則可描述為P(x,0)->Q(y,5)。

    用數(shù)理邏輯推理實現(xiàn)程序可靠性驗證,主要是把命題演算和謂詞演算結合起來,使用相應的推導公式完成目標推理的驗證過程。

    2 使用數(shù)理邏輯驗證程序可靠性方法

    2.1程序可靠性定義

    程序可靠性定義有多種,為方便證明,先看當前的標準的程序可靠性定義:美國IEEE計算機學會對“軟件可靠性”作出了明確定義,此后該定義被美國標準化研究所接受為國家標準,多年后,我國也接受該定義為國家標準。該定義包括兩方面的含義:

    (1)在規(guī)定的條件下,在規(guī)定的時間內(nèi),軟件不引起系統(tǒng)失效的概率;

    (2)在規(guī)定的時間周期內(nèi),在所述條件下程序執(zhí)行所要求的功能的能力。

    2.2程序可靠性驗證步驟

    這里的驗證排除了軟件開發(fā)階段的各種錯誤,主要考慮系統(tǒng)失效和程序功能問題。使用數(shù)理邏輯驗證程序的步驟可分為以下三步:

    (1)根據(jù)程序需求建立模型[5],對所要驗證的程序或模塊進行抽象化[3],構建檢測模型。

    從程序可靠性定義得知,主要涉及到到程序系統(tǒng)失效和功能問題。

    程序的失效主要涉及數(shù)據(jù)輸入和函數(shù)調用問題,建立如下數(shù)學描述:x1,x2,x3,…,xn是n個變量或輸入數(shù)據(jù),用V(xi)(0<=i<=n)表示xi取值合法,用F1,F2,…Fm表示函數(shù)調用,因參數(shù)數(shù)量各不相同,故參數(shù)略,用P1,P2,…PK表示函數(shù)的參數(shù)調用,S表示程序正常。

    用y1,y2,…yl表示要完成的功能項,W(yj)表示完成的第yj個功能,其中0<=j<=l,

    (2)使用邏輯公式表示所要驗證的性質,公式要能正確地表達所要驗證的內(nèi)容。

    為便于描述驗證性質,規(guī)定:

    =F1()?F2()?…?Fn()

    =F1()?F2()…?Fn()

    程序的失效主要是通過合法和非法數(shù)據(jù)獲取或錄入,調用規(guī)定的函數(shù)及參數(shù)實現(xiàn)結果S,當滿足規(guī)定的條件時,下面公式為真:

    ->S

    其中0<=l<=n,0<=t<=n。

    從一名大學畢業(yè)生到田園創(chuàng)客,從農(nóng)資店長到合作社理事長,又從農(nóng)場經(jīng)理到“正陽?!贝蛩巿F隊隊長,牛超憑著一股“牛勁兒”和 “牛脾氣”,扎根田園,不懈努力,帶領“正陽?!眻F隊自主研發(fā)農(nóng)機植保設備,與廣西田園植保公司聯(lián)盟,在正陽成立“正陽?!泵癖脖7贞?36個,分別與全縣60多家農(nóng)機合作社、60家家庭農(nóng)場、60家種糧大戶簽訂了農(nóng)藥統(tǒng)防統(tǒng)治和莊稼植保托管合同,植保面積達100萬畝,每年勞務收入近300萬元。牛超被當?shù)剞r(nóng)民稱贊為追夢田園創(chuàng)業(yè)的“植保達人”和“正陽牛人”。

    對于程序功能正確性證明,當滿足程序規(guī)定的條件時,可以描述為:

    ->T

    T表示“真”,->T為真,說明程序功能都正確。

    (3)驗證,通過對輸入值或變量設置合法和非法的數(shù)據(jù),程序能正常結束,且所有變量在所有函數(shù)路徑中取值都符合要求[1],每條語句所包括的所有變量的取值都滿足相互的邏輯關系,能完成規(guī)定的功能,即說明程序是可靠的。

    在數(shù)理邏輯證明以上公式過程中,所有命題公式和謂詞演算的推理理論都實用。如果程序較為復雜,可按其定義的函數(shù)或把其分解為多個函數(shù)后用相應可能的參數(shù)代入來進行測試,確保每個都是真即得到S。

    同理可以完成的證明。

    3 用數(shù)理邏輯法驗證客戶服務器程序

    在客戶端服務器程序設計中,常常有客戶端向服務器提交一系列任務(R1..Rn),該序列任務是具有某個呼叫計劃標志。而服務端將該呼叫任務標志添加到R1……Rn呼叫隊列中,該隊列是一維數(shù)組R_Work[Max],Max是提交任務最大量。往該數(shù)組添加計劃呼叫標志的條件是數(shù)組R_Work[i].bz=0 (0<=i < Max)??蛻舳嗣看蜗蚍斩颂峤蝗蝿照埱螅斩吮仨殢脑摽蛻舳撕艚嘘犃刑崛∪蝿?,并完成相應的執(zhí)行任務。

    客戶端向R_Work[Max]添加任務采用如下程序F1:

    提交任務

    服務端檢測某個客戶端的提交任務采用如下的方式:

    程序F2:

    程序完成相應的任務

    這里涉及到兩個函數(shù)F1和F2,函數(shù)F1可提交1-MAX個任務,F(xiàn)2可以執(zhí)行相應的任務,由程序可靠性驗證可以進一步抽象出:對于任意的任務i,當滿足R_Work[i].bz=0時,有F1(i),0<=i

    再來看看程序可靠性第二方面的證明,即程序功能性證明:

    設:提交第i個任務簡寫為F1(i),執(zhí)行第j個任務簡寫成F2(j)

    從前面看出存在:

    當R_Work[i].bz=0時,F(xiàn)1(i)為真

    當R_Work[j].bz !=0是,F(xiàn)2(j)為真

    當iT成立,但F2(j)->T(i==j)并不一定成立,這就說明了本程序第二方面得不到滿足。

    實際上,通過閱讀程序F1、程序F2,很容易就可以發(fā)現(xiàn)在F2很有可能先處理后添加進來的任務,而前面添加的任務得不到執(zhí)行。

    所以必須修改代碼程序F1、F2,使其按照時間順序執(zhí)行任務。如果在R_Work[i]中增加一個時間成員,那么每次檢測隊列即數(shù)組時要對R_Work進行排序,使用最快的算法也要增加Max*log(Max)次運算。

    所以考慮對每個任務,添加了一個R_Nextwork變量(初始為0),對程序F1、F2做了如下的修改:

    對修改過的程序,除了增加幾個變量外[4],程序代碼和F1、F2區(qū)別不大,所以程序可靠性第一方面證明沒有問題,下面進一步證明程序可靠性的第二方面,即功能性證明:

    現(xiàn)在建立模型:

    有任務R1,….,Rn,存在任意Ri、Rk,Ri

    F3(Ri)->T,F(xiàn)3(Rk)->T,F(xiàn)4(Rk)->T為重言式

    證明目標:證明F4(Ri)先于F4(Rk)執(zhí)行,即F4(Ri)->T也成立。

    現(xiàn)在來分析:

    (1)對于程序F3,因為有:F3(Ri)->T,F(xiàn)3(Rk)->T,且Ri

    (2)對于程序F4,因為F4(Rk)->T成立,所以F4(Rk)被執(zhí)行。同時,對于任意Ri,存在R_Nextpoll=Ri;對于數(shù)組下標k,k=(R_Nextpoll+ i)%Max,如果i> 0,有Rk后于Ri被處理。Rk為數(shù)組k下標對應的時間序任務。

    綜合(1)(2),得出:當Ri和Rk都被提交后,只要F4(Rk)->T成立,那么F4(Ri)->T也成立,并在F4(Rk)之前執(zhí)行。

    4 小結

    在程序的可靠性驗證中,程序驗證的復雜性在于執(zhí)行流程、時間和環(huán)境的不確定性使驗證的內(nèi)容與目標的關系難以把握,如果采用適當?shù)尿炞C方法,將會極大減少程序的測試和驗證時間,特別是隨著程序復雜性越來越高,采用單一的驗證方法滿足不了程序可靠性的要求。本文研究了采用數(shù)理邏輯的方法實現(xiàn)程序的可靠性驗證,數(shù)理邏輯對程序的可靠性驗證需要根據(jù)程序構建驗證模型,然后根據(jù)條件,推導出相應的結果是否符合要求。數(shù)理邏輯方法可以不拘泥于形式,如果在其基礎上把數(shù)學工具中的方法綜合運用將會起到事半功倍的效果,也為廣大軟件開發(fā)人員及測試人員快速實現(xiàn)程序驗證提供了一種新的嘗試。

    參考文獻

    [1]萬良.基于隔離邏輯的并行程序可靠性驗證方法[J].計算機工程,2014,40(2):86-91,96

    [2]李興鋒,張新常,楊美紅,等.基于SPIN的模塊化模型檢測方法研究[J].電子與信息學報,2011,33(4):902-907

    [3] Alexey G, Honseok Y. Modular Verification of Preemptive OSKernels[J].ACM SIGPLAN Notices,2011,46(9):404-417

    [4] Cohen E, Schulte W, Tobies S. Local Verification of Global Invariants in Concurrent Programs[C]//Proceedings of the 22nd international conference on Computer Aided Verification.Berlin:Springer 2010:480-494

    [5]黃達明,曾慶凱.基于分離邏輯的程序驗證技術[J].軟件學報,2009,20(8):2051-2061

    [6]單卓為,魚濱.基于SPIN的CSCW系統(tǒng)的驗證[J].計算機技術與發(fā)展,2008,18(4):9-12,15

    [7] 0’Heam P W. Tutorial on Separation Logic[C]//Proeeedings of the 20th International Conference on Computer Aided Verification.Berlin: Springer, 2008:15-21

    Validation of Reliability on Mathematical Logic Program

    GU Ming-yu

    Anshun Vocational and Technical College of Information Engineering, Anshun 561000, China

    Abstract:The reliability verification of program often takes a very long time to develope the software, while the current software reliability verification method is mainly based on formal methods such as SPIN based on model checking method, but this method may lead to the complexity of verification to improve greatly bing due to model problems, and then finally fails in validation results everywhere. In order to solve this problem, this paper used mathematical methods from mathematical logic perspective to realize the program reliability verification, and completed the reliability verification of client server program, the method was be proved the validity in true.

    Keywords:Mathematical logic; program; validation

    作者簡介:顧名宇(1960-),男,貴州安順人,副教授.研究方向:項目管理,信息安全. E-mail:gumingyu60@126.com

    收稿日期:2013-07-13修回日期: 2013-07-24

    中圖法分類號:TP301

    文獻標識碼:A

    文章編號:1000-2324(2015)04-0621-04

    猜你喜歡
    數(shù)理邏輯可靠性程序
    基于數(shù)理認知的數(shù)理邏輯類益智玩具設計研究
    玩具世界(2024年2期)2024-05-07 08:15:50
    可靠性管理體系創(chuàng)建與實踐
    上海質量(2019年8期)2019-11-16 08:47:46
    試論我國未決羈押程序的立法完善
    人大建設(2019年12期)2019-05-21 02:55:44
    “程序猿”的生活什么樣
    數(shù)理邏輯在工程技術中的應用探析
    東方教育(2017年9期)2017-07-19 10:49:17
    電子制作(2017年2期)2017-05-17 03:55:06
    英國與歐盟正式啟動“離婚”程序程序
    圣誕快樂
    創(chuàng)衛(wèi)暗訪程序有待改進
    謎語大集合
    欧美区成人在线视频| 久久久亚洲精品成人影院| 婷婷色麻豆天堂久久 | 久久久色成人| 毛片女人毛片| 99久久精品热视频| av天堂中文字幕网| 国产黄片美女视频| 日本熟妇午夜| 久久人妻av系列| 尤物成人国产欧美一区二区三区| 久久久久久久国产电影| 一级av片app| 女的被弄到高潮叫床怎么办| 久久久欧美国产精品| 精品久久久久久久人妻蜜臀av| 日韩av在线大香蕉| 一区二区三区免费毛片| 午夜亚洲福利在线播放| 我要搜黄色片| 免费观看性生交大片5| 嫩草影院新地址| 亚洲精品影视一区二区三区av| 国产成人aa在线观看| 亚洲在线自拍视频| 国产成人精品久久久久久| 亚洲怡红院男人天堂| 久久99热这里只频精品6学生 | av在线亚洲专区| 亚洲精品aⅴ在线观看| 日韩大片免费观看网站 | 91精品一卡2卡3卡4卡| 99视频精品全部免费 在线| 国产老妇女一区| 99久国产av精品国产电影| 变态另类丝袜制服| 久久久精品94久久精品| 亚洲最大成人av| 有码 亚洲区| 国产精品,欧美在线| 精品久久久久久电影网 | 亚洲人与动物交配视频| 久久久久久久国产电影| 亚洲18禁久久av| 欧美另类亚洲清纯唯美| 乱码一卡2卡4卡精品| 日韩视频在线欧美| 麻豆一二三区av精品| 国产午夜精品一二区理论片| 国产伦一二天堂av在线观看| av福利片在线观看| 人妻夜夜爽99麻豆av| 久久久久久久久久黄片| av女优亚洲男人天堂| 国产日韩欧美在线精品| 高清午夜精品一区二区三区| 国产精品久久久久久精品电影| 免费搜索国产男女视频| 高清毛片免费看| 欧美激情久久久久久爽电影| www.色视频.com| 亚洲五月天丁香| 欧美成人午夜免费资源| 网址你懂的国产日韩在线| 少妇丰满av| 岛国在线免费视频观看| 亚洲精品一区蜜桃| 国产午夜福利久久久久久| 爱豆传媒免费全集在线观看| 熟女人妻精品中文字幕| 国产伦一二天堂av在线观看| 草草在线视频免费看| 少妇猛男粗大的猛烈进出视频 | 国产在视频线精品| 亚洲丝袜综合中文字幕| 国产av在哪里看| 亚洲av一区综合| 成人鲁丝片一二三区免费| 国产伦一二天堂av在线观看| 久久婷婷人人爽人人干人人爱| 国产精品久久久久久av不卡| 又黄又爽又刺激的免费视频.| 精品国产露脸久久av麻豆 | 国产黄a三级三级三级人| 2021少妇久久久久久久久久久| 色尼玛亚洲综合影院| av福利片在线观看| 丰满人妻一区二区三区视频av| 天天躁日日操中文字幕| 午夜久久久久精精品| 精品国产一区二区三区久久久樱花 | 国产精品av视频在线免费观看| 久久韩国三级中文字幕| 国产乱人偷精品视频| 九九在线视频观看精品| 国产成人福利小说| 特大巨黑吊av在线直播| 亚洲成人av在线免费| 日日撸夜夜添| 国产精品一区www在线观看| 国产欧美日韩精品一区二区| 亚洲精品日韩av片在线观看| 欧美zozozo另类| 成年av动漫网址| 欧美日韩综合久久久久久| 精品一区二区免费观看| 精品欧美国产一区二区三| 成人一区二区视频在线观看| 日韩一本色道免费dvd| 日韩强制内射视频| 女人被狂操c到高潮| 日韩,欧美,国产一区二区三区 | 欧美成人午夜免费资源| 亚洲电影在线观看av| 亚洲国产欧洲综合997久久,| 少妇猛男粗大的猛烈进出视频 | 亚洲欧美清纯卡通| 日本一二三区视频观看| 国产黄色视频一区二区在线观看 | 亚洲精品久久久久久婷婷小说 | 最后的刺客免费高清国语| 晚上一个人看的免费电影| 精品久久久久久成人av| 男女国产视频网站| 亚洲欧洲日产国产| 少妇猛男粗大的猛烈进出视频 | 一个人看的www免费观看视频| 亚洲电影在线观看av| 亚洲真实伦在线观看| 亚洲精品色激情综合| 狠狠狠狠99中文字幕| 国产人妻一区二区三区在| 国产日韩欧美在线精品| av播播在线观看一区| 卡戴珊不雅视频在线播放| 欧美另类亚洲清纯唯美| 22中文网久久字幕| 亚洲aⅴ乱码一区二区在线播放| 在线播放国产精品三级| 人人妻人人澡欧美一区二区| 69人妻影院| 国产精品永久免费网站| 男女啪啪激烈高潮av片| 免费大片18禁| 老师上课跳d突然被开到最大视频| 成人毛片60女人毛片免费| 国国产精品蜜臀av免费| 成人亚洲精品av一区二区| 最近中文字幕2019免费版| 亚洲av成人av| 久久精品久久久久久久性| 少妇高潮的动态图| 99在线人妻在线中文字幕| 久久精品久久久久久久性| 国产精品野战在线观看| 久久久久久久久久成人| 国产黄色视频一区二区在线观看 | 国产白丝娇喘喷水9色精品| 人妻夜夜爽99麻豆av| 国产男人的电影天堂91| 久久久精品欧美日韩精品| 久久草成人影院| 国产精品一区二区在线观看99 | 我要看日韩黄色一级片| 亚洲国产精品国产精品| 蜜臀久久99精品久久宅男| 国产高清有码在线观看视频| 国产探花在线观看一区二区| 精品国产三级普通话版| 久久久久性生活片| 亚洲中文字幕日韩| 综合色丁香网| 国产色爽女视频免费观看| 天天躁夜夜躁狠狠久久av| 午夜亚洲福利在线播放| 国产色婷婷99| 男人舔女人下体高潮全视频| 久99久视频精品免费| 国产精品乱码一区二三区的特点| 爱豆传媒免费全集在线观看| 国产精品蜜桃在线观看| 亚洲精品亚洲一区二区| 一级毛片我不卡| 看片在线看免费视频| 少妇被粗大猛烈的视频| 国产黄色视频一区二区在线观看 | 一本一本综合久久| 91狼人影院| 亚洲av.av天堂| 熟女人妻精品中文字幕| 九九在线视频观看精品| 亚洲精品国产成人久久av| 内地一区二区视频在线| 免费看a级黄色片| 男女视频在线观看网站免费| 成人综合一区亚洲| 精品国产三级普通话版| 干丝袜人妻中文字幕| 亚洲经典国产精华液单| 免费大片18禁| 看片在线看免费视频| 日韩精品有码人妻一区| 51国产日韩欧美| 欧美日本视频| 在线观看一区二区三区| 国产亚洲一区二区精品| 成人亚洲欧美一区二区av| 国产精品日韩av在线免费观看| 国产精品蜜桃在线观看| 亚洲精品aⅴ在线观看| av在线播放精品| 精品国内亚洲2022精品成人| 99久久精品热视频| 晚上一个人看的免费电影| 麻豆久久精品国产亚洲av| 天美传媒精品一区二区| 国产伦精品一区二区三区四那| www日本黄色视频网| 午夜精品在线福利| 国产白丝娇喘喷水9色精品| 国产黄a三级三级三级人| 亚洲人成网站在线播| 日韩欧美 国产精品| 一区二区三区四区激情视频| 精品久久久久久久人妻蜜臀av| 亚洲怡红院男人天堂| 99热6这里只有精品| 插逼视频在线观看| 久久韩国三级中文字幕| 一个人看视频在线观看www免费| 又粗又硬又长又爽又黄的视频| 午夜福利成人在线免费观看| 亚洲乱码一区二区免费版| 亚洲va在线va天堂va国产| 中文资源天堂在线| 久久久久久久午夜电影| 成人综合一区亚洲| 免费电影在线观看免费观看| 欧美极品一区二区三区四区| 亚洲真实伦在线观看| 毛片女人毛片| 美女脱内裤让男人舔精品视频| 嫩草影院精品99| 国产久久久一区二区三区| 又粗又爽又猛毛片免费看| 亚洲婷婷狠狠爱综合网| 日韩国内少妇激情av| 亚洲av成人av| 十八禁国产超污无遮挡网站| 精品国产三级普通话版| 国产精品久久久久久久久免| 国产三级在线视频| 亚洲成人久久爱视频| 欧美不卡视频在线免费观看| 亚洲成人精品中文字幕电影| 中文欧美无线码| 中文亚洲av片在线观看爽| 人妻夜夜爽99麻豆av| 国产黄a三级三级三级人| 国内精品宾馆在线| 中文在线观看免费www的网站| 最近中文字幕2019免费版| 高清日韩中文字幕在线| 日韩欧美精品免费久久| 国产精品野战在线观看| 国产欧美另类精品又又久久亚洲欧美| 国产乱人偷精品视频| 亚洲欧美日韩无卡精品| 简卡轻食公司| av天堂中文字幕网| 国产免费视频播放在线视频 | 亚洲中文字幕日韩| 欧美成人一区二区免费高清观看| 成人高潮视频无遮挡免费网站| 一级毛片电影观看 | 在线观看一区二区三区| 久热久热在线精品观看| 欧美日韩在线观看h| 精品人妻熟女av久视频| 边亲边吃奶的免费视频| 男人的好看免费观看在线视频| 国产毛片a区久久久久| 成年女人永久免费观看视频| 欧美潮喷喷水| 国产成人精品婷婷| av在线老鸭窝| 亚洲综合色惰| 尤物成人国产欧美一区二区三区| 97人妻精品一区二区三区麻豆| 51国产日韩欧美| 国产极品精品免费视频能看的| av卡一久久| 91狼人影院| 丰满乱子伦码专区| av专区在线播放| 国产欧美另类精品又又久久亚洲欧美| 中文在线观看免费www的网站| 日韩中字成人| 一级av片app| 亚洲精品久久久久久婷婷小说 | 麻豆av噜噜一区二区三区| 一区二区三区乱码不卡18| 亚洲天堂国产精品一区在线| 亚洲成色77777| 免费不卡的大黄色大毛片视频在线观看 | 国产女主播在线喷水免费视频网站 | 亚洲中文字幕一区二区三区有码在线看| 一边亲一边摸免费视频| 韩国av在线不卡| 一个人看视频在线观看www免费| 国产精品蜜桃在线观看| 亚洲国产精品sss在线观看| 非洲黑人性xxxx精品又粗又长| 亚洲欧美精品自产自拍| 99久久精品国产国产毛片| 欧美不卡视频在线免费观看| 亚洲国产精品成人综合色| 尾随美女入室| 噜噜噜噜噜久久久久久91| 国产免费又黄又爽又色| 亚洲自偷自拍三级| 男女那种视频在线观看| 国产成年人精品一区二区| 国产乱人偷精品视频| 最新中文字幕久久久久| 亚洲av不卡在线观看| 2022亚洲国产成人精品| 国产中年淑女户外野战色| 国产免费一级a男人的天堂| 能在线免费看毛片的网站| 国产白丝娇喘喷水9色精品| 免费大片18禁| 两性午夜刺激爽爽歪歪视频在线观看| 免费观看性生交大片5| 伦精品一区二区三区| 男女国产视频网站| 91精品一卡2卡3卡4卡| 97在线视频观看| 精品久久久噜噜| 国产精品一及| 中文在线观看免费www的网站| 久久99热这里只有精品18| 成年av动漫网址| 黄片wwwwww| 国产v大片淫在线免费观看| 亚洲成人精品中文字幕电影| 国产v大片淫在线免费观看| 亚洲欧美日韩无卡精品| 欧美成人精品欧美一级黄| 亚洲欧美精品专区久久| 国产69精品久久久久777片| 神马国产精品三级电影在线观看| 建设人人有责人人尽责人人享有的 | 麻豆国产97在线/欧美| 国产成人a区在线观看| 高清日韩中文字幕在线| 亚洲人成网站高清观看| av又黄又爽大尺度在线免费看 | 久久精品夜夜夜夜夜久久蜜豆| 国产单亲对白刺激| 久久精品国产自在天天线| 老司机福利观看| www日本黄色视频网| 如何舔出高潮| 亚洲美女视频黄频| 国产在线一区二区三区精 | 国产单亲对白刺激| 色噜噜av男人的天堂激情| 中文字幕亚洲精品专区| 日韩制服骚丝袜av| 级片在线观看| 亚洲av福利一区| 欧美97在线视频| 亚洲国产欧洲综合997久久,| 国产伦精品一区二区三区四那| 亚洲欧洲日产国产| 欧美日本视频| 日日干狠狠操夜夜爽| 欧美激情久久久久久爽电影| 一区二区三区免费毛片| 久久精品91蜜桃| 久久久色成人| 亚洲激情五月婷婷啪啪| 免费在线观看成人毛片| 免费看a级黄色片| 免费看av在线观看网站| 男女下面进入的视频免费午夜| 国产精品久久电影中文字幕| 菩萨蛮人人尽说江南好唐韦庄 | 看非洲黑人一级黄片| 晚上一个人看的免费电影| 黄片wwwwww| 国产精品久久电影中文字幕| 免费电影在线观看免费观看| 青春草视频在线免费观看| 国产成人精品婷婷| 国产成人午夜福利电影在线观看| 午夜亚洲福利在线播放| 国产黄片美女视频| 久久国内精品自在自线图片| 精品人妻偷拍中文字幕| 韩国av在线不卡| 国产精品无大码| 成人二区视频| 国产精品av视频在线免费观看| 亚洲精品一区蜜桃| 亚洲国产欧洲综合997久久,| 看黄色毛片网站| 噜噜噜噜噜久久久久久91| 国产午夜精品论理片| 最近中文字幕高清免费大全6| www.av在线官网国产| 91精品伊人久久大香线蕉| 九草在线视频观看| 欧美xxxx黑人xx丫x性爽| 国产精品久久久久久久电影| 国产精品美女特级片免费视频播放器| 自拍偷自拍亚洲精品老妇| 国产亚洲一区二区精品| 少妇丰满av| av黄色大香蕉| 亚洲18禁久久av| 免费一级毛片在线播放高清视频| 国产亚洲91精品色在线| 波多野结衣巨乳人妻| 亚洲一级一片aⅴ在线观看| 精品99又大又爽又粗少妇毛片| 白带黄色成豆腐渣| www.av在线官网国产| 国产精品国产三级国产av玫瑰| 禁无遮挡网站| 岛国毛片在线播放| 国产精品三级大全| 一级爰片在线观看| 美女大奶头视频| 亚洲成人久久爱视频| 欧美日韩一区二区视频在线观看视频在线 | 毛片一级片免费看久久久久| 亚洲国产日韩欧美精品在线观看| 国产精品人妻久久久影院| 亚洲av电影不卡..在线观看| 久久精品人妻少妇| 春色校园在线视频观看| 一级黄色大片毛片| av在线播放精品| 国产午夜精品论理片| 亚洲精品国产成人久久av| 青春草视频在线免费观看| 亚洲精品色激情综合| 精品人妻一区二区三区麻豆| 国内揄拍国产精品人妻在线| 欧美丝袜亚洲另类| 国内少妇人妻偷人精品xxx网站| av卡一久久| 欧美区成人在线视频| 一个人观看的视频www高清免费观看| 亚洲欧美日韩东京热| 日日啪夜夜撸| 有码 亚洲区| av在线老鸭窝| 欧美日韩精品成人综合77777| 麻豆精品久久久久久蜜桃| 久久精品人妻少妇| 久久久色成人| 天堂中文最新版在线下载 | 国产免费又黄又爽又色| 国产精品,欧美在线| 精品人妻一区二区三区麻豆| 成人三级黄色视频| 免费黄色在线免费观看| 日韩一本色道免费dvd| 国产黄色视频一区二区在线观看 | 丝袜美腿在线中文| 高清视频免费观看一区二区 | 青春草亚洲视频在线观看| 亚洲人成网站在线观看播放| www.色视频.com| 亚洲欧美精品综合久久99| 国内精品宾馆在线| 亚洲成色77777| 亚洲欧美日韩卡通动漫| 久久久久免费精品人妻一区二区| 男女啪啪激烈高潮av片| 国产精品国产三级国产专区5o | 国产亚洲av嫩草精品影院| 波野结衣二区三区在线| av卡一久久| 久久久久久久久久久免费av| 免费观看人在逋| 网址你懂的国产日韩在线| 一级毛片久久久久久久久女| 伦精品一区二区三区| 我要看日韩黄色一级片| 久久久久免费精品人妻一区二区| 中国国产av一级| 亚洲人成网站在线观看播放| 国产黄a三级三级三级人| 亚洲三级黄色毛片| 日韩欧美三级三区| 十八禁国产超污无遮挡网站| 久久久久久久久久黄片| 夜夜爽夜夜爽视频| 久久久久久久久久黄片| 99热这里只有是精品50| 成人特级av手机在线观看| 国产在线男女| 国国产精品蜜臀av免费| 国产欧美日韩精品一区二区| 国产黄a三级三级三级人| 精品国内亚洲2022精品成人| 国产精品一区二区三区四区久久| 欧美成人午夜免费资源| 美女国产视频在线观看| 亚洲三级黄色毛片| 精品久久国产蜜桃| 国产精品麻豆人妻色哟哟久久 | 国产男人的电影天堂91| 啦啦啦观看免费观看视频高清| 国产一区亚洲一区在线观看| 国产成人a区在线观看| 免费电影在线观看免费观看| 日本一本二区三区精品| 丰满人妻一区二区三区视频av| 国产高清三级在线| 久久精品夜夜夜夜夜久久蜜豆| 国产综合懂色| 最近最新中文字幕免费大全7| 国产日韩欧美在线精品| 亚洲内射少妇av| 免费一级毛片在线播放高清视频| 97超视频在线观看视频| 国产又黄又爽又无遮挡在线| 99久久精品热视频| 亚洲不卡免费看| 日韩制服骚丝袜av| 别揉我奶头 嗯啊视频| 亚洲成人中文字幕在线播放| 国产乱人偷精品视频| 男女边吃奶边做爰视频| 久久久国产成人精品二区| 亚洲自拍偷在线| 亚洲人成网站在线播| 国内揄拍国产精品人妻在线| 99久久成人亚洲精品观看| 99久久精品热视频| 级片在线观看| 国产精品一区二区三区四区久久| 国产色婷婷99| 国产男人的电影天堂91| 小蜜桃在线观看免费完整版高清| 美女xxoo啪啪120秒动态图| 亚洲在线观看片| 久久精品影院6| 亚洲av中文字字幕乱码综合| 床上黄色一级片| 免费一级毛片在线播放高清视频| 亚洲精品国产成人久久av| 91精品一卡2卡3卡4卡| 日本免费a在线| 99久久九九国产精品国产免费| 日日干狠狠操夜夜爽| 国产精品1区2区在线观看.| 久久国内精品自在自线图片| 亚洲成人中文字幕在线播放| 秋霞伦理黄片| 毛片一级片免费看久久久久| 2022亚洲国产成人精品| 国产一区有黄有色的免费视频 | 久久久久久久久大av| 国产 一区 欧美 日韩| 国产成年人精品一区二区| 99国产精品一区二区蜜桃av| 国产精品野战在线观看| 成人特级av手机在线观看| 欧美一级a爱片免费观看看| 国产男人的电影天堂91| 精品国内亚洲2022精品成人| 色哟哟·www| 国产精品99久久久久久久久| 男女视频在线观看网站免费| 亚洲第一区二区三区不卡| 日韩 亚洲 欧美在线| 亚洲真实伦在线观看| 亚洲国产精品久久男人天堂| 舔av片在线| 日本免费在线观看一区| 晚上一个人看的免费电影| 欧美一区二区国产精品久久精品| 九九在线视频观看精品| 如何舔出高潮| 国产视频首页在线观看| 天堂中文最新版在线下载 | a级毛片免费高清观看在线播放| 国产av码专区亚洲av| 美女高潮的动态| 亚洲熟妇中文字幕五十中出| 国语自产精品视频在线第100页| 午夜精品在线福利| 亚洲av成人精品一二三区| 尾随美女入室| 精品一区二区三区视频在线| 精品一区二区免费观看| 久久精品国产亚洲av涩爱| 老司机影院成人| 九九久久精品国产亚洲av麻豆| 欧美日韩国产亚洲二区| 亚洲欧美中文字幕日韩二区| 亚洲av男天堂| 欧美激情国产日韩精品一区| 国产黄色视频一区二区在线观看 | 亚洲欧美成人精品一区二区| 美女cb高潮喷水在线观看| 午夜a级毛片| 亚洲欧美成人精品一区二区| 久久久久网色|