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

    基于模型的軟件測試用例生成方法比較研究

    2017-03-29 07:45:19趙鶴高婉玲
    現(xiàn)代計(jì)算機(jī) 2017年4期
    關(guān)鍵詞:成本檢測方法

    趙鶴,高婉玲

    (四川大學(xué)計(jì)算機(jī)學(xué)院,成都 610064)

    基于模型的軟件測試用例生成方法比較研究

    趙鶴,高婉玲

    (四川大學(xué)計(jì)算機(jī)學(xué)院,成都 610064)

    隨著軟件系統(tǒng)的規(guī)模和復(fù)雜度的增加,軟件測試的自動化提上日程,軟件測試用例的自動化生成成為降低測試成本的重要途徑。模型檢測技術(shù)和工具的出現(xiàn),使得軟件測試用例的生成更加自動化。本文對基于模型檢測技術(shù)的測試用例自動生成方法進(jìn)行評估,與傳統(tǒng)的基于有限狀態(tài)機(jī)(FSM)模型的測試用例自動生成方法進(jìn)行比較,采用系統(tǒng)文獻(xiàn)綜述和可控實(shí)驗(yàn)的方法,進(jìn)行定性和定量的比較分析。結(jié)果顯示,基于模型檢測技術(shù)的測試用例自動生成方法在自動化程度、測試覆蓋率、測試成本等方面都具有優(yōu)勢,是一種可以應(yīng)用和進(jìn)一步研究的測試用例自動生成方案。

    軟件自動化測試;測試用例自動生成;基于模型的測試用例生成;模型檢測;有限狀態(tài)機(jī)

    0 引言

    軟件自動化測試是把人工的測試行為轉(zhuǎn)化為自動執(zhí)行的一種過程,一般使用特殊的軟件(與被測軟件分離)控制測試的執(zhí)行,以及實(shí)際結(jié)果與預(yù)測結(jié)果的比較[1]。軟件自動化測試主要用于回歸測試,目的是分擔(dān)在保證軟件質(zhì)量的前提下,縮短測試周期,降低測試成本。測試用例是一個描述輸入、執(zhí)行操作以及期望輸出的文檔,用于判斷程序的某個屬性是否能夠正常的執(zhí)行。測試用例的自動生成是指使用形式化方法,自動化的構(gòu)建測試用例,是軟件自動化測試的關(guān)鍵和難點(diǎn)。

    基于模型的測試用例自動生成是一種重要的方法,包括傳統(tǒng)的基于模型的方法和新的基于模型檢測技術(shù)的方法。軟件模型是用形式化的方法對軟件特征的抽象和刻畫,常見的、可用于測試用例生成的軟件模型包括:FSM模型、UML模型以及Markov模型等。模型檢測采用狀態(tài)空間搜索的方法檢測一個給定的模型是否滿足某個特定的屬性[2]。模型檢測技術(shù)通過分析模型的整個狀態(tài)空間來判斷給定的模型是否滿足某個屬性,如果屬性沒有得到滿足,模型檢測將會生成反例。對于測試而言,反例可以被看作是測試用例。

    本文的研究范圍及目標(biāo)是:對功能測試環(huán)境下基于FSM模型的測試用例生成方法以及基于模型檢測的測試用例生成方法進(jìn)行比較,進(jìn)而對基于模型檢測的測試用例生成方法進(jìn)行評估。

    1 測試用例自動生成方法的定性分析

    本文在評估基于模型檢測技術(shù)的測試用例自動生成方法時,采用系統(tǒng)文獻(xiàn)綜述[3]方法,對現(xiàn)有文獻(xiàn)中的相關(guān)內(nèi)容進(jìn)行綜述,從定性的角度評估方法。

    圖1 文獻(xiàn)年代分布對比圖

    如圖1,基于FSM模型的測試用例生成方法起源較早,2006之后發(fā)展趨于平緩,目前已較為成熟。模型檢測技術(shù)應(yīng)用于測試用例生成起源于1996年,從2001年之后發(fā)展很快,目前相關(guān)研究也較多。

    表1 基于FSM模型的方法部分文獻(xiàn)作者分布表

    表2 基于模型檢測的方法部分文獻(xiàn)作者分布表

    從表1和表2可以看出:在基于FSM模型方法相關(guān)的220篇文獻(xiàn)中,發(fā)表過一篇文獻(xiàn)的占總數(shù)的47.27%,2篇的占26.82%,發(fā)表過7篇文獻(xiàn)的作者僅占總數(shù)的0.91%。在基于模型檢測技術(shù)相關(guān)的206篇文獻(xiàn)中,發(fā)表過一篇文獻(xiàn)的占總數(shù)的72.33%,發(fā)表過7篇文獻(xiàn)的作者僅占總數(shù)的0.49%。說明很多學(xué)者都有對這個話題進(jìn)行研究,但是專注于此方面的作者卻很少,還沒有形成一個核心的作者群。

    圖2基于FSM/模型檢測的測試用例生成中文獻(xiàn)數(shù)量排名前幾位的作者及篇數(shù)。

    從圖2可以看出:Vijaykumar,N.L(7篇)和Huaikou,Miao.(7篇)這兩位作者在基于FSM模型方法中出現(xiàn)的頻次相對較高,F(xiàn)raser,G.(6篇)和Liping,Li.、Saab, D.G.、Wotawa,F.(5篇)這幾位作者在基于模型檢測方法中出現(xiàn)的頻次相對較高,說明這幾位作者及其團(tuán)隊(duì)對這兩個領(lǐng)域相關(guān)的研究較多,它們所編寫的文獻(xiàn)對于這兩類方法具有一定的指導(dǎo)意義。

    圖2 基于FSM/模型檢測的測試用例生成中文獻(xiàn)數(shù)量排名前幾位的作者及篇數(shù)

    2 測試用例自動生成方法的定性分析結(jié)果

    發(fā)展歷程。基于FSM的測試用例生成方法是最早出現(xiàn)并得到應(yīng)用的,目前已經(jīng)具有比較成熟的理論基礎(chǔ)。七十年代末開始,各類基于FSM、EFSM模型的測試用例生成算法逐步出現(xiàn),主要有T方法、U方法、D方法、W方法等?;谀P蜋z測的測試用例生成方法出現(xiàn)較晚,但是發(fā)展較快,目前的應(yīng)用也比較廣泛。1996年Callahan[4]等人最早提出了使用模型檢測來自動生成測試用例,隨后越來越多的方法被提出并得到了應(yīng)用。針對數(shù)字系統(tǒng),一個基于模型檢測的保證高效覆蓋的測試用例覆蓋方法被提出[5]。Wijesekera等人利用模型檢測生成的反例和測試用例之間的形式化關(guān)系,用CTL公式得到測試需求,將測試用例集和與需求有關(guān)的反例進(jìn)行覆蓋,從而可以獲得滿足測試準(zhǔn)則的測試集[6]。John Rushby提供了使用模型檢測生成用于檢測軟/硬件的有效的測試集的方法[7]。

    工具及自動化程度?;谀P蜋z測的方法自動化程度更高。目前,基于模型檢測的測試用例生成工具包括NuSMV、Spin、UPPAAL、CoVer、SAL等;基于FSM的測試用例生成的工具包括GOTCHA、TCBean、toolSET_Certify、ConformanceKit、Phact、TVEDA、RFT、Rational Robot等。

    應(yīng)用領(lǐng)域。均可應(yīng)用到通信協(xié)議、Web應(yīng)用、實(shí)時系統(tǒng)、控制系統(tǒng)、嵌入式系統(tǒng)中,基于模型檢測的方法的應(yīng)用逐漸擴(kuò)大到軟件的開發(fā)設(shè)計(jì)和系統(tǒng)的安全特性驗(yàn)證,但是基于FSM的方法在工業(yè)界中的實(shí)際應(yīng)用較少。

    優(yōu)缺點(diǎn)。基于模型檢測的方法自動化程度高,能夠產(chǎn)生反例,可以減少測試時間、提高測試效率。但在測試用例生成過程中會出現(xiàn)狀態(tài)爆炸問題[8],也有可能產(chǎn)生大量的冗余[9],另外時間的引入也會增加測試模型的復(fù)雜性。基于FSM的方法跟模型檢測一樣也可能產(chǎn)生大量的冗余,不僅如此,使用該方法生成測試用例還需要測試人員具備一定的理論基礎(chǔ),且缺乏通用的工具支持[10];但是基于FSM的方法簡單[11]、敏捷,有成熟的理論基礎(chǔ)。

    3 測試用例自動生成方法的定量比較分析

    本文采用比較實(shí)驗(yàn),一方面,在針對同一個系統(tǒng)、生成同樣數(shù)量(長度)的測試用例條件下,比較兩種方法生成的測試用例的狀態(tài)覆蓋率、遷移覆蓋率、遷移對覆蓋率。另一方面,在針對同一個系統(tǒng)、保證測試覆蓋率相同的情況下,比較兩種方法生成的測試用例的數(shù)量(長度),即在測試成本上的差異。

    3.1 實(shí)驗(yàn)對象及工具選擇

    被測系統(tǒng)的選擇考慮典型實(shí)例,覆蓋狀態(tài)及遷移的類型、有環(huán)/無環(huán)、簡單模型、復(fù)雜模型、真實(shí)模型等,具體模型圖3-7所示。

    圖3 model1簡單模型[10]

    圖4 model2中間模型

    圖5 model3 Web應(yīng)用實(shí)例—招聘信息發(fā)布系統(tǒng)

    圖6 model4 Soft Drink vending machine[13]

    分別選取ModelJunit和UPPAAL[14]作為傳統(tǒng)的基于模型的方法和模型檢測方法的工具代表,ModelJUnit開源工具以圖形化的界面更加直觀的展現(xiàn)狀態(tài)之間的變化,相對于其他工具而言,可以實(shí)現(xiàn)更多類型的覆蓋,可以控制生成測試序列的速度,使用非常方便,可與Eclipse軟件結(jié)合使用。UPPAAL在時間和空間上的性能是比較高[15],而且可以模擬生成不同的測試序列,并控制生成測試序列的速度。

    3.2 實(shí)驗(yàn)過程設(shè)計(jì)

    (1)實(shí)驗(yàn)一:在測試成本相同的情況下,比較測試覆蓋率

    圖7 model5 specialFSMNoLoops—a trichotomous model

    ①輸入被測模型,確定要生成的測試用例的總長度;

    ②在ModelJUnit的測試設(shè)置中輸入已確定的測試用例總長度并選擇隨機(jī)算法,自動生成不同數(shù)目和長度的測試用例;在UPPAAL中使用模擬器,生成測試用例;

    ③利用ModelJUnit自動生成相應(yīng)的測試用例總長度下的覆蓋率;記錄下UPPAAL生成的測試序列所覆蓋的遷移對的數(shù)量以及被測模型中遷移對的總數(shù),通過“覆蓋的遷移對數(shù)目/總的遷移對數(shù)目”來獲取最終的覆蓋率。

    (2)實(shí)驗(yàn)二:在測試覆蓋率相同的情況下,比較測試成本

    ①根據(jù)上述步驟生成測試用例,并得到相應(yīng)的狀態(tài)覆蓋率、遷移覆蓋率以及遷移對覆蓋率;

    ②分別記錄每組實(shí)驗(yàn)中兩類方法具有相同的狀態(tài)覆蓋率、遷移覆蓋率、遷移對覆蓋率時測試用例的個數(shù)及總長度;

    ③根據(jù)所記錄的測試用例個數(shù)和總長度得出測試成本,并對測試成本進(jìn)行比較。

    4 測試用例自動生成方法的定量比較實(shí)驗(yàn)結(jié)果及分析

    采用隨機(jī)方法對被測系統(tǒng)進(jìn)行多次實(shí)驗(yàn),統(tǒng)計(jì)分析兩種方法的結(jié)果,在生成序列的覆蓋率及測試成本方面對兩種工具的結(jié)果進(jìn)行對比。

    (1)實(shí)驗(yàn)一:在測試成本相同的情況下,比較測試覆蓋率

    對5個對象分別進(jìn)行實(shí)驗(yàn),得到如表3-7所示的結(jié)果,經(jīng)分析可知:

    在model1中,當(dāng)測試成本為3.4時,ModelJUnit的狀態(tài)覆蓋率為66.67%、遷移覆蓋率為50%、遷移對覆蓋率為25%,對應(yīng)UPPAAL的分別為100%、66.67%、25%;可以看出UPPAAL的狀態(tài)和遷移覆蓋率都高于ModelJUnit,遷移對覆蓋率與ModelJUnit相等。隨著測試成本的增加,UPPAAL狀態(tài)和遷移覆蓋率依舊高于ModelJUnit,當(dāng)測試成本大于等于8.2時,UPPAAL的遷移覆蓋率也高于ModelJUnit。即在測試成本相同的情況下,UPPAAL的狀態(tài)、遷移以及遷移對覆蓋率都比ModelJUnit高。

    在model5實(shí)驗(yàn)中,因?yàn)槠渲邪臓顟B(tài)及遷移較多,所以達(dá)到全覆蓋的測試成本較高,很難達(dá)到全覆蓋。Model5是ModelJUnit自帶的例子,在測試成本為8.4的時候,ModelJUnit的狀態(tài)、遷移以及遷移對覆蓋率都比UPPAAL高,但是隨著測試成本的增加,ModelJU-nit的狀態(tài)、遷移以及遷移對覆蓋率都低于UPPAAL。

    表3 model1覆蓋率對比結(jié)果

    表4 model2覆蓋率對比結(jié)果

    表5 model3覆蓋率對比結(jié)果

    表6 model4覆蓋率對比結(jié)果

    表7 model5覆蓋率對比結(jié)果

    從model-model5中不同測試成本下所得出的狀態(tài)、遷移以及遷移對覆蓋率的平均值可以看出:除model4中UPPAAL的遷移覆蓋率以及遷移對覆蓋率比ModelJUnit低之外,UPPAAL的狀態(tài)、遷移以及遷移對覆蓋率的平均值都比ModelJUnit高。

    在每個模型的不同測試成本實(shí)驗(yàn)中,當(dāng)測試成本較低時,ModelJUnit有時會比UPPAAL生成測試用例的各種覆蓋率高,可能說明當(dāng)生成的測試用例數(shù)量少且測試用例的長度較短時,ModelJUnit效果更好。當(dāng)生成測試用例的數(shù)量增多及長度增加之后,UPPAAL的效果更好。

    (2)實(shí)驗(yàn)二:在測試覆蓋率相同的情況下,比較測試成本

    如圖8-10所示,由于每個模型的狀態(tài)及遷移數(shù)量不同,所以對每個模型選擇不同狀態(tài)、遷移和遷移對覆蓋率作為標(biāo)準(zhǔn)。每組實(shí)驗(yàn)中,在相同的狀態(tài)覆蓋率以及相同的遷移覆蓋率的情況下,UPPAAL的測試成本小于ModelJUnit;在相同的遷移對覆蓋率的條件下,UPPAAL的測試成本小于ModelJUnit,并且其中UPPAAL生成的的測試用例個數(shù)及測試用例總長度都比ModelJUnit小,說明達(dá)到相同的覆蓋率時UPPAAL所需要生成的測試用例更少且更短,更節(jié)約測試成本。當(dāng)模型的規(guī)模較小時,使用兩種方法的測試成本相差較小,當(dāng)模型比較復(fù)雜時,兩種方法的測試成本差異比較明顯,如model5。

    圖8 覆蓋率相同時的測試成本比較

    圖9 遷移覆蓋率相同時的測試成本比較

    圖10 遷移對覆蓋率相同時的測試成本比較

    在簡單模型model1中,模型檢測方法具有更高的狀態(tài)、遷移以及遷移對覆蓋率,同時更節(jié)約測試成本;在中間模型model2中,傳統(tǒng)的方法的遷移對覆蓋率在測試成本較低時比模型檢測方法略高,除此之外,模型檢測方法具有更高的狀態(tài)和遷移覆蓋率,同時更節(jié)約測試成本;在描述簡單Web功能的model3中,得出的實(shí)驗(yàn)結(jié)果與model1基本一致;在描述簡單嵌入式系統(tǒng)功能的model4中,傳統(tǒng)的方法的遷移與遷移對覆蓋率整體而言比模型檢測方法略高,模型檢測方法具有更高的狀態(tài)覆蓋率,兩類方法的測試成本差異較小;在較為復(fù)雜的model5中,狀態(tài)、遷移和遷移對覆蓋率與生成測試用例的數(shù)目有關(guān),在生成的測試用例數(shù)量極少時,傳統(tǒng)的方法生成測試用例的覆蓋率較高,除此之外,模型檢測方法生成測試用例的覆蓋率更高,整體上模型檢測方法在節(jié)約測試成本方面具有明顯的優(yōu)勢。

    5 結(jié)語

    模型檢測自動化程度高,具有良好的發(fā)展前景,而傳統(tǒng)的方法簡單、通用、具有成熟的理論基礎(chǔ),但兩類方法都存在狀態(tài)爆炸和冗余問題。兩類方法都可以根據(jù)需求生成測試用例,模型檢測方法還可以針對某個特性生成反例;基于FSM的方法出現(xiàn)較早,且目前已經(jīng)具有比較成熟的理論支撐,模型檢測方法雖然出現(xiàn)較晚,但是發(fā)展較快,且目前的應(yīng)用也比較廣泛;兩類方法的應(yīng)用領(lǐng)域都比較廣泛且具有較多的工具支撐,在自動化方面模型檢測方法具有一定的優(yōu)勢;應(yīng)用這兩類方法都可以簡化測試用例生成的過程,但是也存在一定的問題如冗余、狀態(tài)爆炸等。

    就覆蓋率而言,在模型相對較大但測試成本較小時,可以考慮采用基于FSM的方法,其他情況下,模型檢測方法可以得到更高的覆蓋率。就測試成本而言,在隨機(jī)情況下且被測系統(tǒng)規(guī)模較小時,兩類方法的測試成本差別不大,可以根據(jù)其他需求進(jìn)行選擇,但如果系統(tǒng)規(guī)模相對較大,建議選用模型檢測方法以減少測試成本。總之,基于模型檢測的方法是一個可以應(yīng)用和進(jìn)一步研究的測試用例自動生成方案。

    [1]Kolawa,A.H.,Dorota.Automated Defect Prevention:Best Practices in Software Management[M].2007,Wiley-IEEE Computer Society Press.

    [2]Clarke EM,G.O.,Peled D,model checking[M].2001:Cambridge:MIT Press.

    [3]Athor.A Systematic Review of Model Based Testing Tool Support[R]

    [4]John Callahan,F.S.,Steve Easterbrook.Automated Software Testing Using Model-Checking.in SPIN Workshop,1996[C].

    [5]Franco Fummi,G.P.,Andrea Fedeli,Umberto Rossi,Franco Toto.On the Use of a High-Level Fault Model to Check Properties Incompleteness.in 1 st ACM/IEEE International Conference on Formal Methods and Models for Co-Design(MEMOCODE'03).[C].p.145-152.

    [6]Wijesekera,D.,Ammann,Paul,Sun,Lingya,Fraser,Gordon.Relating Counterexamples to Test cases in CTL Model Checking Specifications.in 3rd International Workshop Advances in Model Based Testing,AMOST 2007.July 9,2007-September 12,2007[C].London,United kingdom,Association for Computing Machinery.p.75-84.

    [7]Rushby,J.Formal Methods for Test Case Generation.in SRI International.2011.7[C].US

    [8]Ammann,G.F.F.W.P.,Issues in Using Model Checkers for Test Case Generation[J].Journal of Systems&Software,2009.

    [9]Fraser,G,F(xiàn).Wotawa.Improving Model-Checkers for Software Testing.in Quality Software,2007.QSIC'07.Seventh International Conference on.2007[C].p.25-31.

    [10]劉攀等.基于FSM的測試?yán)碚?、方法及評估[J].計(jì)算機(jī)學(xué)報,2011(06):965-984.

    [11]Santiago,V.,et al.An Environment for Automated Test Case Generation from Statechart-based and Finite State Machine-based Behavioral Models.in Software Testing Verification and Validation Workshop,2008.ICSTW'08.IEEE International Conference on,2008[C].63-72.

    [12]Juristo,N.,A.Moreno,S.Vegas,Reviewing 25 Years of Testing Technique Experiments[J].Empirical Software Engineering,2004.9(1-2):7-44.

    [13]Swain,R.P.,Vikas;Kumar Behera,Prafulla;Prasad Mohapatra,Durga,Automatic Test case Generation From UML State Chart Diagram[J].International Journal of Computer Applications,2012.42(7):26-36.

    [14]Aggarwal,M.and S.Sabharwal.Test Case Generation from UML State Machine Diagram:A Survey.in 2012 3rd International Conference on Computer and Communication Technology,ICCCT 2012.2012[C].Allahabad,UP,India:IEEE Computer Society.p.133-140.

    [15]郭華,莊雷,張習(xí)勇.UPPAAL:一種適合自動驗(yàn)證實(shí)時系統(tǒng)的工具[J].微計(jì)算機(jī)信息,2006(15):52-54+190.

    A Comparison of Methods for Software Test Case Generation Based on Model

    ZHAO He,GAO Wan-ling

    (College of Computer Science,Sichuan University,Chengdu 610064)

    With the increase of scale and complexity of software systems,software test automation is on the agenda,the software test cases generation is an important way to reduce the test cost.It is possible to generate test cases more automatically due to the emergence of model checking techniques and tools.Compares software test case generation approaches based on model checking with the approaches based on Finite State Machine(FSM)model,combines systematic literature review and controlled experimental method to do qualitative and quantitative analysis.Evaluates that the model checking technology has advantages on the degree of automation,flexibility,test coverage and test cost over traditional methods.Using model checking to generate software test cases automatically is a feasible and effective method.

    Software Test Automation;Automatic Test Case Generation;Model-Based Test Case Generation;Model Checking;Finite State Machine

    1007-1423(2017)04-0020-07

    10.3969/j.issn.1007-1423.2017.04.005

    趙鶴(1992-),女,吉林長春人,本科,研究方向?yàn)檐浖|(zhì)量保障與測試

    2016-12-06

    2017-01-20

    高婉玲(1992-),女,河南新鄉(xiāng)人,本科,研究方向?yàn)檐浖|(zhì)量保障與測試

    猜你喜歡
    成本檢測方法
    “不等式”檢測題
    “一元一次不等式”檢測題
    “一元一次不等式組”檢測題
    2021年最新酒駕成本清單
    河南電力(2021年5期)2021-05-29 02:10:00
    溫子仁,你還是適合拍小成本
    電影(2018年12期)2018-12-23 02:18:48
    可能是方法不對
    小波變換在PCB缺陷檢測中的應(yīng)用
    用對方法才能瘦
    Coco薇(2016年2期)2016-03-22 02:42:52
    四大方法 教你不再“坐以待病”!
    Coco薇(2015年1期)2015-08-13 02:47:34
    捕魚
    九色成人免费人妻av| 看黄色毛片网站| 午夜激情福利司机影院| 欧美xxxx黑人xx丫x性爽| 超碰av人人做人人爽久久| 国产一区二区亚洲精品在线观看| 欧美精品国产亚洲| av免费在线看不卡| 国产一区二区在线观看日韩| 国产免费一级a男人的天堂| 成人亚洲精品一区在线观看 | 成人欧美大片| 天堂影院成人在线观看| 成人鲁丝片一二三区免费| 麻豆乱淫一区二区| 亚洲精品日本国产第一区| videossex国产| 日日摸夜夜添夜夜爱| 欧美一区二区亚洲| 一区二区三区四区激情视频| a级毛片免费高清观看在线播放| 一级片'在线观看视频| 九色成人免费人妻av| 少妇的逼好多水| 一边亲一边摸免费视频| 日韩大片免费观看网站| 久久久久久久久久黄片| 色吧在线观看| 亚洲av免费在线观看| 国产黄a三级三级三级人| 狂野欧美激情性xxxx在线观看| 国产成人福利小说| 高清av免费在线| ponron亚洲| 中文资源天堂在线| 99热这里只有是精品在线观看| 国产精品爽爽va在线观看网站| 日韩一本色道免费dvd| 免费人成在线观看视频色| 日韩 亚洲 欧美在线| 亚洲18禁久久av| 午夜福利网站1000一区二区三区| 精品亚洲乱码少妇综合久久| 色播亚洲综合网| 日韩伦理黄色片| .国产精品久久| 午夜福利成人在线免费观看| 久久精品久久精品一区二区三区| 哪个播放器可以免费观看大片| 麻豆成人av视频| 非洲黑人性xxxx精品又粗又长| 淫秽高清视频在线观看| 国产黄色免费在线视频| 高清午夜精品一区二区三区| 精品一区二区三区人妻视频| 欧美三级亚洲精品| 午夜福利在线观看免费完整高清在| 美女脱内裤让男人舔精品视频| 亚洲成人av在线免费| av网站免费在线观看视频 | 最新中文字幕久久久久| 国产av在哪里看| 在线a可以看的网站| 亚洲成色77777| 亚洲国产高清在线一区二区三| 国产男女超爽视频在线观看| 白带黄色成豆腐渣| 人体艺术视频欧美日本| 亚洲成人av在线免费| 一级毛片黄色毛片免费观看视频| 精品不卡国产一区二区三区| 夜夜看夜夜爽夜夜摸| 国内少妇人妻偷人精品xxx网站| 国产永久视频网站| 91午夜精品亚洲一区二区三区| 2022亚洲国产成人精品| 欧美日韩在线观看h| 久久精品国产自在天天线| 亚洲av.av天堂| 天堂√8在线中文| 18禁在线播放成人免费| 最近视频中文字幕2019在线8| 成人漫画全彩无遮挡| 国产综合精华液| 久久精品国产鲁丝片午夜精品| 午夜福利成人在线免费观看| 亚洲精品国产av蜜桃| 欧美 日韩 精品 国产| 国产单亲对白刺激| 午夜精品国产一区二区电影 | 亚洲国产精品专区欧美| 亚洲av男天堂| 午夜激情久久久久久久| 亚洲av成人av| 日本猛色少妇xxxxx猛交久久| 狂野欧美激情性xxxx在线观看| 欧美性感艳星| 欧美zozozo另类| 亚洲高清免费不卡视频| 毛片女人毛片| 最近的中文字幕免费完整| 午夜激情欧美在线| 一级黄片播放器| 成人鲁丝片一二三区免费| 国产在线一区二区三区精| 亚洲精品一区蜜桃| 国产 一区 欧美 日韩| 天堂网av新在线| 亚洲av成人精品一区久久| 麻豆av噜噜一区二区三区| 狂野欧美激情性xxxx在线观看| 久久精品人妻少妇| 日韩在线高清观看一区二区三区| 天堂俺去俺来也www色官网 | 亚洲国产精品专区欧美| 九九在线视频观看精品| videos熟女内射| 毛片女人毛片| 精品久久国产蜜桃| 亚洲熟女精品中文字幕| 成人亚洲欧美一区二区av| 精品久久久噜噜| 色视频www国产| 久久午夜福利片| 大片免费播放器 马上看| 在线 av 中文字幕| 亚洲精品中文字幕在线视频 | 高清欧美精品videossex| 国产中年淑女户外野战色| 午夜福利成人在线免费观看| 国产在视频线在精品| 成人午夜精彩视频在线观看| 岛国毛片在线播放| 在线a可以看的网站| 国产黄色免费在线视频| 国产一区二区在线观看日韩| 久久久久久久久久黄片| 日韩成人av中文字幕在线观看| 美女cb高潮喷水在线观看| 成人鲁丝片一二三区免费| 观看免费一级毛片| 国产伦理片在线播放av一区| 欧美激情久久久久久爽电影| 亚洲欧美精品自产自拍| 午夜福利高清视频| 精品人妻视频免费看| 99热网站在线观看| 国产成人福利小说| 成人午夜高清在线视频| 成年人午夜在线观看视频 | 看黄色毛片网站| 欧美不卡视频在线免费观看| 免费观看av网站的网址| 日韩av在线免费看完整版不卡| 91av网一区二区| 国产黄a三级三级三级人| 男女国产视频网站| 欧美日韩视频高清一区二区三区二| 午夜福利视频精品| 麻豆乱淫一区二区| 成人一区二区视频在线观看| 国产午夜精品论理片| 国产免费福利视频在线观看| 午夜福利在线在线| 成人国产麻豆网| 亚洲最大成人av| 国产亚洲av嫩草精品影院| 亚洲人成网站在线播| 日韩电影二区| 亚洲成人av在线免费| 亚洲精品,欧美精品| 色综合亚洲欧美另类图片| 国产综合精华液| 国产老妇伦熟女老妇高清| 免费看av在线观看网站| 日韩欧美国产在线观看| 久久久久免费精品人妻一区二区| 插逼视频在线观看| 亚洲欧美精品专区久久| 日韩大片免费观看网站| 免费观看性生交大片5| 三级国产精品片| 国产免费又黄又爽又色| 日韩一区二区三区影片| 51国产日韩欧美| 亚洲不卡免费看| 久久久欧美国产精品| 在线a可以看的网站| 国产亚洲5aaaaa淫片| 美女国产视频在线观看| 欧美激情在线99| 欧美丝袜亚洲另类| av线在线观看网站| 十八禁网站网址无遮挡 | 国产精品综合久久久久久久免费| av国产免费在线观看| 狂野欧美激情性xxxx在线观看| 亚洲婷婷狠狠爱综合网| 国产视频内射| 免费观看精品视频网站| 亚洲成人av在线免费| 国产精品一区二区在线观看99 | 亚洲国产欧美人成| 男女视频在线观看网站免费| 亚洲成人久久爱视频| 国产高清三级在线| av天堂中文字幕网| 亚洲国产精品sss在线观看| 色综合亚洲欧美另类图片| 亚洲欧美日韩卡通动漫| 在线免费观看不下载黄p国产| 色尼玛亚洲综合影院| 久久久久久久久久成人| 神马国产精品三级电影在线观看| 国产欧美另类精品又又久久亚洲欧美| 啦啦啦中文免费视频观看日本| 婷婷色av中文字幕| 国产精品人妻久久久久久| 成人毛片60女人毛片免费| 国产精品一区二区三区四区久久| 男女视频在线观看网站免费| 超碰97精品在线观看| 色5月婷婷丁香| 国产精品国产三级专区第一集| 国产精品三级大全| 丰满少妇做爰视频| 丝瓜视频免费看黄片| 国产伦理片在线播放av一区| ponron亚洲| 又粗又硬又长又爽又黄的视频| av国产久精品久网站免费入址| 18禁动态无遮挡网站| 人妻一区二区av| ponron亚洲| 床上黄色一级片| 久久久久九九精品影院| 女的被弄到高潮叫床怎么办| 99久久精品一区二区三区| 欧美区成人在线视频| 久久久久久久久大av| 性插视频无遮挡在线免费观看| 日本三级黄在线观看| 国产精品99久久久久久久久| 亚洲av国产av综合av卡| 欧美精品国产亚洲| 一本一本综合久久| 观看免费一级毛片| 国产av码专区亚洲av| 又大又黄又爽视频免费| 中国国产av一级| 国产人妻一区二区三区在| 精品人妻一区二区三区麻豆| 成人高潮视频无遮挡免费网站| 三级国产精品欧美在线观看| 亚洲一级一片aⅴ在线观看| 丰满少妇做爰视频| 国产久久久一区二区三区| 91狼人影院| 国产亚洲5aaaaa淫片| 97在线视频观看| 简卡轻食公司| 国产免费又黄又爽又色| 大话2 男鬼变身卡| 又粗又硬又长又爽又黄的视频| 精品久久久精品久久久| 极品少妇高潮喷水抽搐| 国产精品1区2区在线观看.| av免费观看日本| 日韩成人av中文字幕在线观看| 亚洲精品456在线播放app| 国产伦一二天堂av在线观看| 91aial.com中文字幕在线观看| 少妇裸体淫交视频免费看高清| 韩国av在线不卡| 国产在线男女| av网站免费在线观看视频 | 大香蕉97超碰在线| 国产一区有黄有色的免费视频 | 亚洲美女视频黄频| av卡一久久| 午夜福利成人在线免费观看| 免费大片黄手机在线观看| 日本wwww免费看| 午夜免费激情av| 国产在视频线在精品| 精品国产一区二区三区久久久樱花 | 欧美人与善性xxx| 精品久久久久久久久亚洲| 久久97久久精品| 精品99又大又爽又粗少妇毛片| 国产美女午夜福利| 欧美成人一区二区免费高清观看| 国产91av在线免费观看| 亚洲色图av天堂| 精品一区二区免费观看| av国产久精品久网站免费入址| 日本一本二区三区精品| 国产精品一区二区性色av| 精品久久久久久久久av| 亚洲人成网站高清观看| 日本黄大片高清| 听说在线观看完整版免费高清| 色视频www国产| 久久久久久久久久成人| av播播在线观看一区| 综合色av麻豆| 欧美 日韩 精品 国产| 久久久久久久久久人人人人人人| 国产精品国产三级国产av玫瑰| 亚洲精品日本国产第一区| 欧美变态另类bdsm刘玥| 国产av在哪里看| 69人妻影院| 99热这里只有精品一区| 全区人妻精品视频| 亚洲国产欧美在线一区| 18禁在线无遮挡免费观看视频| 亚洲天堂国产精品一区在线| 午夜福利在线观看免费完整高清在| 2018国产大陆天天弄谢| 日韩一区二区三区影片| 久久鲁丝午夜福利片| 亚洲综合色惰| 五月天丁香电影| 小蜜桃在线观看免费完整版高清| 2021天堂中文幕一二区在线观| 女人十人毛片免费观看3o分钟| av黄色大香蕉| 22中文网久久字幕| 97在线视频观看| 国产精品久久久久久久久免| 大陆偷拍与自拍| 国产成人福利小说| 啦啦啦啦在线视频资源| 国产精品.久久久| 亚洲真实伦在线观看| 久久久久久久午夜电影| 一级黄片播放器| 不卡视频在线观看欧美| 国产精品福利在线免费观看| 亚洲国产精品专区欧美| 在线 av 中文字幕| 亚洲精品一区蜜桃| 成人高潮视频无遮挡免费网站| 亚洲综合色惰| 在现免费观看毛片| 天堂影院成人在线观看| 三级国产精品欧美在线观看| 国产精品爽爽va在线观看网站| 欧美 日韩 精品 国产| 亚洲经典国产精华液单| 五月玫瑰六月丁香| 免费在线观看成人毛片| 99久久九九国产精品国产免费| 爱豆传媒免费全集在线观看| 在线免费观看不下载黄p国产| 99re6热这里在线精品视频| 亚洲国产精品专区欧美| 能在线免费观看的黄片| 特级一级黄色大片| 国内揄拍国产精品人妻在线| 性色avwww在线观看| 小蜜桃在线观看免费完整版高清| 五月伊人婷婷丁香| 日本欧美国产在线视频| 久久久久免费精品人妻一区二区| 看非洲黑人一级黄片| 欧美xxxx黑人xx丫x性爽| 欧美变态另类bdsm刘玥| 最新中文字幕久久久久| 国产精品熟女久久久久浪| 国产午夜精品论理片| 爱豆传媒免费全集在线观看| 99热这里只有是精品在线观看| 少妇高潮的动态图| 777米奇影视久久| 国产亚洲一区二区精品| h日本视频在线播放| 精品久久久久久久久av| 久久久久久久国产电影| 午夜福利高清视频| av卡一久久| a级一级毛片免费在线观看| 日韩中字成人| 禁无遮挡网站| 亚洲无线观看免费| 亚洲美女视频黄频| 乱系列少妇在线播放| 国内精品一区二区在线观看| 国产精品一区二区三区四区久久| 久久草成人影院| 亚洲欧美一区二区三区黑人 | 国产乱人偷精品视频| 在线观看人妻少妇| 国产 一区 欧美 日韩| 日本三级黄在线观看| 国产美女午夜福利| 能在线免费看毛片的网站| 床上黄色一级片| 国产精品三级大全| 国语对白做爰xxxⅹ性视频网站| 亚洲三级黄色毛片| 国产真实伦视频高清在线观看| 精品久久久精品久久久| 亚洲国产日韩欧美精品在线观看| 亚洲国产精品专区欧美| 非洲黑人性xxxx精品又粗又长| 欧美区成人在线视频| 亚洲av电影在线观看一区二区三区 | 国产亚洲午夜精品一区二区久久 | 久久草成人影院| 寂寞人妻少妇视频99o| 嫩草影院精品99| 99热这里只有精品一区| 只有这里有精品99| 在线观看免费高清a一片| 美女被艹到高潮喷水动态| 国产精品无大码| 99久久精品国产国产毛片| 色5月婷婷丁香| 高清日韩中文字幕在线| 建设人人有责人人尽责人人享有的 | 天堂中文最新版在线下载 | 精品久久久久久久久亚洲| 99久久精品国产国产毛片| 久久精品国产亚洲av涩爱| 国产欧美另类精品又又久久亚洲欧美| 一级av片app| 1000部很黄的大片| 卡戴珊不雅视频在线播放| 免费人成在线观看视频色| 久久久久精品久久久久真实原创| 成年人午夜在线观看视频 | av免费观看日本| 精品欧美国产一区二区三| 99久久九九国产精品国产免费| 亚洲最大成人av| 国产高清三级在线| 免费观看a级毛片全部| 精品人妻熟女av久视频| 亚洲av二区三区四区| 欧美另类一区| 久久久久久久久久久丰满| 亚洲精品久久久久久婷婷小说| 最后的刺客免费高清国语| 不卡视频在线观看欧美| 2018国产大陆天天弄谢| 高清毛片免费看| 国产三级在线视频| 国产精品熟女久久久久浪| 伊人久久精品亚洲午夜| 九色成人免费人妻av| 欧美高清性xxxxhd video| 自拍偷自拍亚洲精品老妇| 亚洲四区av| 黄色日韩在线| 国产综合精华液| 波多野结衣巨乳人妻| 在线免费观看的www视频| 极品教师在线视频| 日韩人妻高清精品专区| 亚洲婷婷狠狠爱综合网| 麻豆成人av视频| 久久精品综合一区二区三区| 18+在线观看网站| 一个人看的www免费观看视频| av一本久久久久| 成人亚洲精品av一区二区| 亚洲激情五月婷婷啪啪| 最后的刺客免费高清国语| 熟妇人妻久久中文字幕3abv| 午夜激情久久久久久久| 亚洲人成网站在线播| 国产黄色免费在线视频| 亚洲av免费高清在线观看| 一个人看的www免费观看视频| 亚洲av一区综合| 成人午夜精彩视频在线观看| 国产精品一及| 特大巨黑吊av在线直播| 午夜福利高清视频| 禁无遮挡网站| 成人亚洲精品一区在线观看 | 晚上一个人看的免费电影| 国产女主播在线喷水免费视频网站 | 97精品久久久久久久久久精品| 亚洲国产高清在线一区二区三| 亚洲欧美日韩卡通动漫| 国产伦理片在线播放av一区| 高清av免费在线| 日本一本二区三区精品| 成人国产麻豆网| 免费看日本二区| av播播在线观看一区| 欧美xxxx性猛交bbbb| 人妻夜夜爽99麻豆av| 禁无遮挡网站| 国产精品1区2区在线观看.| 青青草视频在线视频观看| 国产伦精品一区二区三区四那| 国产 亚洲一区二区三区 | 成人二区视频| 亚洲精品自拍成人| 亚洲国产精品成人久久小说| 成年女人看的毛片在线观看| 亚洲欧美日韩卡通动漫| 搞女人的毛片| 舔av片在线| 成人美女网站在线观看视频| 久久这里只有精品中国| 亚洲精品中文字幕在线视频 | 欧美日韩一区二区视频在线观看视频在线 | 免费av不卡在线播放| 欧美激情在线99| 熟妇人妻久久中文字幕3abv| 我要看日韩黄色一级片| 国产欧美日韩精品一区二区| 亚洲自偷自拍三级| 亚洲在线自拍视频| 久久久久久久久大av| 内地一区二区视频在线| 日本色播在线视频| 国产69精品久久久久777片| 男女边摸边吃奶| 在线免费十八禁| av网站免费在线观看视频 | 久久久a久久爽久久v久久| 精品国产三级普通话版| 久久久久久久大尺度免费视频| 亚洲熟女精品中文字幕| 91精品国产九色| 黄片wwwwww| 欧美 日韩 精品 国产| 国产不卡一卡二| 如何舔出高潮| 美女大奶头视频| 99久国产av精品| 26uuu在线亚洲综合色| 晚上一个人看的免费电影| av国产免费在线观看| 嘟嘟电影网在线观看| 91av网一区二区| 久久久久久久大尺度免费视频| 精华霜和精华液先用哪个| 如何舔出高潮| xxx大片免费视频| 日本黄色片子视频| 国产精品无大码| 99久国产av精品| 婷婷色综合大香蕉| 蜜桃久久精品国产亚洲av| 亚洲国产av新网站| 在线观看人妻少妇| 爱豆传媒免费全集在线观看| 晚上一个人看的免费电影| 少妇丰满av| 亚洲精品乱码久久久v下载方式| 日韩制服骚丝袜av| 国产亚洲av片在线观看秒播厂 | 亚洲国产最新在线播放| 欧美区成人在线视频| 99久国产av精品国产电影| 三级国产精品欧美在线观看| 在线免费十八禁| 国产爱豆传媒在线观看| 亚洲人与动物交配视频| freevideosex欧美| 男人狂女人下面高潮的视频| 哪个播放器可以免费观看大片| 亚洲av电影不卡..在线观看| 日韩制服骚丝袜av| 国产 一区 欧美 日韩| 国产成人精品婷婷| 精品一区二区三卡| 亚洲精品国产成人久久av| 高清视频免费观看一区二区 | 国产午夜精品论理片| 69人妻影院| 一个人看的www免费观看视频| 欧美日韩国产mv在线观看视频 | 99热这里只有是精品在线观看| 欧美日韩在线观看h| 特大巨黑吊av在线直播| 日韩制服骚丝袜av| 天堂网av新在线| 国产国拍精品亚洲av在线观看| 中文字幕av在线有码专区| 少妇裸体淫交视频免费看高清| 伦理电影大哥的女人| 性插视频无遮挡在线免费观看| 一级毛片黄色毛片免费观看视频| 一本一本综合久久| 亚洲精品乱码久久久久久按摩| 亚洲一区高清亚洲精品| 国内揄拍国产精品人妻在线| 天堂影院成人在线观看| 床上黄色一级片| 91狼人影院| 一个人观看的视频www高清免费观看| 插逼视频在线观看| 国产精品一区www在线观看| 人人妻人人澡欧美一区二区| 女的被弄到高潮叫床怎么办| 国产成人91sexporn| 免费人成在线观看视频色| 青春草亚洲视频在线观看| 搞女人的毛片| 午夜福利在线观看吧| 永久免费av网站大全| 建设人人有责人人尽责人人享有的 | 国产精品久久久久久精品电影| 国产免费又黄又爽又色| 国产亚洲午夜精品一区二区久久 | 久久久久国产网址| 性色avwww在线观看|