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

    一種列控系統(tǒng)安全關(guān)鍵軟件測試用例的實例化方法

    2019-02-15 09:28:56劉思琪張亞東楊武東
    小型微型計算機系統(tǒng) 2019年2期
    關(guān)鍵詞:子句謂詞測試用例

    劉思琪,張亞東,楊武東,童 音,饒 暢

    (西南交通大學 信息科學與技術(shù)學院,成都 611756)

    1 引 言

    列車運行控制系統(tǒng)保證列車安全、高效的運行,是現(xiàn)代鐵路信號系統(tǒng)中的關(guān)鍵設(shè)備[1].列控系統(tǒng)有許多基于軟件的安全相關(guān)功能,軟件缺陷可能導致安全功能失效,造成嚴重的行車事故.因此,為提高列控系統(tǒng)的安全性和可靠性,鐵路信號系統(tǒng)安全關(guān)鍵軟件的測試尤為重要[2].

    基于模型的軟件測試方法(Model-based Software Testing)采用模型描述軟件需求,以測試覆蓋準則為依據(jù),應(yīng)用圖論等算法生成測試用例,并對待測系統(tǒng)進行測試,測試效率與自動化程度高[3],在鐵路信號安全關(guān)鍵軟件測試中得到了廣泛的研究和應(yīng)用.軟件測試中常用的模型有確定性有限狀態(tài)機(Deterministic Finite State Machine,DFSM)和UML狀態(tài)圖等模型.對于軟件測試方法中的不同模型,已有不少的測試理論與測試用例生成方法被提出.文獻[4-6]提出了基于模型生成測試路徑方法,但實際應(yīng)用時仍需從測試路徑自動生成可執(zhí)行測試用例.文獻[7]中基于模型測試用例自動生成方法,對于不同待測系統(tǒng)仍需一定的人工參與才能自動生成測試輸入.文獻[8]精確闡述了適用于不同場景下基于規(guī)格說明的邏輯覆蓋測試準則,應(yīng)用準則生成的測試用例常是抽象的,實例化后得到實際測試輸入.文獻[9]采用輸入域建模提取有限狀態(tài)機測試場景的測試輸入,但面對更復雜的有限狀態(tài)機遷移邏輯時,無法直接得到可執(zhí)行測試用例.列控系統(tǒng)安全關(guān)鍵軟件功能邏輯復雜、輸入空間龐大,基于模型的測試用例生成的結(jié)果主要為抽象的測試路徑,為自動生成直接用于列控系統(tǒng)安全關(guān)鍵軟件的測試執(zhí)行,仍需要可執(zhí)行的測試用例的生成方法.

    本文選用DFSM描述系統(tǒng)行為,結(jié)合邏輯覆蓋與輸入空間劃分方法,對模型的測試路徑上各狀態(tài)間遷移條件生成滿足邏輯覆蓋準則的測試用例,并采用輸入空間劃分選取抽象的測試用例的實際測試輸入,自動生成待測系統(tǒng)可執(zhí)行的測試用例.最后,以CTCS-2級車載設(shè)備手動等級轉(zhuǎn)換的安全功能為例,展示該方法自動生成測試用例的過程.

    2 基于DFSM模型的測試方法

    DFSM能夠描述軟件在生命周期中的控制行為,表現(xiàn)為軟件所經(jīng)歷的狀態(tài)序列及引起狀態(tài)遷移的事件或條件,具有表現(xiàn)直觀、易于理解的優(yōu)點,在基于模型的測試方法中得到了廣泛應(yīng)用.DFSM由狀態(tài)與狀態(tài)間遷移構(gòu)成,狀態(tài)描述了當前等待遷移執(zhí)行的系統(tǒng)狀況,遷移是在條件滿足或事件發(fā)生時使DFSM從一個狀態(tài)轉(zhuǎn)至另一狀態(tài)的動作,通常代表單個或多個變量的值的變化[8].DFSM可用一個五元組(∑,S,s0,δ,F)表示[10],其中,

    ·∑ 表示有限的、非空的輸入字符集;

    ·S表示有限的、非空的狀態(tài)集;

    ·s0∈S表示一個初始狀態(tài);

    ·δ:S×∑→S表示狀態(tài)遷移函數(shù);

    ·F?S表示終止狀態(tài)集合.

    基于DFSM的軟件測試用例自動生成方法主要分為DFSM生成測試路徑、測試路徑實例化為測試用例兩個階段組成[10].第一階段為根據(jù)軟件結(jié)構(gòu)、規(guī)格說明等建立軟件功能邏輯的DFSM模型,并生成滿足圖覆蓋等準則的測試路徑,測試路徑即抽象測試用例,記錄了圖覆蓋準則下從s0狀態(tài)到f∈F狀態(tài)的所有遷移{(s0,si),…,(sj,sk),…,(sn,f)}.第二階段為實例化測試路徑為可執(zhí)行的測試用例.

    3 測試用例生成基礎(chǔ)

    3.1 邏輯覆蓋

    邏輯覆蓋準則通過分析謂詞與子句邏輯關(guān)系,產(chǎn)生覆蓋某些子句、謂詞的邏輯取值的測試用例[11],常應(yīng)用在基于模型的測試.DFSM的狀態(tài)遷移函數(shù)上通常定義使得遷移發(fā)生的特定變量的取值和引發(fā)遷移發(fā)生的變量值變化的觸發(fā)事件[8], 常表現(xiàn)為遷移條件邏輯表達式,在實際中可通過分析待測系統(tǒng)規(guī)格說明得到.由于邏輯覆蓋沒有標準的術(shù)語與符號,應(yīng)用邏輯覆蓋時通常將邏輯表達式形式化為謂詞[8].謂詞,是計算結(jié)果為布爾值的子句或者復合謂詞,其結(jié)構(gòu)由邏輯運算符(非)、∧(與)、∨(或)、→(蘊含)、⊕(異或)和?(等價)等構(gòu)成[8],其中子句是不含任何邏輯運算符的謂詞[8],有布爾變量和關(guān)系表達式兩種常見形式[12],復合謂詞則是由若干個子句或其補和二元布爾運算符{∧,∨}構(gòu)成[13].子句形式之一的關(guān)系表達式是形如EopF的表達式,其中E和F均為由算數(shù)表達式,關(guān)系運算符op∈{≤,≥,<,>,=,≠}[13].僅由布爾變量、布爾運算符和括號構(gòu)成的謂詞稱為布爾表達式[13],通過抽象語法樹提取布爾變量及關(guān)系表達式為葉節(jié)點,布爾運算符{,∧,∨}為內(nèi)部節(jié)點,得到其樹形結(jié)構(gòu),用于自動化生成測試用例.在DFSM模型中,狀態(tài)遷移條件表現(xiàn)為邏輯表達式,并已形式化為謂詞,其中{,∧,∨}是軟件功能的DFSM模型常用的3種邏輯運算,本文針對這3種邏輯運算符的DFSM模型應(yīng)用邏輯覆蓋準則生成測試用例.常見的邏輯覆蓋準則有謂詞覆蓋、子句覆蓋和組合覆蓋三種[8].

    1)謂詞覆蓋(PC):對于謂詞集的每個謂詞,測試需求是謂詞取得真值,謂詞取得假值.

    2)子句覆蓋(CC):對于謂詞的每個子句,測試需求是子句取得真值,子句取得假值.

    3)組合覆蓋(CoC):對于謂詞集的每個謂詞,測試需求是謂詞中子句的所有邏輯值組合.

    當謂詞中有n個獨立的子句,共有2n種可能的邏輯值組合.以(a=b)∧C為例,該謂詞包含2個獨立子句,有4種可能的邏輯值組合,以T代表True,F(xiàn)代表False,結(jié)果如表1.其中,滿足謂詞覆蓋的測試集有T1,2={1,2}、T1,3={1,3}、T1,4={1,4},滿足子句覆蓋的有T1,4={1,4}、T2,3={2,3},滿足組合覆蓋的有T1,2,3,4={1,2,3,4}.

    表1 謂詞(a=b)∧C邏輯值組合與覆蓋結(jié)果表Table 1 Truth table of (a=b)∧C and results of coverage criteria

    3.2 輸入空間劃分

    輸入空間劃分的過程稱為輸入域建模,它根據(jù)待測系統(tǒng)的接口變量定義了輸入域,如圖1中輸入域D,再從規(guī)格說明中提取出用以劃分輸入域的特性C,將輸入域D劃分為包含同等作用值的、兩兩分離的b1、b2和b3三個塊,并從塊中選出有代表性的取值(如圖1中黑點)進行測試[8].

    圖1 輸入域D劃分示意圖Fig.1 Partition of input domain D

    輸入域建模的方法分為基于接口的方法和基于功能的方法.基于接口的方法是單獨處理每個被測函數(shù)的變量xi,識別的特性僅限于一個單獨的變量,易于對xi進行劃分塊取值.基于功能的方法的輸入域模型包含了一些功能語義或者專業(yè)知識,其特性通過分析被測系統(tǒng)的一個行為或功能來開發(fā),產(chǎn)生的測試用例比基于接口的方法可能更接近測試目標,但識別特性經(jīng)常不能夠匹配待測系統(tǒng)接口的變量,難以生成可執(zhí)行用例[8].軟件需求規(guī)格描述了軟件的各項需求,各項功能的具體含義等內(nèi)容,對基于規(guī)格說明的DFSM模型進行輸入域建模時,被測函數(shù)是狀態(tài)間的遷移條件,函數(shù)變量是遷移條件中的變量.遷移條件包含了待測系統(tǒng)的功能語義,從遷移條件開發(fā)出的特性既能從功能上劃分輸入域,又能與遷移條件中的變量匹配,提供了基于功能的方法識別特性后自動化選取變量取值的可能.

    3.3 邏輯覆蓋與輸入空間劃分結(jié)合方法

    根據(jù)邏輯覆蓋準則,DFSM的遷移條件生成的邏輯測試集是子句的邏輯值組合,常是抽象的測試用例.為使其與接口變量匹配,采用輸入空間劃分自動生成滿足邏輯值組合的接口變量測試輸入,并組成可執(zhí)行的測試用例.生成測試用例的過程見圖2,從測試路徑生成測試用例可分為以下3步:

    圖2 測試用例生成過程圖Fig.2 Process of test cases generation

    1)生成邏輯測試集.識別遷移條件的邏輯表達式結(jié)構(gòu),生成滿足特定覆蓋準則的邏輯測試集.

    2)生成變量取值集.通過變量定義與遷移條件提取特性,采用基于功能的輸入域建模方法對待測系統(tǒng)建模,并計算出接口變量取值集.

    3)生成測試用例.結(jié)合邏輯測試集與變量取值集,得出與邏輯測試集中各測試項子句邏輯值匹配的接口變量測試輸入.若對應(yīng)一次測試的變量輸入組合有多種,則采用全排列方法,生成所有可能組合的可執(zhí)行測試輸入,最終與其他測試項的測試輸入組合成滿足特定邏輯覆蓋的測試用例.

    4 基于輸入域和邏輯覆蓋的測試用例生成

    4.1 生成邏輯測試集

    基于DFSM模型的測試路徑是一組遷移序列,其中各遷移條件的邏輯表達式,通常被形式化為謂詞形式.邏輯覆蓋準則中的謂詞覆蓋準則的測試需求是每個謂詞集合中的謂詞需取得真值和假值[8].下面以該準則為例說明測試用例生成過程.表1中謂詞(a=b)∧C,T1,2={((a=b)=true,C=true),((a=b)=true,C=false)} 這兩項的測試集滿足了謂詞覆蓋準則.在實際中,為實現(xiàn)自動生成滿足邏輯覆蓋準則的邏輯值組合,首先需要構(gòu)建邏輯表達式的抽象語法樹.為降低構(gòu)建語法樹的難度,選用布爾變量分別替換謂詞中關(guān)系表達式,轉(zhuǎn)換其為布爾表達式,再通過識別布爾運算符構(gòu)建語法樹.謂詞(a=b)∧C,由關(guān)系表達式(a=b)和布爾變量C這2個子句組成,將其中(a=b)用布爾變量D替換,謂詞將轉(zhuǎn)換為布爾表達式D∧C,再構(gòu)建其語法樹并生成真值表,再從中取出滿足謂詞覆蓋準則的邏輯值組合構(gòu)成了邏輯測試集(logical tests).生成邏輯測試集的算法1如下:

    算法1.generate logical tests

    Input:logical expression

    Output: logical tests

    1.extractclausesfromlogicalexpression

    2.forclauseinclausesdo

    3.ifclauseis a relation expression

    4.thenrenameclausewithbyname

    5.endif

    6.endfor

    7.transformlogicalexpressiontobooleanexpression

    8.generateabstractsyntaxtree

    9.generatetruthtable

    10.select specificlogicaltestitems and store inlogicaltests

    4.2 生成變量取值集

    基于功能的輸入域建模生成變量取值集時,狀態(tài)間的遷移條件邏輯表達式(logic expression)視為待測函數(shù),遷移條件中變量為接口變量,通過從DFSM變量的定義與遷移條件中相應(yīng)子句提取劃分特性,將變量輸入域劃分為塊(blocks).劃分塊是變量可能值的集合,為了從集合自動選出變量值,采用取值策略(如有效值、無效值和邊界值等)選取,綜合后將得到子句中變量的取值集合(variable values).其中,邊界值策略認為在邊界或邊界附近是程序員進行軟件設(shè)計和開發(fā)時常出錯的地方[8],需要進行測試.生成變量取值集的算法如算法2所示.

    算法2.generate input domain values

    Input: logic expression

    Output: set of variable values

    1.extractclausesfromlogicexpression

    3. identifycharacteristicsfromclauseandvariable′sdefinition

    4. createblocksforcharacteristics

    5.forblockinblocks

    6. selectvaluesfromblockunder strategy

    7. addvaluesintovariablevalues

    8.endfor

    9. addvariablevaluesintosetofvariablevalues

    10.end for

    式中:x=(xS1,yS1,xS2,yS2,…,xSN,ySN)表示2N維的決策變量,y表示2維的目標向量;f1(x),f2(x)分別是節(jié)點安全連通度目標函數(shù)和節(jié)點網(wǎng)絡(luò)覆蓋率目標函數(shù);?i∈[1,N],?j∈[1,N],i≠j,滿足d(Si,Sj)≤Rc是節(jié)點的全連通約束,其中d(Si,Sj)表示節(jié)點Si,Sj之間的歐氏距離;為節(jié)點移動能耗約束,為節(jié)點優(yōu)化后與節(jié)點最初位置之間的距離,dth是節(jié)點允許移動的最大值。

    4.3 生成測試用例

    邏輯覆蓋準則考察的是邏輯運算符,生成的邏輯測試集中一次測試的邏輯值組合是謂詞中各子句的測試值,但這些測試值常常是抽象的,未匹配待測系統(tǒng)接口變量,要與輸入空間劃分的結(jié)果結(jié)合轉(zhuǎn)為實際變量的測試輸入.兩者結(jié)合算法見算法3.

    算法首先對邏輯測試集中每一條測試項(logical test)中各元素(element),應(yīng)計算出滿足當前元素邏輯值的變量取值集合(expected values).當計算出當前輸入項對應(yīng)的所有變量取值集合之后,將其視為整體,采用全排列方法或其他組合辦法,以各取值集合為單個的排列變量,集合中的值視作變量的取值,對變量進行組合,生成多種測試輸入組合.然后,對邏輯測試集中剩余測試項重復上述過程,得到各測試項的測試輸入集合(set of test input).最后,組合各測試項的測試輸入集合,得到滿足邏輯覆蓋準則的、可執(zhí)行的測試用例(test cases).

    算法3.generate executable test cases

    Input: logical tests, set of variable values, logic expression

    Output: test cases

    1.forlogicaltestinlogicaltestsdo

    2.forelementinlogicaltestdo

    3. get relativeclausefromlogicexpression

    4. getvariablefromclause

    5. getvariablevaluesfromsetofvariablevalues

    6.forvariablevalueinvariablevaluesdo

    7. getresultby substituting thevariablevaluetoclause

    8.iftheresultmatches theelement′svalue

    9.thenrecord the currentvariablevaluetoexpectedvalues

    10.endif

    11.endfor

    12.endfor

    13. combine allexpectedvaluesand store insetoftestinput

    14.endfor

    15.combine allsetoftestinputand generatetestcases

    5 案例研究

    列控系統(tǒng)領(lǐng)域的DFSM模型圖的狀態(tài)用圓圈表示,終止狀態(tài)用雙圈表示,狀態(tài)間遷移用帶箭頭的線表示.系統(tǒng)進入初始狀態(tài)后開始工作,并根據(jù)變量的變化遷移至目標狀態(tài).狀態(tài)間的遷移條件通常反應(yīng)了接口變量之間的邏輯關(guān)系,主要由關(guān)系表達式與布爾表達式組成.本節(jié)以CTCS-2車載設(shè)備等級轉(zhuǎn)換中手動切換功能為例,說明從DFSM模型生成測試用例的具體過程.

    5.1 等級轉(zhuǎn)換功能有限狀態(tài)機模型

    等級轉(zhuǎn)換發(fā)生在CTCS-2(簡稱C2)區(qū)段與CTCS-0(簡稱C0)區(qū)段的邊界.當C0級下車載設(shè)備不能自動切換等級時,若條件允許,司機可進行手動切換等級至C2級[14].該功能的DFSM模型如圖3所示.

    圖3 CTCS-0級手動切換CTCS-2級的DFSM模型Fig.3 DFSM of CTCS-0/CTCS-2 manual level transition function

    如圖3,車載設(shè)備進入Start狀態(tài)后初始化為C0等級狀態(tài),檢測到司機手動選擇C2等級后,轉(zhuǎn)入C2手動切換狀態(tài);若列車正在輸出制動且當前等級為C0級,則C2手動狀態(tài)轉(zhuǎn)回C0狀態(tài);若列車未輸出制動、列車速度滿足要求、當前狀態(tài)等級為C0且司機手動選擇C2等級四個條件同時滿足,C2手動狀態(tài)將轉(zhuǎn)至C2等級狀態(tài).

    從DFSM得出一條測試路徑P,遷移分別是{(Start,C0),(C0,C2-ManuSwitch),(C2-ManuSwitch,C0),(C0,C2-ManuSwitch),(C2-ManuSwitch,C2-State),(C2-State,End)}.其中(C2-ManuSwitch,C2-State)的遷移條件的子句、變量、子句含義見表2.

    表2 樣例遷移條件表達式元素表Table 2 Elements in sample transition expression

    5.2 測試用例生成

    本小節(jié)以 C2-ManuSwitch轉(zhuǎn)C2-State的遷移條件為例,介紹生成測試用例的具體過程.

    1)生成邏輯測試集.通過解析遷移條件表達式,獲得所有子句并用布爾變量替換謂詞中關(guān)系表達式,將謂詞轉(zhuǎn)為布爾表達式,建立遷移條件的抽象語法樹后求出條件表達式的所有的邏輯值組合,從中選出滿足謂詞覆蓋準則的邏輯值組合構(gòu)成了邏輯測試集.樣例遷移條件包含四個子句,其中關(guān)系表達式Speed<250.0替換為布爾變量Speed-250.0 ,遷移條件變?yōu)椴紶柋磉_式,并構(gòu)建抽象語法樹,得到子句的十六種邏輯值組合.

    其中上述4個子句{LKJBrake, Speed<250.0, CurLevelCTCS0, DrvOperCTCS2}邏輯值組合為{T,T,T,T}時,表達式值為F,而四個子句邏輯值為{F,T,T,T}時,表達式值為T.由謂詞覆蓋準則定義可知,{T,T,T,T}與{F,T,T,T}這兩條測試項滿足了謂詞分別為假與真的謂詞覆蓋測試需求,因此,從由這兩項測試項組成的邏輯測試集滿足了謂詞覆蓋準則.

    2)初始化變量取值集合.基于功能的輸入域建模方法通過遷移條件中功能信息提取特性,以float型變量Speed為例,在關(guān)系表達式Speed<250.0與變量Speed的定義中提取出選取"Speed大于0且小于250km/h"特性,劃分輸入空間為Speed大于0且小于250km/h、 大于等于250km/h兩個塊,并選取有效取值范圍中間值、以5為步長選取邊界的附近值和邊界值為測試值,符合了有效值、無效值、邊界值的取值策略,變量取值集合見表3,而遷移條件中LKJBrake等為布爾型變量,取值集包括其所有可能值.

    表3 樣例表達式各變量取值集Table 3 Set of variables values in sample expression

    3)生成測試用例.以測試項中{LKJBrake=F,Speed<250.0=T,CurLevelCTCS0=T,DrvOperCTCS2=T}為例,在子句中依次代入對應(yīng)變量值,通過計算結(jié)果并判斷其是否與子句邏輯值一致,求出變量取值集中所有滿足子句邏輯值的取值,{F, T, T, T}測試項的變量輸入子集如表4.以子句Speed<250.0為例,測試項要求該子句取值為T,因此需要求出Speed變量取值集合中小于250.0的值.

    表4 樣例輸入項與變量輸入子集Table 4 Sample test input and subset of variables inputs

    由于4個變量(LKJBrake, Speed, CurLevelCTCS0, DrvOperCTCS2)的取值可能組合不唯一,本次采用全排列生成4條可執(zhí)行的測試輸入,分別為:

    (F,0.0,T,T)、(F,5.0,T,T)、(F,125.0,T,T)、(F,245.0,T,T).

    對于謂詞覆蓋測試集中的另一條測試項{T, T, T, T},再次進行上述過程,也可得到生成4條測試輸入,分別為:

    (T,0.0,T,T)、(T,5.0,T,T)、(T,125.0,T,T)、(T,245.0,T,T).

    謂詞覆蓋準則需對兩種邏輯值組合進行測試,對于上述兩項測試項有多種可能測試輸入時,為使每種輸入至少執(zhí)行一次,需要至少四個滿足謂詞覆蓋準則的可執(zhí)行測試用例,見表5.以其中可執(zhí)行測試用例{(F,0.0,T,T),(T,0.0,T,T)}為例,該用例測試了速度為0、當前等級為CTCS-0且司機手動選擇了CTCS-2時,列車輸出制動與未輸出制動兩種等級轉(zhuǎn)換的情況.路徑P中各遷移條件的測試用例見表5.

    表5 路徑P各遷移條件測試用例表Table 5 Test cases for transitions in path P

    由此可見,結(jié)合輸入空間的各種輸入條件所生成的測試用例覆蓋了更多的測試情況與實際的臨界條件,可測出軟件邊界情況存在的軟件缺陷,實現(xiàn)了在各種輸入場景下對鐵路相關(guān)軟件系統(tǒng)的測試,提高了軟件的可靠安全性.

    6 結(jié) 論

    本文針對基于DFSM的軟件測試方法中測試路徑生成測試用例的過程,結(jié)合輸入空間劃分和邏輯覆蓋準則,提出了含連續(xù)型變量的遷移條件自動生成測試用例方法.以CTCS-2級車載設(shè)備人工等級轉(zhuǎn)換的安全功能為例,對其DFSM模型測試路徑生成了多種測試情況下的測試用例,減少了軟件測試中測試用例配置的工作量與測試值選取的盲目性.本文提出的方法已經(jīng)在CTCS-2級車載設(shè)備軟件測試中得到應(yīng)用,實踐表明本方法具備良好的可操作性,能產(chǎn)生可執(zhí)行測試用例.今后,在輸入空間的劃分及如何取值和邏輯表達式特殊結(jié)構(gòu)方面將做進一步研究,提高方法的適用度.

    猜你喜歡
    子句謂詞測試用例
    命題邏輯中一類擴展子句消去方法
    被遮蔽的邏輯謂詞
    ——論胡好對邏輯謂詞的誤讀
    基于SmartUnit的安全通信系統(tǒng)單元測試用例自動生成
    命題邏輯可滿足性問題求解器的新型預處理子句消去方法
    黨項語謂詞前綴的分裂式
    西夏研究(2020年2期)2020-06-01 05:19:12
    基于混合遺傳算法的回歸測試用例集最小化研究
    西夏語的副詞子句
    西夏學(2018年2期)2018-05-15 11:24:42
    也談“語言是存在的家”——從語言的主詞與謂詞看存在的殊相與共相
    外語學刊(2016年4期)2016-01-23 02:33:55
    命題邏輯的子句集中文字的分類
    基于依賴結(jié)構(gòu)的測試用例優(yōu)先級技術(shù)
    国产av又大| 亚洲欧美日韩无卡精品| www.999成人在线观看| 搡老妇女老女人老熟妇| 亚洲一卡2卡3卡4卡5卡精品中文| 亚洲人成网站高清观看| 欧美不卡视频在线免费观看 | 91成年电影在线观看| 午夜福利在线观看吧| 成年免费大片在线观看| 久久青草综合色| 亚洲专区国产一区二区| 日韩成人在线观看一区二区三区| 久久久久久国产a免费观看| 亚洲成av人片免费观看| 国产精品 欧美亚洲| 欧美性长视频在线观看| 久久欧美精品欧美久久欧美| 久久久水蜜桃国产精品网| 99riav亚洲国产免费| 国产激情久久老熟女| 日韩国内少妇激情av| 波多野结衣高清无吗| 亚洲国产欧洲综合997久久, | 日韩精品青青久久久久久| 亚洲成av片中文字幕在线观看| 欧美成人一区二区免费高清观看 | 亚洲欧美激情综合另类| 日日夜夜操网爽| 亚洲精品在线美女| 丰满的人妻完整版| 亚洲黑人精品在线| 首页视频小说图片口味搜索| 精品高清国产在线一区| 黄色 视频免费看| 在线永久观看黄色视频| 最近最新中文字幕大全免费视频| 午夜久久久在线观看| 欧美 亚洲 国产 日韩一| 国产av在哪里看| 亚洲av日韩精品久久久久久密| 最近在线观看免费完整版| 中文在线观看免费www的网站 | 两个人免费观看高清视频| 18禁美女被吸乳视频| 国产区一区二久久| 亚洲精品av麻豆狂野| 少妇粗大呻吟视频| 美女高潮喷水抽搐中文字幕| 国产真实乱freesex| 精品国产乱子伦一区二区三区| 日本黄色视频三级网站网址| 欧美黑人欧美精品刺激| 十八禁人妻一区二区| 国产高清videossex| 午夜激情av网站| 国产精品香港三级国产av潘金莲| 亚洲av熟女| 首页视频小说图片口味搜索| 美女国产高潮福利片在线看| 国产精品久久久久久精品电影 | 一边摸一边做爽爽视频免费| 男女床上黄色一级片免费看| 99热6这里只有精品| 亚洲av中文字字幕乱码综合 | 午夜福利成人在线免费观看| 搞女人的毛片| 午夜福利一区二区在线看| 日韩av在线大香蕉| 老司机福利观看| 手机成人av网站| 婷婷六月久久综合丁香| 亚洲黑人精品在线| 丰满人妻熟妇乱又伦精品不卡| 婷婷精品国产亚洲av| 久热这里只有精品99| 99久久无色码亚洲精品果冻| 制服人妻中文乱码| 午夜两性在线视频| 美女高潮喷水抽搐中文字幕| 亚洲人成电影免费在线| 丁香六月欧美| 国产男靠女视频免费网站| 亚洲av电影在线进入| av片东京热男人的天堂| 一本综合久久免费| 亚洲第一av免费看| 丝袜美腿诱惑在线| 亚洲免费av在线视频| 麻豆一二三区av精品| 日本熟妇午夜| www日本黄色视频网| 99国产精品一区二区蜜桃av| 国产久久久一区二区三区| 亚洲一区中文字幕在线| 日韩精品免费视频一区二区三区| 精品欧美国产一区二区三| 免费观看精品视频网站| 一进一出抽搐gif免费好疼| 国产亚洲欧美在线一区二区| 亚洲免费av在线视频| 久久精品亚洲精品国产色婷小说| 国产蜜桃级精品一区二区三区| 18美女黄网站色大片免费观看| 九色国产91popny在线| 亚洲熟女毛片儿| 国产精品二区激情视频| 99在线视频只有这里精品首页| 99精品在免费线老司机午夜| 欧美av亚洲av综合av国产av| 黄片大片在线免费观看| 一级毛片精品| 亚洲成人精品中文字幕电影| 亚洲国产欧美一区二区综合| 两个人看的免费小视频| 欧美亚洲日本最大视频资源| 国产精品自产拍在线观看55亚洲| 久久久久久亚洲精品国产蜜桃av| 久久国产精品影院| 国产精品一区二区三区四区久久 | 一边摸一边做爽爽视频免费| 精品久久久久久久毛片微露脸| 亚洲第一欧美日韩一区二区三区| 亚洲一区二区三区色噜噜| 国产一区二区在线av高清观看| 99久久国产精品久久久| 搞女人的毛片| 亚洲av美国av| 久久精品国产99精品国产亚洲性色| 老熟妇乱子伦视频在线观看| 欧美黑人欧美精品刺激| 黄色片一级片一级黄色片| 在线观看舔阴道视频| 欧美av亚洲av综合av国产av| 后天国语完整版免费观看| 亚洲av中文字字幕乱码综合 | 观看免费一级毛片| 亚洲国产欧美日韩在线播放| 亚洲欧美一区二区三区黑人| 欧美久久黑人一区二区| 亚洲精品中文字幕在线视频| 免费女性裸体啪啪无遮挡网站| www.精华液| 中文亚洲av片在线观看爽| 国产精品二区激情视频| 99久久精品国产亚洲精品| 女性被躁到高潮视频| 欧美午夜高清在线| 欧美日韩福利视频一区二区| 曰老女人黄片| 99在线人妻在线中文字幕| 两人在一起打扑克的视频| 日韩国内少妇激情av| 香蕉av资源在线| 久9热在线精品视频| 亚洲av片天天在线观看| 午夜a级毛片| 制服诱惑二区| 女性被躁到高潮视频| 免费在线观看完整版高清| 可以在线观看的亚洲视频| 欧美绝顶高潮抽搐喷水| 黄色女人牲交| 很黄的视频免费| 757午夜福利合集在线观看| 精品乱码久久久久久99久播| 国产av又大| www.熟女人妻精品国产| 亚洲国产高清在线一区二区三 | 九色国产91popny在线| 日韩国内少妇激情av| 啦啦啦免费观看视频1| 少妇裸体淫交视频免费看高清 | 中出人妻视频一区二区| 日韩中文字幕欧美一区二区| 亚洲精品中文字幕一二三四区| 欧美大码av| 久久精品人妻少妇| 国产成人精品无人区| 夜夜躁狠狠躁天天躁| 亚洲美女黄片视频| 午夜福利在线观看吧| 日日摸夜夜添夜夜添小说| 成人三级黄色视频| 午夜福利视频1000在线观看| 老司机深夜福利视频在线观看| 日韩欧美一区二区三区在线观看| 老司机午夜十八禁免费视频| 亚洲中文字幕一区二区三区有码在线看 | 亚洲欧美精品综合一区二区三区| 成人亚洲精品一区在线观看| 精品第一国产精品| 女人高潮潮喷娇喘18禁视频| 1024视频免费在线观看| 一区二区三区国产精品乱码| 国产欧美日韩一区二区三| 女警被强在线播放| 老熟妇乱子伦视频在线观看| 欧美性猛交╳xxx乱大交人| 色综合欧美亚洲国产小说| 黄网站色视频无遮挡免费观看| 欧美性猛交黑人性爽| 成熟少妇高潮喷水视频| 亚洲国产欧美日韩在线播放| 亚洲aⅴ乱码一区二区在线播放 | av天堂在线播放| 欧美日韩亚洲综合一区二区三区_| 国产片内射在线| 91字幕亚洲| 男女视频在线观看网站免费 | 亚洲人成网站在线播放欧美日韩| 欧美日韩中文字幕国产精品一区二区三区| 精品久久久久久久久久久久久 | 香蕉国产在线看| 国产伦在线观看视频一区| 日本 av在线| av福利片在线| 女性被躁到高潮视频| 色综合亚洲欧美另类图片| 18禁黄网站禁片午夜丰满| 亚洲va日本ⅴa欧美va伊人久久| 欧美黑人欧美精品刺激| 可以免费在线观看a视频的电影网站| 亚洲精品在线美女| 欧美日韩亚洲综合一区二区三区_| 欧美国产日韩亚洲一区| www日本在线高清视频| 国产一区在线观看成人免费| 在线观看www视频免费| 国产一区在线观看成人免费| 叶爱在线成人免费视频播放| 久久热在线av| 91九色精品人成在线观看| 999精品在线视频| 99国产精品一区二区三区| www日本黄色视频网| 香蕉丝袜av| 成熟少妇高潮喷水视频| 亚洲一区二区三区色噜噜| 日韩欧美三级三区| 久久香蕉激情| 久久久久久久久中文| 国产野战对白在线观看| а√天堂www在线а√下载| 校园春色视频在线观看| 国产精品免费视频内射| 精品国产美女av久久久久小说| 国产亚洲av嫩草精品影院| xxx96com| 日韩免费av在线播放| 亚洲av日韩精品久久久久久密| 成人国语在线视频| 亚洲欧美精品综合一区二区三区| 欧美激情 高清一区二区三区| 欧美人与性动交α欧美精品济南到| 亚洲欧美日韩高清在线视频| 亚洲精品中文字幕在线视频| 国产午夜精品久久久久久| 好男人在线观看高清免费视频 | 在线视频色国产色| 午夜亚洲福利在线播放| √禁漫天堂资源中文www| 日本成人三级电影网站| 亚洲,欧美精品.| 后天国语完整版免费观看| 人妻丰满熟妇av一区二区三区| 女性被躁到高潮视频| 一进一出好大好爽视频| 给我免费播放毛片高清在线观看| 黄色a级毛片大全视频| 精品电影一区二区在线| 国产精品爽爽va在线观看网站 | 91九色精品人成在线观看| 亚洲精品色激情综合| 美女扒开内裤让男人捅视频| 久久国产精品男人的天堂亚洲| 午夜老司机福利片| 色哟哟哟哟哟哟| 夜夜爽天天搞| 成人国产综合亚洲| 香蕉丝袜av| 日日爽夜夜爽网站| 欧美黄色片欧美黄色片| 亚洲精品国产一区二区精华液| 久久久久亚洲av毛片大全| 一本久久中文字幕| 美女国产高潮福利片在线看| 久久精品国产亚洲av高清一级| 久久国产亚洲av麻豆专区| 免费在线观看完整版高清| 午夜久久久在线观看| 91成人精品电影| 一进一出抽搐动态| 色哟哟哟哟哟哟| 一边摸一边抽搐一进一小说| 老熟妇乱子伦视频在线观看| 亚洲精品中文字幕一二三四区| 免费在线观看日本一区| 91麻豆精品激情在线观看国产| 可以免费在线观看a视频的电影网站| 伊人久久大香线蕉亚洲五| 欧美成狂野欧美在线观看| av免费在线观看网站| 亚洲av第一区精品v没综合| 亚洲午夜理论影院| 国产av不卡久久| 国产高清videossex| 丁香欧美五月| 亚洲欧美精品综合久久99| 久久久久亚洲av毛片大全| 欧美日韩一级在线毛片| 妹子高潮喷水视频| 十八禁人妻一区二区| 欧美不卡视频在线免费观看 | 精品午夜福利视频在线观看一区| 亚洲av成人不卡在线观看播放网| 亚洲狠狠婷婷综合久久图片| 女人被狂操c到高潮| 欧美激情久久久久久爽电影| 欧美激情极品国产一区二区三区| 欧美另类亚洲清纯唯美| 自线自在国产av| 久久精品91无色码中文字幕| 啦啦啦韩国在线观看视频| 午夜免费成人在线视频| av视频在线观看入口| 日韩欧美国产在线观看| www.自偷自拍.com| 啪啪无遮挡十八禁网站| 中文字幕久久专区| 国产又爽黄色视频| 午夜精品在线福利| 91在线观看av| 免费av毛片视频| 中文字幕精品亚洲无线码一区 | 亚洲片人在线观看| 99精品久久久久人妻精品| 老司机深夜福利视频在线观看| 1024香蕉在线观看| 国产97色在线日韩免费| 日韩中文字幕欧美一区二区| 桃红色精品国产亚洲av| 麻豆成人av在线观看| 国产精品 国内视频| 国产精品国产高清国产av| 亚洲九九香蕉| 两性午夜刺激爽爽歪歪视频在线观看 | 中文字幕另类日韩欧美亚洲嫩草| 搡老熟女国产l中国老女人| 国产精品爽爽va在线观看网站 | 变态另类成人亚洲欧美熟女| 国产成人精品久久二区二区91| 又黄又粗又硬又大视频| 99国产综合亚洲精品| 亚洲午夜理论影院| 亚洲人成77777在线视频| 99国产精品99久久久久| 久久久久久久午夜电影| 波多野结衣巨乳人妻| 国产av不卡久久| 看免费av毛片| 女性生殖器流出的白浆| 最近最新中文字幕大全电影3 | 欧美日韩乱码在线| 最近最新中文字幕大全电影3 | 亚洲久久久国产精品| 免费在线观看成人毛片| 亚洲专区国产一区二区| 淫秽高清视频在线观看| 国内久久婷婷六月综合欲色啪| 大型黄色视频在线免费观看| 搡老妇女老女人老熟妇| 两个人看的免费小视频| 亚洲欧美日韩无卡精品| 香蕉国产在线看| 欧美日韩瑟瑟在线播放| 女生性感内裤真人,穿戴方法视频| 老司机午夜福利在线观看视频| 欧美三级亚洲精品| 日本a在线网址| 日本一本二区三区精品| 久久香蕉精品热| 精品久久久久久久毛片微露脸| 麻豆一二三区av精品| videosex国产| 一本大道久久a久久精品| 18禁美女被吸乳视频| 欧美日韩瑟瑟在线播放| 母亲3免费完整高清在线观看| 成人国产综合亚洲| 麻豆av在线久日| 欧美成人午夜精品| 香蕉国产在线看| 老司机靠b影院| 在线观看日韩欧美| 日本免费一区二区三区高清不卡| 欧美色欧美亚洲另类二区| 91成人精品电影| 久久久久国产一级毛片高清牌| 精品国产一区二区三区四区第35| 黄色丝袜av网址大全| 亚洲,欧美精品.| 亚洲欧美日韩高清在线视频| 女性生殖器流出的白浆| 在线观看舔阴道视频| 日本免费a在线| 亚洲最大成人中文| 亚洲五月天丁香| 黑人巨大精品欧美一区二区mp4| 一区二区三区精品91| 999精品在线视频| 日本一区二区免费在线视频| 亚洲自拍偷在线| 特大巨黑吊av在线直播 | 亚洲欧美日韩高清在线视频| videosex国产| 两性午夜刺激爽爽歪歪视频在线观看 | 久久精品成人免费网站| 亚洲 欧美 日韩 在线 免费| 国产精品美女特级片免费视频播放器 | 精品卡一卡二卡四卡免费| 日韩视频一区二区在线观看| 在线十欧美十亚洲十日本专区| 啪啪无遮挡十八禁网站| 夜夜看夜夜爽夜夜摸| 欧美人与性动交α欧美精品济南到| 欧美+亚洲+日韩+国产| 国产97色在线日韩免费| 在线观看一区二区三区| 国产成+人综合+亚洲专区| 国内毛片毛片毛片毛片毛片| 亚洲色图av天堂| a在线观看视频网站| 丝袜在线中文字幕| 日本一区二区免费在线视频| 国产精品久久久av美女十八| 丰满人妻熟妇乱又伦精品不卡| 岛国视频午夜一区免费看| 丁香六月欧美| 黄频高清免费视频| 亚洲五月色婷婷综合| 好男人在线观看高清免费视频 | 日韩欧美在线二视频| 亚洲第一青青草原| 日日爽夜夜爽网站| 黄频高清免费视频| 一边摸一边做爽爽视频免费| 国产精品美女特级片免费视频播放器 | 韩国av一区二区三区四区| 日日干狠狠操夜夜爽| 黑人巨大精品欧美一区二区mp4| 好男人在线观看高清免费视频 | 欧美国产日韩亚洲一区| АⅤ资源中文在线天堂| 韩国av一区二区三区四区| av视频在线观看入口| 午夜两性在线视频| 美女 人体艺术 gogo| 亚洲成人精品中文字幕电影| 久久久久精品国产欧美久久久| 长腿黑丝高跟| 一本综合久久免费| 久久久久国内视频| 自线自在国产av| 国产v大片淫在线免费观看| 亚洲激情在线av| 成人欧美大片| а√天堂www在线а√下载| 黑人巨大精品欧美一区二区mp4| 99在线视频只有这里精品首页| 日本五十路高清| 精品久久久久久成人av| 老汉色av国产亚洲站长工具| 在线观看舔阴道视频| 亚洲黑人精品在线| 在线观看免费视频日本深夜| 这个男人来自地球电影免费观看| 熟女电影av网| 精品无人区乱码1区二区| 日韩成人在线观看一区二区三区| 午夜久久久久精精品| 久久久久久国产a免费观看| 黑人操中国人逼视频| 欧美激情极品国产一区二区三区| 啦啦啦韩国在线观看视频| 日韩欧美免费精品| 国产精品国产高清国产av| 亚洲七黄色美女视频| 国产伦一二天堂av在线观看| 99riav亚洲国产免费| 久久精品人妻少妇| 亚洲国产中文字幕在线视频| 国产精品一区二区三区四区久久 | 国产午夜精品久久久久久| 一本大道久久a久久精品| 一边摸一边抽搐一进一小说| 欧美一区二区精品小视频在线| www国产在线视频色| 午夜免费观看网址| 国产激情偷乱视频一区二区| 欧美在线一区亚洲| 免费在线观看影片大全网站| 老司机午夜福利在线观看视频| 久久中文看片网| 国产1区2区3区精品| 中文字幕另类日韩欧美亚洲嫩草| 黄网站色视频无遮挡免费观看| 精品一区二区三区四区五区乱码| 久久精品国产亚洲av香蕉五月| 日日夜夜操网爽| 欧美成人性av电影在线观看| 欧美亚洲日本最大视频资源| 老司机午夜福利在线观看视频| 日韩欧美三级三区| 一本综合久久免费| 久久性视频一级片| 午夜影院日韩av| 久久午夜综合久久蜜桃| 欧美性猛交╳xxx乱大交人| 麻豆成人av在线观看| 午夜老司机福利片| 国产蜜桃级精品一区二区三区| 国产激情偷乱视频一区二区| 99久久无色码亚洲精品果冻| 天天躁夜夜躁狠狠躁躁| 国产成人啪精品午夜网站| 国产黄a三级三级三级人| 日本熟妇午夜| 亚洲一卡2卡3卡4卡5卡精品中文| 99re在线观看精品视频| 欧美最黄视频在线播放免费| 久久久久久久精品吃奶| 成人av一区二区三区在线看| 精品日产1卡2卡| 哪里可以看免费的av片| 不卡av一区二区三区| 制服诱惑二区| 欧美在线黄色| 啦啦啦韩国在线观看视频| 亚洲av熟女| 日韩欧美 国产精品| 亚洲av电影不卡..在线观看| 国产午夜精品久久久久久| 欧美不卡视频在线免费观看 | 中文资源天堂在线| a在线观看视频网站| 2021天堂中文幕一二区在线观 | 极品教师在线免费播放| 精品不卡国产一区二区三区| 国产亚洲欧美98| 在线免费观看的www视频| 国产成+人综合+亚洲专区| 久久性视频一级片| 97人妻精品一区二区三区麻豆 | 精品国产美女av久久久久小说| 精品久久久久久久人妻蜜臀av| 黑丝袜美女国产一区| 香蕉久久夜色| 亚洲aⅴ乱码一区二区在线播放 | av电影中文网址| 叶爱在线成人免费视频播放| 中文字幕精品免费在线观看视频| 51午夜福利影视在线观看| 手机成人av网站| www.www免费av| 国产成人欧美| 精品无人区乱码1区二区| 亚洲自拍偷在线| 午夜成年电影在线免费观看| 免费在线观看完整版高清| 一级毛片精品| 免费观看人在逋| 色老头精品视频在线观看| 久久久久国内视频| 每晚都被弄得嗷嗷叫到高潮| 久久这里只有精品19| 18禁黄网站禁片免费观看直播| 色尼玛亚洲综合影院| 亚洲国产欧洲综合997久久, | 视频区欧美日本亚洲| 亚洲专区字幕在线| 欧美zozozo另类| 黑人巨大精品欧美一区二区mp4| 国产熟女午夜一区二区三区| 免费看a级黄色片| 午夜久久久在线观看| 中文字幕人妻丝袜一区二区| 婷婷亚洲欧美| 亚洲人成伊人成综合网2020| 欧美黑人欧美精品刺激| 欧美激情久久久久久爽电影| 美女 人体艺术 gogo| 欧美激情 高清一区二区三区| 在线十欧美十亚洲十日本专区| 给我免费播放毛片高清在线观看| 午夜福利欧美成人| 国产亚洲精品综合一区在线观看 | 久久青草综合色| 亚洲精华国产精华精| 色在线成人网| 可以在线观看毛片的网站| 亚洲精品久久国产高清桃花| 国产在线观看jvid| 免费一级毛片在线播放高清视频| 99riav亚洲国产免费| 一级a爱片免费观看的视频| 亚洲国产精品久久男人天堂| 国产欧美日韩精品亚洲av| 亚洲国产日韩欧美精品在线观看 | 久久伊人香网站| 日本精品一区二区三区蜜桃| 香蕉久久夜色| 免费看十八禁软件| 欧美又色又爽又黄视频| 国产激情久久老熟女|