• <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)暗訪程序有待改進
    謎語大集合
    欧美日韩瑟瑟在线播放| 国产又爽黄色视频| 免费看a级黄色片| 亚洲欧美精品综合一区二区三区| 国产99久久九九免费精品| 白带黄色成豆腐渣| 久久伊人香网站| 搡老妇女老女人老熟妇| 久久久久久久午夜电影| avwww免费| 精品电影一区二区在线| 国产成人精品久久二区二区免费| 久久热在线av| 成年女人毛片免费观看观看9| 国产熟女午夜一区二区三区| 亚洲一码二码三码区别大吗| 国产精品自产拍在线观看55亚洲| 国产精品久久久人人做人人爽| 久久狼人影院| 欧美av亚洲av综合av国产av| 18禁观看日本| 黄网站色视频无遮挡免费观看| 中文字幕久久专区| 欧美大码av| 国产97色在线日韩免费| 大香蕉久久成人网| 中文字幕另类日韩欧美亚洲嫩草| 亚洲精品美女久久久久99蜜臀| 久久欧美精品欧美久久欧美| 亚洲专区中文字幕在线| 久久精品人妻少妇| 97碰自拍视频| 国产三级在线视频| 欧美一区二区精品小视频在线| 亚洲中文字幕一区二区三区有码在线看 | 精品人妻1区二区| 黑人巨大精品欧美一区二区mp4| 天天一区二区日本电影三级| 色老头精品视频在线观看| 精品久久蜜臀av无| 国产区一区二久久| 国产成人影院久久av| 久久婷婷人人爽人人干人人爱| 2021天堂中文幕一二区在线观 | 一边摸一边做爽爽视频免费| 国产精品野战在线观看| 国产伦人伦偷精品视频| 天天添夜夜摸| www.999成人在线观看| 免费在线观看完整版高清| 欧美成人午夜精品| 免费在线观看视频国产中文字幕亚洲| 免费在线观看日本一区| 特大巨黑吊av在线直播 | 又紧又爽又黄一区二区| 欧洲精品卡2卡3卡4卡5卡区| 久久久久久大精品| 亚洲欧美日韩无卡精品| 一进一出抽搐gif免费好疼| 老熟妇仑乱视频hdxx| 99re在线观看精品视频| 国产欧美日韩精品亚洲av| 18禁美女被吸乳视频| 一级作爱视频免费观看| 97超级碰碰碰精品色视频在线观看| 欧美大码av| 又黄又粗又硬又大视频| 亚洲一区二区三区色噜噜| 男女午夜视频在线观看| 嫩草影院精品99| 亚洲七黄色美女视频| 欧美成人性av电影在线观看| 亚洲aⅴ乱码一区二区在线播放 | 婷婷精品国产亚洲av| 久久人妻av系列| 人人妻人人澡人人看| 桃色一区二区三区在线观看| 97超级碰碰碰精品色视频在线观看| 午夜老司机福利片| 亚洲欧美激情综合另类| 亚洲第一青青草原| 精华霜和精华液先用哪个| 精品国产一区二区三区四区第35| 亚洲黑人精品在线| 在线播放国产精品三级| 国产亚洲av高清不卡| 国产精品久久久人人做人人爽| 日本 欧美在线| 精品久久久久久成人av| 美女国产高潮福利片在线看| 一进一出好大好爽视频| 一级作爱视频免费观看| 9191精品国产免费久久| 国产真人三级小视频在线观看| 搡老妇女老女人老熟妇| 中文在线观看免费www的网站 | 亚洲第一av免费看| 大型av网站在线播放| 老司机福利观看| 欧美日韩精品网址| 88av欧美| 99久久精品国产亚洲精品| 黑人操中国人逼视频| 人人妻人人澡欧美一区二区| 69av精品久久久久久| 日本三级黄在线观看| 国产精品1区2区在线观看.| 一区二区日韩欧美中文字幕| 给我免费播放毛片高清在线观看| 99国产精品99久久久久| 97人妻精品一区二区三区麻豆 | 波多野结衣巨乳人妻| 男人舔女人的私密视频| 性色av乱码一区二区三区2| 可以免费在线观看a视频的电影网站| 日韩国内少妇激情av| 美女免费视频网站| 十八禁人妻一区二区| 最近最新中文字幕大全电影3 | 老鸭窝网址在线观看| 日本三级黄在线观看| 欧美成人午夜精品| 免费高清在线观看日韩| 久久伊人香网站| 亚洲三区欧美一区| 黄色女人牲交| or卡值多少钱| 丝袜美腿诱惑在线| 久久久久久久精品吃奶| 色综合欧美亚洲国产小说| 在线十欧美十亚洲十日本专区| 国产真人三级小视频在线观看| a级毛片在线看网站| 正在播放国产对白刺激| 精品电影一区二区在线| 免费女性裸体啪啪无遮挡网站| 成年女人毛片免费观看观看9| 白带黄色成豆腐渣| 亚洲精品国产精品久久久不卡| 国产成人av教育| 成人永久免费在线观看视频| 国产真人三级小视频在线观看| 久久天躁狠狠躁夜夜2o2o| 国产高清videossex| 亚洲成人免费电影在线观看| 欧美性猛交╳xxx乱大交人| 婷婷丁香在线五月| 久久久久久免费高清国产稀缺| 99在线人妻在线中文字幕| 国内精品久久久久久久电影| 国产免费男女视频| 男人舔女人下体高潮全视频| 精品欧美国产一区二区三| 成人精品一区二区免费| 搡老岳熟女国产| 久久精品91无色码中文字幕| 麻豆一二三区av精品| 女人高潮潮喷娇喘18禁视频| 欧美zozozo另类| 久久人妻av系列| 亚洲专区中文字幕在线| 久久精品国产亚洲av高清一级| 级片在线观看| 午夜福利在线在线| 麻豆av在线久日| 丁香六月欧美| 美女免费视频网站| 麻豆成人午夜福利视频| 手机成人av网站| 国产私拍福利视频在线观看| 麻豆国产av国片精品| 欧美日本视频| 日韩 欧美 亚洲 中文字幕| 久久天躁狠狠躁夜夜2o2o| 日韩大尺度精品在线看网址| av在线播放免费不卡| 精品欧美国产一区二区三| 亚洲午夜理论影院| 黄色女人牲交| 精品熟女少妇八av免费久了| 日韩精品中文字幕看吧| 中文字幕人妻丝袜一区二区| 色av中文字幕| 999精品在线视频| 99国产综合亚洲精品| 在线看三级毛片| 老熟妇乱子伦视频在线观看| 露出奶头的视频| 欧美另类亚洲清纯唯美| 91字幕亚洲| 一夜夜www| 黄色丝袜av网址大全| 久久久久久九九精品二区国产 | 黄片大片在线免费观看| 亚洲一区二区三区不卡视频| 亚洲久久久国产精品| 99热6这里只有精品| 美女国产高潮福利片在线看| 久久久久久国产a免费观看| 国内精品久久久久久久电影| 麻豆成人av在线观看| 哪里可以看免费的av片| 一卡2卡三卡四卡精品乱码亚洲| 精品一区二区三区视频在线观看免费| 精品免费久久久久久久清纯| 中文字幕av电影在线播放| 啦啦啦免费观看视频1| 日韩高清综合在线| 久久精品国产综合久久久| 久久精品国产清高在天天线| 性欧美人与动物交配| 中文亚洲av片在线观看爽| 中文字幕av电影在线播放| www日本黄色视频网| 香蕉国产在线看| 欧美日本视频| av欧美777| 国产真实乱freesex| 欧美精品啪啪一区二区三区| 欧美激情极品国产一区二区三区| www.熟女人妻精品国产| 男女午夜视频在线观看| 国产极品粉嫩免费观看在线| 在线观看66精品国产| 国产精品九九99| aaaaa片日本免费| 婷婷亚洲欧美| or卡值多少钱| 欧洲精品卡2卡3卡4卡5卡区| 最好的美女福利视频网| 麻豆国产av国片精品| 成人国产综合亚洲| 女性生殖器流出的白浆| 黑人欧美特级aaaaaa片| 久久精品aⅴ一区二区三区四区| 日韩有码中文字幕| 老司机在亚洲福利影院| 嫩草影院精品99| 两个人看的免费小视频| 啦啦啦免费观看视频1| 欧美人与性动交α欧美精品济南到| 在线十欧美十亚洲十日本专区| 免费高清视频大片| 特大巨黑吊av在线直播 | 99久久精品国产亚洲精品| 精品不卡国产一区二区三区| 性色av乱码一区二区三区2| 50天的宝宝边吃奶边哭怎么回事| 久久婷婷人人爽人人干人人爱| 久久这里只有精品19| 国产精品1区2区在线观看.| 一个人免费在线观看的高清视频| 日韩大尺度精品在线看网址| 午夜免费观看网址| 校园春色视频在线观看| 99国产极品粉嫩在线观看| 中国美女看黄片| 久久久久免费精品人妻一区二区 | av片东京热男人的天堂| 精品卡一卡二卡四卡免费| 亚洲成人免费电影在线观看| 色播亚洲综合网| 熟女少妇亚洲综合色aaa.| 亚洲午夜精品一区,二区,三区| 国产精品亚洲一级av第二区| 亚洲精品国产精品久久久不卡| 欧美丝袜亚洲另类 | 此物有八面人人有两片| 淫秽高清视频在线观看| 少妇的丰满在线观看| 成人精品一区二区免费| 嫩草影视91久久| 男女之事视频高清在线观看| 国产精品久久电影中文字幕| 中文亚洲av片在线观看爽| 亚洲精品美女久久久久99蜜臀| 国产国语露脸激情在线看| 欧美日韩亚洲国产一区二区在线观看| 波多野结衣巨乳人妻| 日韩免费av在线播放| 精品久久久久久久毛片微露脸| 日韩一卡2卡3卡4卡2021年| 观看免费一级毛片| 国产午夜福利久久久久久| 长腿黑丝高跟| 91国产中文字幕| 午夜免费鲁丝| 日韩欧美 国产精品| 黄色视频不卡| 国产视频内射| 两性午夜刺激爽爽歪歪视频在线观看 | 亚洲三区欧美一区| 欧美性猛交黑人性爽| 国产激情久久老熟女| 免费无遮挡裸体视频| 宅男免费午夜| 久久久国产成人免费| 99国产精品一区二区三区| 婷婷六月久久综合丁香| 欧美日韩福利视频一区二区| 啦啦啦观看免费观看视频高清| 亚洲av成人不卡在线观看播放网| 久久中文字幕人妻熟女| 精品日产1卡2卡| 欧美日本视频| 91成人精品电影| 母亲3免费完整高清在线观看| 99在线视频只有这里精品首页| 中文字幕高清在线视频| 成人国产一区最新在线观看| 日本免费a在线| 午夜精品在线福利| 一本精品99久久精品77| 亚洲中文字幕日韩| 亚洲熟妇熟女久久| 免费在线观看亚洲国产| 欧美最黄视频在线播放免费| 亚洲欧美日韩无卡精品| 日日干狠狠操夜夜爽| 亚洲精品国产一区二区精华液| 一本大道久久a久久精品| 亚洲国产看品久久| 日韩高清综合在线| 久久久久精品国产欧美久久久| 欧美成人午夜精品| 天堂√8在线中文| 两人在一起打扑克的视频| 777久久人妻少妇嫩草av网站| 久久精品国产清高在天天线| 一本久久中文字幕| 国产亚洲精品一区二区www| 亚洲国产精品sss在线观看| 久久精品成人免费网站| 久久青草综合色| 亚洲美女黄片视频| a在线观看视频网站| 久久久久免费精品人妻一区二区 | 禁无遮挡网站| 中文字幕久久专区| 亚洲精品在线观看二区| 琪琪午夜伦伦电影理论片6080| 热99re8久久精品国产| 777久久人妻少妇嫩草av网站| www.999成人在线观看| 18禁黄网站禁片午夜丰满| 国语自产精品视频在线第100页| 欧美黑人欧美精品刺激| 中文字幕人妻熟女乱码| 国产激情欧美一区二区| 亚洲国产精品999在线| 丝袜人妻中文字幕| 精品久久久久久久人妻蜜臀av| 波多野结衣高清无吗| 亚洲七黄色美女视频| 最新美女视频免费是黄的| 99国产极品粉嫩在线观看| 视频在线观看一区二区三区| 国产99久久九九免费精品| 日韩 欧美 亚洲 中文字幕| cao死你这个sao货| 久久久久精品国产欧美久久久| 日韩欧美国产一区二区入口| 啪啪无遮挡十八禁网站| 色综合婷婷激情| 1024香蕉在线观看| 后天国语完整版免费观看| 老熟妇乱子伦视频在线观看| 淫秽高清视频在线观看| 成熟少妇高潮喷水视频| 国产视频一区二区在线看| 亚洲国产欧洲综合997久久, | 妹子高潮喷水视频| 叶爱在线成人免费视频播放| 啦啦啦韩国在线观看视频| 欧美av亚洲av综合av国产av| 国产成人精品久久二区二区91| 两个人看的免费小视频| 国内揄拍国产精品人妻在线 | 91九色精品人成在线观看| 一a级毛片在线观看| 亚洲人成伊人成综合网2020| 亚洲精品国产区一区二| 精品国产乱码久久久久久男人| 很黄的视频免费| 中文资源天堂在线| 男女床上黄色一级片免费看| 美女扒开内裤让男人捅视频| 手机成人av网站| 亚洲熟妇熟女久久| 国产又黄又爽又无遮挡在线| 嫩草影视91久久| 久久精品91无色码中文字幕| 免费在线观看日本一区| 最好的美女福利视频网| 国产av又大| 亚洲人成网站在线播放欧美日韩| 狠狠狠狠99中文字幕| 中文字幕高清在线视频| 欧美一区二区精品小视频在线| 日韩高清综合在线| 亚洲va日本ⅴa欧美va伊人久久| 亚洲成av片中文字幕在线观看| 老司机午夜福利在线观看视频| 国产男靠女视频免费网站| 免费在线观看成人毛片| 精品一区二区三区视频在线观看免费| 亚洲无线在线观看| 九色国产91popny在线| 男人舔女人下体高潮全视频| 无人区码免费观看不卡| 又黄又爽又免费观看的视频| 88av欧美| 美女扒开内裤让男人捅视频| 村上凉子中文字幕在线| 热99re8久久精品国产| 欧美成人午夜精品| 国产成人精品无人区| 91老司机精品| 波多野结衣av一区二区av| 欧美成狂野欧美在线观看| 国产精品99久久99久久久不卡| 国产精品精品国产色婷婷| 黄色a级毛片大全视频| 免费av毛片视频| 久久久久久亚洲精品国产蜜桃av| 国产精品综合久久久久久久免费| av超薄肉色丝袜交足视频| 成人国产综合亚洲| 90打野战视频偷拍视频| 亚洲欧洲精品一区二区精品久久久| av中文乱码字幕在线| 日韩av在线大香蕉| 欧美乱色亚洲激情| 国产精品爽爽va在线观看网站 | 久久国产精品人妻蜜桃| 两个人视频免费观看高清| 看免费av毛片| 成人三级黄色视频| 1024手机看黄色片| 精品久久久久久久久久免费视频| av中文乱码字幕在线| 久久久久九九精品影院| 国产激情久久老熟女| 久久人人精品亚洲av| 最近最新中文字幕大全免费视频| 亚洲熟妇熟女久久| 在线观看日韩欧美| 日本三级黄在线观看| 一级a爱片免费观看的视频| 久久香蕉激情| 国产亚洲精品综合一区在线观看 | 国产在线观看jvid| 日本免费a在线| 日本一本二区三区精品| 亚洲成人免费电影在线观看| 在线观看午夜福利视频| 亚洲一区中文字幕在线| 国产精品久久久人人做人人爽| 色综合欧美亚洲国产小说| 国产视频一区二区在线看| 哪里可以看免费的av片| 黄色丝袜av网址大全| 亚洲中文字幕一区二区三区有码在线看 | 成人国产一区最新在线观看| 十八禁人妻一区二区| 久久人妻av系列| 久久亚洲精品不卡| 免费在线观看成人毛片| 欧美最黄视频在线播放免费| 宅男免费午夜| 日韩欧美在线二视频| 国产爱豆传媒在线观看 | 久久中文字幕人妻熟女| 美女扒开内裤让男人捅视频| 老司机深夜福利视频在线观看| 亚洲国产精品999在线| 国产成人影院久久av| 亚洲 欧美一区二区三区| 精品国产一区二区三区四区第35| 国产成人影院久久av| 精品国产乱子伦一区二区三区| 午夜福利欧美成人| 国产极品粉嫩免费观看在线| 色哟哟哟哟哟哟| 一边摸一边抽搐一进一小说| 精品高清国产在线一区| 免费高清视频大片| 国产亚洲欧美98| 日韩精品青青久久久久久| 欧美乱妇无乱码| 两性午夜刺激爽爽歪歪视频在线观看 | 日韩大尺度精品在线看网址| 国产精品久久久av美女十八| 久久久国产成人精品二区| 亚洲精品一区av在线观看| 日韩高清综合在线| 国产精品免费视频内射| 草草在线视频免费看| www.精华液| 一a级毛片在线观看| 免费在线观看黄色视频的| 亚洲成人久久性| 亚洲av第一区精品v没综合| 欧美日韩瑟瑟在线播放| 后天国语完整版免费观看| 亚洲色图av天堂| 久久精品国产亚洲av高清一级| 亚洲 欧美 日韩 在线 免费| 久久久久久久精品吃奶| 午夜视频精品福利| 欧美另类亚洲清纯唯美| 一级a爱片免费观看的视频| 男女那种视频在线观看| 亚洲性夜色夜夜综合| 啦啦啦观看免费观看视频高清| 欧美性猛交╳xxx乱大交人| 日本成人三级电影网站| 欧美在线一区亚洲| 悠悠久久av| 亚洲欧美精品综合久久99| 中文字幕人妻丝袜一区二区| 日韩大尺度精品在线看网址| 欧美成人性av电影在线观看| 国产午夜福利久久久久久| 欧美乱妇无乱码| 欧美av亚洲av综合av国产av| 50天的宝宝边吃奶边哭怎么回事| 天堂动漫精品| 级片在线观看| 99精品欧美一区二区三区四区| 最新美女视频免费是黄的| 成年女人毛片免费观看观看9| 日本熟妇午夜| 国产av又大| 久久国产精品男人的天堂亚洲| 午夜福利视频1000在线观看| 波多野结衣av一区二区av| 精品午夜福利视频在线观看一区| 变态另类丝袜制服| 女性被躁到高潮视频| 一本一本综合久久| 精品国产一区二区三区四区第35| 免费在线观看日本一区| 香蕉av资源在线| 亚洲av成人一区二区三| 18禁裸乳无遮挡免费网站照片 | av有码第一页| 国产乱人伦免费视频| 在线观看日韩欧美| 午夜福利高清视频| 国产亚洲欧美精品永久| 99在线人妻在线中文字幕| 久久国产亚洲av麻豆专区| 亚洲精华国产精华精| av天堂在线播放| 久久热在线av| 久久久水蜜桃国产精品网| 白带黄色成豆腐渣| 精品一区二区三区四区五区乱码| 两个人免费观看高清视频| 午夜久久久久精精品| 国产一区二区三区在线臀色熟女| 亚洲中文字幕日韩| 欧美乱妇无乱码| 午夜福利欧美成人| 男男h啪啪无遮挡| 亚洲国产欧洲综合997久久, | 久久精品91无色码中文字幕| 白带黄色成豆腐渣| 高清毛片免费观看视频网站| 久久人人精品亚洲av| 少妇的丰满在线观看| 午夜免费成人在线视频| 91麻豆av在线| 日韩精品免费视频一区二区三区| 桃色一区二区三区在线观看| 波多野结衣高清作品| 白带黄色成豆腐渣| 久久这里只有精品19| 91麻豆精品激情在线观看国产| 人人澡人人妻人| 69av精品久久久久久| 亚洲av成人不卡在线观看播放网| 亚洲av熟女| 熟女电影av网| 夜夜夜夜夜久久久久| 亚洲男人天堂网一区| 人妻丰满熟妇av一区二区三区| 久久亚洲真实| 久久人人精品亚洲av| 欧美一级a爱片免费观看看 | 久久午夜亚洲精品久久| 日本免费一区二区三区高清不卡| 久久伊人香网站| 中文字幕另类日韩欧美亚洲嫩草| 不卡av一区二区三区| 国产国语露脸激情在线看| 亚洲成人国产一区在线观看| 色婷婷久久久亚洲欧美| 国产精品久久久久久人妻精品电影| 好男人电影高清在线观看| 伦理电影免费视频| 精品免费久久久久久久清纯| 婷婷亚洲欧美| av片东京热男人的天堂| 亚洲熟妇熟女久久| 精品少妇一区二区三区视频日本电影| 一区二区三区精品91| av在线播放免费不卡| 欧美乱码精品一区二区三区| 国产一区二区三区在线臀色熟女| 男男h啪啪无遮挡| 久久九九热精品免费| 一区二区日韩欧美中文字幕| 国产精品亚洲美女久久久|