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

    基于蘊(yùn)含關(guān)系的場(chǎng)景測(cè)試法路徑優(yōu)化方法研究

    2015-06-15 23:15:34嚴(yán)悍等
    現(xiàn)代電子技術(shù) 2015年12期
    關(guān)鍵詞:斷言代價(jià)結(jié)點(diǎn)

    嚴(yán)悍等

    摘 要: 針對(duì)場(chǎng)景測(cè)試法中多場(chǎng)景切換代價(jià)優(yōu)化問(wèn)題,在復(fù)合狀態(tài)分析、邏輯蘊(yùn)含概念基礎(chǔ)上,從測(cè)試場(chǎng)景結(jié)構(gòu)分解的角度,給出狀態(tài)蘊(yùn)含和場(chǎng)景蘊(yùn)含關(guān)系的定義及推論,由場(chǎng)景蘊(yùn)含形成場(chǎng)景蘊(yùn)含圖SIG,然后采用圖論方法求解優(yōu)化路徑。給出系統(tǒng)化處理方法,并與其他方法比較。最后實(shí)例驗(yàn)證該方法的有效性。

    關(guān)鍵字: 場(chǎng)景測(cè)試法; 蘊(yùn)含關(guān)系; 路徑優(yōu)化; 場(chǎng)景蘊(yùn)含圖; 狀態(tài)蘊(yùn)含

    中圖分類(lèi)號(hào): TN911?34; TP311 文獻(xiàn)標(biāo)識(shí)碼: A 文章編號(hào): 1004?373X(2015)12?0118?05

    0 引 言

    場(chǎng)景測(cè)試法[1](Scenario Test)也稱(chēng)為用例測(cè)試法(Use Case Test),是一種軟件黑盒測(cè)試方法,廣泛用于復(fù)雜交互式軟件測(cè)試,尤其適用于嵌入式軟件的分布式測(cè)試。分布式測(cè)試中人員、設(shè)備和測(cè)試對(duì)象都具有特定的地理分布要求,導(dǎo)致測(cè)試場(chǎng)景的構(gòu)建和撤銷(xiāo)代價(jià)較大。如何通過(guò)減少場(chǎng)景數(shù)量、避免重建場(chǎng)景、優(yōu)化場(chǎng)景切換路徑來(lái)減少代價(jià),提高測(cè)試效率,已成為一個(gè)重要且亟待解決的問(wèn)題。場(chǎng)景測(cè)試法依據(jù)測(cè)試需求形成多個(gè)不同測(cè)試場(chǎng)景。測(cè)試實(shí)施中先建立場(chǎng)景、執(zhí)行測(cè)試用例、撤銷(xiāo)場(chǎng)景,再建下一個(gè)場(chǎng)景,如此循環(huán)直到完成所有場(chǎng)景。對(duì)于多場(chǎng)景執(zhí)行次序目前缺乏科學(xué)有效的定義和方法指導(dǎo)。多場(chǎng)景執(zhí)行次序如果選擇不當(dāng),將導(dǎo)致重復(fù)建設(shè)和浪費(fèi)。當(dāng)測(cè)試失敗時(shí)往往需要重建多個(gè)場(chǎng)景后重測(cè),代價(jià)更大。

    Jacobson在文獻(xiàn)[2?3]中提出用例驅(qū)動(dòng)的軟件工程思想,在此基礎(chǔ)上IBM Rational公司在RUP2000中提出場(chǎng)景測(cè)試法。該方法未說(shuō)明多場(chǎng)景執(zhí)行的次序。文獻(xiàn)[4]采用用例行為矩陣度量場(chǎng)景的優(yōu)先級(jí),通過(guò)該優(yōu)先級(jí)對(duì)多個(gè)場(chǎng)景進(jìn)行排序和路徑合并,從而減少測(cè)試代價(jià)。文獻(xiàn)[5]先依據(jù)用例事件流建立事件有向樹(shù),然后對(duì)該樹(shù)進(jìn)行路徑搜索,最后合并子路徑,提高場(chǎng)景重用率。文獻(xiàn)[6]依據(jù)業(yè)務(wù)流選擇部分場(chǎng)景優(yōu)先測(cè)試,減少測(cè)試代價(jià)的同時(shí)保證功能可用性。以上研究大多側(cè)重于測(cè)試場(chǎng)景的行為特征,而忽視場(chǎng)景結(jié)構(gòu)特性。本文通過(guò)研究測(cè)試場(chǎng)景結(jié)構(gòu)、復(fù)合狀態(tài)分析、邏輯蘊(yùn)含概念,通過(guò)狀態(tài)蘊(yùn)含和場(chǎng)景蘊(yùn)含關(guān)系,探索一種新思路來(lái)減少多場(chǎng)景切換代價(jià)。

    1 測(cè)試場(chǎng)景的構(gòu)成與場(chǎng)景蘊(yùn)含

    首先分析場(chǎng)景簡(jiǎn)單切換的問(wèn)題,給出狀態(tài)蘊(yùn)含和場(chǎng)景蘊(yùn)含的關(guān)系。

    1.1 測(cè)試場(chǎng)景的簡(jiǎn)單切換

    在一般場(chǎng)景測(cè)試法中,測(cè)試一個(gè)場(chǎng)景s1前構(gòu)建該場(chǎng)景,測(cè)試完成后需撤銷(xiāo)該場(chǎng)景。場(chǎng)景切換就是撤銷(xiāo)前一個(gè)場(chǎng)景并構(gòu)建下一個(gè)場(chǎng)景的過(guò)程,如圖1所示。

    圖1中假設(shè)場(chǎng)景s1的構(gòu)建代價(jià)為b1,撤銷(xiāo)代價(jià)為d1,場(chǎng)景s2的構(gòu)建代價(jià)為b2,撤銷(xiāo)代價(jià)為d2,那么在由s1切換到s2時(shí),切換代價(jià)可量化為d1+b2,由s2切換到s1時(shí),代價(jià)為d2+b1。這種切換稱(chēng)為簡(jiǎn)單切換。這種切換可能導(dǎo)致重復(fù)構(gòu)建/撤銷(xiāo)。以s1切換到s2為例,如果s1中的部分對(duì)象在s2中也要使用,那么切換時(shí)就額外增加了撤銷(xiāo)和重建的代價(jià)。

    簡(jiǎn)單切換的好處是可在任意兩個(gè)場(chǎng)景之間進(jìn)行切換,缺點(diǎn)是代價(jià)高。

    將場(chǎng)景作為結(jié)點(diǎn),簡(jiǎn)單切換作為有向邊,切換代價(jià)作為邊權(quán)值,就可形成一個(gè)賦權(quán)有向圖,而且該圖是有向完全圖。基于該圖選擇任何路徑都無(wú)法得到優(yōu)化,原因是簡(jiǎn)單切換邊不能表示場(chǎng)景之間內(nèi)在的蘊(yùn)含關(guān)系。

    1.2 場(chǎng)景和狀態(tài)蘊(yùn)含關(guān)系

    定義1:測(cè)試場(chǎng)景。一個(gè)測(cè)試場(chǎng)景s是針對(duì)一個(gè)或幾個(gè)用例的測(cè)試需求,由一組語(yǔ)境對(duì)象組成的執(zhí)行環(huán)境,這些對(duì)象具有特定的類(lèi)型、個(gè)體及其狀態(tài)的要求。場(chǎng)景s的語(yǔ)境對(duì)象的集合記為c(s)。

    圖2表示測(cè)試場(chǎng)景中的語(yǔ)境對(duì)象的性質(zhì)。

    圖2 測(cè)試場(chǎng)景的構(gòu)成

    圖2中一個(gè)測(cè)試場(chǎng)景包含一個(gè)或多個(gè)語(yǔ)境對(duì)象,而且每個(gè)語(yǔ)境對(duì)象都具有類(lèi)型、個(gè)體及其狀態(tài)的限定。語(yǔ)境對(duì)象按類(lèi)別可劃分為:測(cè)試人員、測(cè)試設(shè)備、測(cè)試對(duì)象。其中,測(cè)試對(duì)象可能是一套受測(cè)軟件,或者一組構(gòu)件,或者一組對(duì)象,或者單個(gè)對(duì)象(最簡(jiǎn)單場(chǎng)景)。

    由定義1可知,兩個(gè)測(cè)試場(chǎng)景之間的差別就是其語(yǔ)境對(duì)象之間的差別,即對(duì)象類(lèi)型、對(duì)象個(gè)體及其狀態(tài)的差別。下面分析對(duì)象狀態(tài)之間關(guān)系及其對(duì)測(cè)試用例(test case,下稱(chēng)測(cè)例)執(zhí)行的作用機(jī)制。

    UML狀態(tài)機(jī)定義了一個(gè)對(duì)象的2個(gè)狀態(tài)s1s2之間可能具有子狀態(tài)的復(fù)合關(guān)系。假設(shè)s1是s2的一個(gè)子狀態(tài),若處于s1態(tài)則必處于s2態(tài),反之不然[7]。

    定義2:狀態(tài)蘊(yùn)含。設(shè)一個(gè)語(yǔ)境對(duì)象有狀態(tài)s1和s2,若s1是s2的一個(gè)子狀態(tài),則s1s2有狀態(tài)蘊(yùn)含關(guān)系,記作s1→s2。

    直觀理解,若s1→s2,則s2態(tài)表示較簡(jiǎn)單場(chǎng)景,s1態(tài)較復(fù)雜且具有更多屬性限制要求,即針對(duì)s1態(tài)測(cè)試的判定斷言比針對(duì)s2更多。

    推論1:一個(gè)測(cè)例tc對(duì)s1s2態(tài)分別測(cè)試,有s1→s2,若s2測(cè)試失敗,則s1也失敗,記為fail(tc,s2)→fail(tc,s1)。

    直觀理解,若較簡(jiǎn)單場(chǎng)景測(cè)試失敗,則較復(fù)雜場(chǎng)景也失敗。

    證明,因s1→s2,s1驗(yàn)證需要比s2更多判定斷言,且增加的斷言(記為s1.newAssert)都以合取式出現(xiàn)。假設(shè)s2的斷言為s2.assert,那么s1的斷言式為s2.assert∧s1.newAssert。若s2測(cè)試失敗,則s2.assert為假,此時(shí)s1的斷言式也為假,故s1測(cè)試也失敗,證畢。

    該推論的逆否形式也成立,若s1測(cè)試成功,則s2也成功,記為success(tc,s1)→succss(tc,s2)。

    推論2:一個(gè)測(cè)例tc在s1s2兩個(gè)狀態(tài)分別測(cè)試,且有s1→s2,則應(yīng)先創(chuàng)建s2場(chǎng)景測(cè)試,再切換到s1場(chǎng)景測(cè)試。

    這是推論1的一個(gè)簡(jiǎn)單延伸。先測(cè)試簡(jiǎn)單場(chǎng)景s2,后測(cè)試較復(fù)雜場(chǎng)景s1。若s2測(cè)試成功,再測(cè)試s1。若s2測(cè)試失敗,由推論1知,s1也推定失敗而無(wú)需再切換到更復(fù)雜場(chǎng)景,從而減少代價(jià)。該推論為多場(chǎng)景測(cè)試提供了優(yōu)化依據(jù):從較簡(jiǎn)單到復(fù)雜場(chǎng)景逐步測(cè)試,若測(cè)試成功則進(jìn)入子狀態(tài)來(lái)測(cè)試更復(fù)雜場(chǎng)景,而未撤銷(xiāo)任何語(yǔ)境對(duì)象,直接減少代價(jià);若測(cè)試失敗則可立即斷定從成功場(chǎng)景到失敗場(chǎng)景的新加斷言失敗,范圍小易分析原因,也減少測(cè)試代價(jià)。

    推論3:設(shè)有兩個(gè)不同測(cè)例tc1,tc2,若tc1需測(cè)試狀態(tài)s1,tc2需測(cè)試狀態(tài)s2,且有s1→s2,則只需狀態(tài)s1就能滿(mǎn)足tc1和tc2的測(cè)試要求。

    實(shí)際上,tc2測(cè)試s1與測(cè)試s2具有相同的判定斷言的結(jié)果。

    證明:因tc2針對(duì)s2態(tài)測(cè)試,故tc2僅持有s2的判定斷言s2.assert。而tc1持有斷言為s2.assert∧s1.newAssert。由推理1,success(tc2,s1)→succss(tc2,s2),即tc2測(cè)試s1若成功,則測(cè)試s2也成功。若tc2測(cè)試s1失敗,則其斷言s2.assert判定為假,故此測(cè)試s2也失敗。兩者斷言判定結(jié)果相同,證畢。

    由推論3可能將兩個(gè)測(cè)試場(chǎng)景合并為一個(gè),能同時(shí)滿(mǎn)足多個(gè)測(cè)例需求,減少測(cè)試場(chǎng)景數(shù)量,也就減少測(cè)試代價(jià)。

    1.3 場(chǎng)景蘊(yùn)含關(guān)系

    定義3:場(chǎng)景差。設(shè)s1,s2是2個(gè)測(cè)試場(chǎng)景,場(chǎng)景差是從場(chǎng)景s1切換到s2的語(yǔ)境對(duì)象的差別,記為c(s2)-c(s1)。

    定義4:場(chǎng)景蘊(yùn)含。設(shè)s1,s2是兩個(gè)測(cè)試場(chǎng)景,c(s2)-c(s1)=M,若M=[?],或M非空,且M僅包含新建對(duì)象;或至少一個(gè)語(yǔ)境對(duì)象從場(chǎng)景s1到s2轉(zhuǎn)換為其一個(gè)子狀態(tài),即有狀態(tài)蘊(yùn)涵;前兩種情形兼有,則稱(chēng)場(chǎng)景s2蘊(yùn)含s1,記為s2→s1。

    若c(s1)-c(s2)=[?],表示2個(gè)場(chǎng)景具有相同的對(duì)象類(lèi)別、數(shù)量和狀態(tài),此時(shí)2個(gè)場(chǎng)景s1s2互相蘊(yùn)含,語(yǔ)義上表示從測(cè)試等價(jià)類(lèi)角度看,這2個(gè)場(chǎng)景屬于同一類(lèi)。

    直觀理解,兩個(gè)場(chǎng)景之間的蘊(yùn)含關(guān)系有4種情形:

    (1) 相互蘊(yùn)含;

    (2) 后場(chǎng)s2加入新對(duì)象;

    (3) 后場(chǎng)s2中一個(gè)或多個(gè)語(yǔ)境對(duì)象轉(zhuǎn)入其子狀態(tài),往往添加屬性值或關(guān)聯(lián);

    (4) 情形(2)、(3)并存。

    推論4:場(chǎng)景蘊(yùn)涵關(guān)系是一種偏序關(guān)系。

    證明:

    (1) 自反。對(duì)于任一個(gè)場(chǎng)景s1,s1蘊(yùn)含s1,即s1→s1成立,證明略。

    (2) 反對(duì)稱(chēng)。對(duì)于任意2個(gè)不同場(chǎng)景s1和s2,若s1→s2,則s2→s1不成立。

    證明:反證法,假設(shè)s1→s2成立時(shí),s2→s1也成立,則由定義4可得c(s2)-c(s1)=M,c(s1)-c(s2)=M,則c(s1)=c(s2),s1與s2是相同場(chǎng)景,與前提矛盾,證畢。

    (3) 傳遞性。對(duì)于任意3個(gè)不同場(chǎng)景s1、s2和s3,若s1→s2,s2→s3,則s1→s3。

    證明:由定義4,可得c(s1)-c(s2)=M1,c(s2)-c(s3)=M2,兩式相加,得c(s1)-c(s3)=M1+M2,M1+M2滿(mǎn)足定義4中M的條件(子狀態(tài)的復(fù)合關(guān)系有傳遞性),故s1→s3成立。

    2 路徑優(yōu)化方法

    定義5:場(chǎng)景蘊(yùn)含圖SIG(Scenario Implication Graph)。一個(gè)場(chǎng)景蘊(yùn)含圖G={V,E}是一個(gè)有向圖,其中V是場(chǎng)景集合,E是有向邊集合,若e=∈E,當(dāng)且僅當(dāng)s2→s1且s1≠s2成立。

    場(chǎng)景蘊(yùn)含圖中有向邊表示兩個(gè)場(chǎng)景之間的逆蘊(yùn)含關(guān)系,直觀理解為從較簡(jiǎn)單場(chǎng)景指向較復(fù)雜場(chǎng)景,但圖中取消了自反所導(dǎo)致的自回路。

    推論5:場(chǎng)景蘊(yùn)含圖不存在回路。

    證明:由推論4,場(chǎng)景蘊(yùn)含關(guān)系是一種偏序關(guān)系,在取消自回路的前提下,場(chǎng)景蘊(yùn)含圖是哈斯圖,哈斯圖無(wú)回路[8]。

    推論6:一個(gè)場(chǎng)景蘊(yùn)含圖作為有向無(wú)環(huán)圖,若存在一條哈密爾頓路徑[8](Hamilton Path,簡(jiǎn)稱(chēng)H路徑),則該路徑就是優(yōu)化的場(chǎng)景切換路徑。

    證明:

    (1) 由H路徑定義可知,覆蓋所有場(chǎng)景一次且僅一次;

    (2) H路徑從簡(jiǎn)單場(chǎng)景到復(fù)雜場(chǎng)景,由推論2可知,沿該路徑測(cè)試無(wú)論成功或失敗,場(chǎng)景切換代價(jià)都可控制到最低。

    一個(gè)場(chǎng)景蘊(yùn)含圖不一定存在H路徑。若不連通則不存在H路徑。即便連通也不一定存在H路徑。對(duì)于一個(gè)有向無(wú)環(huán)圖,難以簡(jiǎn)單求解H路徑。文獻(xiàn)[9]給出一種復(fù)雜的求解方法。

    因此本文主張,對(duì)有向無(wú)環(huán)圖先求其最長(zhǎng)路徑,嘗試覆蓋盡可能多的場(chǎng)景結(jié)點(diǎn)。若能覆蓋所有結(jié)點(diǎn)則得到一條H路徑;若不能覆蓋,所得到的最長(zhǎng)路徑也可作為次優(yōu)解。

    推論7:場(chǎng)景蘊(yùn)含圖中存在入度為0的場(chǎng)景結(jié)點(diǎn)。證明略。

    選擇入度為0的一個(gè)或多個(gè)場(chǎng)景作為起始結(jié)點(diǎn),尋求最長(zhǎng)路徑,再判斷處理。

    如果圖中只有一個(gè)入度為0的結(jié)點(diǎn),則作為單源最長(zhǎng)路徑求解;如果有多個(gè)入度為0的結(jié)點(diǎn),則分別作為源結(jié)點(diǎn)求最長(zhǎng)路徑,然后在多條路徑中選擇最長(zhǎng)路徑。

    下面算法是對(duì)無(wú)環(huán)有向圖求單源最長(zhǎng)路徑,采用廣度優(yōu)先搜索。然后找出最長(zhǎng)路徑。算法如下:

    (1) 根據(jù)廣度優(yōu)先算法標(biāo)記每一個(gè)結(jié)點(diǎn)到源結(jié)點(diǎn)的距離并按距離的大小形成隊(duì)列。具體過(guò)程略。

    (2) 從距離最大的結(jié)點(diǎn)開(kāi)始按距離遞減順序搜索父結(jié)點(diǎn),直至到源結(jié)點(diǎn),形成路徑。

    輸入:排序后的場(chǎng)景隊(duì)列,按開(kāi)始場(chǎng)景的距離降序排列;

    輸出:最長(zhǎng)路徑。

    過(guò)程:path(R)

    1. P := [?]

    2. ENQUEUE(P,R.first)

    3. d := R.first.d

    4. for each vertex u in R

    5. d := d-1

    6. if u.d == d && u == P.last.super then

    7. ENQUEUE(P,u)

    8. end if

    9. end for

    10. return P

    3 討論與比較

    對(duì)一個(gè)場(chǎng)景蘊(yùn)含圖G的系統(tǒng)化處理方法如下:

    情形1,不連通。有2種方案可選:

    方案1:子圖分割,形成多個(gè)連通子圖,再分別對(duì)各連通子圖按情形2處理。

    方案2:在圖中添加第2.1節(jié)討論的簡(jiǎn)單切換邊,每條邊添加邊權(quán)值,邊權(quán)值表示切換代價(jià),蘊(yùn)含邊的權(quán)值是新建對(duì)象和轉(zhuǎn)入子狀態(tài)操作的代價(jià),形成一個(gè)賦權(quán)有向圖,再求解貨郎擔(dān)問(wèn)題,即遍歷所有場(chǎng)景一次且僅一次,而且路徑邊權(quán)之和最小。

    情形2,連通。求最長(zhǎng)路徑P,然后在圖G中去掉P中結(jié)點(diǎn)和邊,剩下子圖若連通則繼續(xù)求最長(zhǎng)路徑,若不連通則按情形1的子圖分割處理。

    與其他相關(guān)方法進(jìn)行比較見(jiàn)表1。

    4 實(shí)例驗(yàn)證

    將該方法應(yīng)用于一個(gè)軟件測(cè)試實(shí)例,被測(cè)功能是開(kāi)發(fā)人員持續(xù)上傳新版本移動(dòng)應(yīng)用程序,使移動(dòng)用戶(hù)能持續(xù)更新版本。

    功能需求:對(duì)于一個(gè)移動(dòng)應(yīng)用程序,服務(wù)器僅保留最新版本,包括一個(gè)apk文件,一個(gè)xml文件記錄當(dāng)前版本號(hào)以及版本說(shuō)明。apk的版本號(hào)應(yīng)與xml中版本號(hào)一致。開(kāi)發(fā)人員上傳新版本時(shí),應(yīng)在頁(yè)面上輸入新版本號(hào)及版本說(shuō)明,然后上傳apk文件。頁(yè)面輸入信息將記錄到xml文件中。

    根據(jù)以上功能需求可識(shí)別該測(cè)試的基本流與備選流,描述如表2所示。

    將基本流和備選流組合形成9個(gè)測(cè)試場(chǎng)景,如表3所示。分析場(chǎng)景間蘊(yùn)含關(guān)系,形成場(chǎng)景蘊(yùn)含圖,如圖3所示。為展示清楚,省略一些間接蘊(yùn)含關(guān)系。對(duì)圖3計(jì)算最長(zhǎng)路徑:場(chǎng)景6→場(chǎng)景5→場(chǎng)景7→場(chǎng)景1→場(chǎng)景4→場(chǎng)景8→場(chǎng)景9。該路徑未覆蓋場(chǎng)景3和2。根據(jù)第3節(jié)討論應(yīng)構(gòu)建賦權(quán)有向圖。

    先確定權(quán)值量化規(guī)則如下:

    (1) 添加或修改一個(gè)頁(yè)面屬性權(quán)值為1;

    (2) 打包apk權(quán)值為5;

    (3) 設(shè)置網(wǎng)絡(luò)權(quán)值為3。

    然后構(gòu)建賦權(quán)有向圖,如圖4所示。

    對(duì)圖4再計(jì)算路徑:場(chǎng)景6→場(chǎng)景5→場(chǎng)景7→場(chǎng)景1→場(chǎng)景4→場(chǎng)景8→場(chǎng)景3→場(chǎng)景2→場(chǎng)景9,此路徑邊權(quán)和為37。若9個(gè)場(chǎng)景簡(jiǎn)單隨機(jī)選擇,經(jīng)計(jì)算其平均邊權(quán)和為106。此實(shí)例的優(yōu)化率為[106-37106]=65%。采用文獻(xiàn)[5]的優(yōu)化率為44%。

    5 結(jié) 語(yǔ)

    本文從測(cè)試場(chǎng)景的結(jié)構(gòu)特征的角度,定義了場(chǎng)景蘊(yùn)含關(guān)系,基于蘊(yùn)含關(guān)系提出一種多場(chǎng)景測(cè)試路徑優(yōu)化方法,并給出針對(duì)場(chǎng)景蘊(yùn)含圖SIG的系統(tǒng)化解決方法。該方法適用于多場(chǎng)景測(cè)試,尤其是場(chǎng)景切換代價(jià)較大的嵌入式分布式系統(tǒng)測(cè)試。

    參考文獻(xiàn)

    [1] 杜慶峰.高級(jí)軟件測(cè)試技術(shù)[M].北京:清華大學(xué)出版社,2011.

    [2] JACOBSON I. Object oriented software engineering: a use case driven approach [M]. USA: ACM Press, 1992.

    [3] JACOBSON I. Basic use?case modeling [J]. The Road to the Unified Software Development Process, 2000, 18: 167?172.

    [4] KIM Y, CARLSON C R. Scenario based integration testing for object?oriented software development [C]// Proceedings of 1999 Eighth Asian Test Symposium. [S.l.]: IEEE, 1999: 283?288.

    [5] 潘建勇,陳邦興.基于場(chǎng)景的測(cè)試用例設(shè)計(jì)方法研究[J].通信技術(shù),2012,44(12):77?80.

    [6] 劉春玲,雷海紅.基于場(chǎng)景的信息系統(tǒng)黑盒測(cè)試方法[J].信息與電子工程,2012,10(4):509?512.

    [7] 劉佳,尹治本.基于對(duì)象狀態(tài)的面向?qū)ο筌浖y(cè)試方法研究[J].電腦知識(shí)與技術(shù),2008,4(35):2169?2170.

    [8] 方世昌.離散數(shù)學(xué)[M].北京:高等教育出版社,2000.

    [9] ADLEMAN L M. Molecular computation of solutions to combinatorial problems [J]. Science?AAAS?Weekly Paper, 1994, 266(5187): 1021?1023.

    猜你喜歡
    斷言代價(jià)結(jié)點(diǎn)
    von Neumann 代數(shù)上保持混合三重η-*-積的非線性映射
    C3-和C4-臨界連通圖的結(jié)構(gòu)
    特征為2的素*-代數(shù)上強(qiáng)保持2-新積
    Top Republic of Korea's animal rights group slammed for destroying dogs
    Ladyzhenskaya流體力學(xué)方程組的確定模與確定結(jié)點(diǎn)個(gè)數(shù)估計(jì)
    愛(ài)的代價(jià)
    海峽姐妹(2017年12期)2018-01-31 02:12:22
    代價(jià)
    成熟的代價(jià)
    基于Raspberry PI為結(jié)點(diǎn)的天氣云測(cè)量網(wǎng)絡(luò)實(shí)現(xiàn)
    基于DHT全分布式P2P-SIP網(wǎng)絡(luò)電話(huà)穩(wěn)定性研究與設(shè)計(jì)
    如何舔出高潮| 午夜福利视频在线观看免费| 亚洲国产毛片av蜜桃av| 久久久久国产网址| 一级,二级,三级黄色视频| 日本wwww免费看| 9色porny在线观看| 久久精品夜色国产| 一区福利在线观看| 黑丝袜美女国产一区| 欧美人与性动交α欧美精品济南到 | www.熟女人妻精品国产| 一级毛片我不卡| 三上悠亚av全集在线观看| 久久亚洲国产成人精品v| 国产成人精品无人区| 99热网站在线观看| 午夜日韩欧美国产| 久久人人97超碰香蕉20202| 亚洲成av片中文字幕在线观看 | 久久国内精品自在自线图片| 高清在线视频一区二区三区| 人人妻人人爽人人添夜夜欢视频| 亚洲av中文av极速乱| 各种免费的搞黄视频| 亚洲精品av麻豆狂野| 韩国av在线不卡| 亚洲精品久久成人aⅴ小说| 中文字幕另类日韩欧美亚洲嫩草| 国产成人91sexporn| 日日摸夜夜添夜夜爱| 国产精品国产三级国产专区5o| 精品国产一区二区三区四区第35| 天堂中文最新版在线下载| av免费观看日本| 久久久精品94久久精品| 水蜜桃什么品种好| 美女午夜性视频免费| 99国产精品免费福利视频| 成人免费观看视频高清| 日本免费在线观看一区| 青草久久国产| 久久这里只有精品19| 综合色丁香网| 另类精品久久| 日韩,欧美,国产一区二区三区| av在线观看视频网站免费| 菩萨蛮人人尽说江南好唐韦庄| 中文字幕av电影在线播放| 超碰成人久久| 午夜日韩欧美国产| 性色av一级| 国产野战对白在线观看| 国产av码专区亚洲av| 亚洲精品日韩在线中文字幕| 亚洲av男天堂| 人妻人人澡人人爽人人| 久久久久久免费高清国产稀缺| 国产爽快片一区二区三区| 在线天堂中文资源库| 最近中文字幕2019免费版| 看免费成人av毛片| www.自偷自拍.com| 久久99热这里只频精品6学生| 久久久久久久久免费视频了| 人妻少妇偷人精品九色| 丰满饥渴人妻一区二区三| 建设人人有责人人尽责人人享有的| 18禁观看日本| 巨乳人妻的诱惑在线观看| 亚洲国产精品国产精品| 麻豆乱淫一区二区| 久久青草综合色| 性少妇av在线| 亚洲第一区二区三区不卡| 国产深夜福利视频在线观看| 日本wwww免费看| 国产精品成人在线| 精品久久久久久电影网| 日韩欧美精品免费久久| 中文字幕亚洲精品专区| 18+在线观看网站| 亚洲精品久久久久久婷婷小说| 人人妻人人澡人人看| 国产精品免费大片| 我要看黄色一级片免费的| 日本爱情动作片www.在线观看| 国产不卡av网站在线观看| 丝瓜视频免费看黄片| 黄色视频在线播放观看不卡| 9色porny在线观看| 大陆偷拍与自拍| 国产又色又爽无遮挡免| 日本91视频免费播放| 久久人人爽人人片av| 亚洲欧美精品综合一区二区三区 | 精品少妇内射三级| 国产精品99久久99久久久不卡 | 美女xxoo啪啪120秒动态图| 黄色视频在线播放观看不卡| 一个人免费看片子| 伦精品一区二区三区| 99香蕉大伊视频| 国产精品 欧美亚洲| 精品少妇内射三级| 国产精品麻豆人妻色哟哟久久| 捣出白浆h1v1| av网站免费在线观看视频| 男女国产视频网站| 亚洲欧美中文字幕日韩二区| 丝袜在线中文字幕| 久久女婷五月综合色啪小说| 丝袜人妻中文字幕| 久久久久久久精品精品| 黄网站色视频无遮挡免费观看| 人人妻人人爽人人添夜夜欢视频| 国产极品天堂在线| 99热网站在线观看| 人妻少妇偷人精品九色| 亚洲国产毛片av蜜桃av| 婷婷色麻豆天堂久久| 亚洲精品乱久久久久久| 我的亚洲天堂| 日韩制服丝袜自拍偷拍| 久久av网站| 日本午夜av视频| 青春草亚洲视频在线观看| 亚洲av免费高清在线观看| 日韩精品免费视频一区二区三区| 亚洲成人av在线免费| 一区二区三区精品91| 中文字幕av电影在线播放| 激情视频va一区二区三区| 欧美人与善性xxx| 街头女战士在线观看网站| 国产男女内射视频| 国产亚洲一区二区精品| 考比视频在线观看| 国产福利在线免费观看视频| 天堂8中文在线网| 777久久人妻少妇嫩草av网站| 人妻一区二区av| 久久久久久久久久久久大奶| 精品久久蜜臀av无| 少妇熟女欧美另类| 男人添女人高潮全过程视频| 国产精品偷伦视频观看了| 欧美国产精品一级二级三级| 99久久精品国产国产毛片| h视频一区二区三区| 中文字幕另类日韩欧美亚洲嫩草| 观看av在线不卡| 好男人视频免费观看在线| 美女视频免费永久观看网站| 欧美日韩综合久久久久久| 日韩中字成人| 成人漫画全彩无遮挡| 纯流量卡能插随身wifi吗| 亚洲第一青青草原| 免费观看av网站的网址| 亚洲av男天堂| 99久久综合免费| 亚洲第一av免费看| 大陆偷拍与自拍| 亚洲综合色网址| 久久国内精品自在自线图片| 一级爰片在线观看| 大香蕉久久成人网| 天堂8中文在线网| 老熟女久久久| 看十八女毛片水多多多| 免费在线观看黄色视频的| 欧美 亚洲 国产 日韩一| 91成人精品电影| 成人免费观看视频高清| av又黄又爽大尺度在线免费看| 亚洲精品国产av成人精品| 热99久久久久精品小说推荐| 男女啪啪激烈高潮av片| 日韩大片免费观看网站| 黄网站色视频无遮挡免费观看| 热99久久久久精品小说推荐| 视频区图区小说| 天美传媒精品一区二区| 一级黄片播放器| 国产精品二区激情视频| 国产熟女午夜一区二区三区| 一区二区三区乱码不卡18| 亚洲国产精品国产精品| 国产成人精品在线电影| 日韩三级伦理在线观看| 超碰成人久久| 日本黄色日本黄色录像| 国产免费福利视频在线观看| 国产在线免费精品| 咕卡用的链子| 国产免费一区二区三区四区乱码| 人人妻人人添人人爽欧美一区卜| 亚洲国产精品一区三区| 啦啦啦在线免费观看视频4| 免费久久久久久久精品成人欧美视频| 9191精品国产免费久久| 夜夜骑夜夜射夜夜干| 欧美日韩精品网址| 在线免费观看不下载黄p国产| 欧美亚洲日本最大视频资源| 欧美变态另类bdsm刘玥| 国产成人精品在线电影| 欧美亚洲 丝袜 人妻 在线| 国产精品一二三区在线看| 黄色毛片三级朝国网站| 久久午夜综合久久蜜桃| 亚洲国产精品一区三区| 老司机影院成人| 另类精品久久| 日本欧美视频一区| 高清视频免费观看一区二区| 亚洲伊人久久精品综合| 国产精品久久久久成人av| 日日啪夜夜爽| 国产精品偷伦视频观看了| 搡老乐熟女国产| 男的添女的下面高潮视频| 亚洲成国产人片在线观看| a 毛片基地| 国产精品.久久久| 久久这里只有精品19| 大片电影免费在线观看免费| 欧美成人午夜免费资源| 丝袜美腿诱惑在线| 久久热在线av| 在线亚洲精品国产二区图片欧美| 精品少妇黑人巨大在线播放| 一边亲一边摸免费视频| 免费黄色在线免费观看| 国产有黄有色有爽视频| 欧美精品国产亚洲| 久久久久久人妻| 国产在线视频一区二区| 国产国语露脸激情在线看| 久久精品夜色国产| 免费在线观看完整版高清| 国产黄色免费在线视频| 又黄又粗又硬又大视频| 美女中出高潮动态图| 视频区图区小说| 人妻人人澡人人爽人人| 波多野结衣av一区二区av| 免费观看a级毛片全部| av在线播放精品| 国产xxxxx性猛交| 电影成人av| 黑人猛操日本美女一级片| 少妇熟女欧美另类| 日韩欧美一区视频在线观看| 欧美精品一区二区免费开放| 老司机亚洲免费影院| 久久婷婷青草| 少妇人妻久久综合中文| 一级a爱视频在线免费观看| 亚洲经典国产精华液单| av又黄又爽大尺度在线免费看| 欧美精品亚洲一区二区| 精品国产一区二区三区久久久樱花| 亚洲国产欧美在线一区| 18禁观看日本| 满18在线观看网站| 午夜福利视频精品| 成年女人在线观看亚洲视频| 欧美精品一区二区大全| 久久午夜福利片| 男人舔女人的私密视频| 青草久久国产| 精品久久久精品久久久| 久久精品人人爽人人爽视色| 大码成人一级视频| 亚洲美女搞黄在线观看| 国产高清不卡午夜福利| 自拍欧美九色日韩亚洲蝌蚪91| 9色porny在线观看| 在线观看人妻少妇| 日韩不卡一区二区三区视频在线| 午夜老司机福利剧场| 91精品三级在线观看| 国产麻豆69| 热re99久久精品国产66热6| 黄色配什么色好看| 日本vs欧美在线观看视频| 超碰97精品在线观看| 女性生殖器流出的白浆| 久久影院123| 九九爱精品视频在线观看| 街头女战士在线观看网站| 亚洲成人手机| 中文字幕人妻丝袜一区二区 | 91国产中文字幕| 日日爽夜夜爽网站| 久久久久精品人妻al黑| 少妇人妻久久综合中文| 纯流量卡能插随身wifi吗| 最近中文字幕2019免费版| 看免费av毛片| 久久久久久久亚洲中文字幕| 日韩一本色道免费dvd| 热99国产精品久久久久久7| 欧美变态另类bdsm刘玥| 国产精品三级大全| 欧美 日韩 精品 国产| 国产精品偷伦视频观看了| 一二三四中文在线观看免费高清| 欧美黄色片欧美黄色片| 日韩一卡2卡3卡4卡2021年| 国产日韩一区二区三区精品不卡| 亚洲国产看品久久| 亚洲av欧美aⅴ国产| videossex国产| 久久狼人影院| 丝袜美腿诱惑在线| 欧美精品av麻豆av| 成年动漫av网址| 亚洲色图 男人天堂 中文字幕| 久久青草综合色| 一本一本久久a久久精品综合妖精 国产伦在线观看视频一区 | 色播在线永久视频| 人妻 亚洲 视频| 大码成人一级视频| 国产精品久久久久久精品古装| 欧美日本中文国产一区发布| 国产亚洲欧美精品永久| 国产精品国产三级国产专区5o| 交换朋友夫妻互换小说| 美女福利国产在线| 欧美日本中文国产一区发布| 日韩av免费高清视频| 在线观看一区二区三区激情| 亚洲美女黄色视频免费看| 欧美精品亚洲一区二区| 国产男女超爽视频在线观看| 欧美少妇被猛烈插入视频| 日韩精品免费视频一区二区三区| 日本午夜av视频| 婷婷成人精品国产| 精品国产露脸久久av麻豆| videossex国产| 久久婷婷青草| 午夜久久久在线观看| 婷婷色av中文字幕| 免费高清在线观看视频在线观看| 亚洲国产精品一区三区| 王馨瑶露胸无遮挡在线观看| 美女视频免费永久观看网站| 有码 亚洲区| 国产老妇伦熟女老妇高清| 久久人人爽人人片av| 中文字幕人妻丝袜一区二区 | 七月丁香在线播放| 99久久综合免费| 国产免费现黄频在线看| 中文字幕最新亚洲高清| 欧美变态另类bdsm刘玥| 可以免费在线观看a视频的电影网站 | 曰老女人黄片| 大香蕉久久网| 啦啦啦中文免费视频观看日本| 巨乳人妻的诱惑在线观看| 在线观看三级黄色| 中文字幕制服av| 一区在线观看完整版| 人妻少妇偷人精品九色| 国产精品.久久久| 91成人精品电影| 亚洲国产av影院在线观看| 999精品在线视频| 纵有疾风起免费观看全集完整版| 亚洲av免费高清在线观看| 久久精品熟女亚洲av麻豆精品| 80岁老熟妇乱子伦牲交| 久久国内精品自在自线图片| 老司机影院成人| 久热这里只有精品99| 日韩伦理黄色片| 大片免费播放器 马上看| 国产在视频线精品| 精品99又大又爽又粗少妇毛片| 黄频高清免费视频| 亚洲精品乱久久久久久| 毛片一级片免费看久久久久| 狠狠精品人妻久久久久久综合| 亚洲,欧美,日韩| 国产熟女午夜一区二区三区| 一本大道久久a久久精品| 欧美 日韩 精品 国产| 久久这里有精品视频免费| 日韩熟女老妇一区二区性免费视频| 91aial.com中文字幕在线观看| 日日摸夜夜添夜夜爱| 亚洲国产成人一精品久久久| 丝袜喷水一区| 国产探花极品一区二区| 99精国产麻豆久久婷婷| 久久久久视频综合| 亚洲精品av麻豆狂野| 国产乱人偷精品视频| 午夜免费男女啪啪视频观看| 老鸭窝网址在线观看| 搡老乐熟女国产| 97精品久久久久久久久久精品| 免费高清在线观看日韩| 国产亚洲午夜精品一区二区久久| 国产精品久久久久久精品电影小说| 久久久欧美国产精品| 99热国产这里只有精品6| 国产1区2区3区精品| 国产精品久久久av美女十八| 亚洲国产精品一区二区三区在线| 2018国产大陆天天弄谢| 欧美 亚洲 国产 日韩一| 天天影视国产精品| 久久狼人影院| 观看av在线不卡| 高清不卡的av网站| 狠狠精品人妻久久久久久综合| 午夜免费男女啪啪视频观看| 一本—道久久a久久精品蜜桃钙片| 一区二区三区乱码不卡18| av在线老鸭窝| 99精国产麻豆久久婷婷| 国精品久久久久久国模美| 中文字幕制服av| 在线天堂最新版资源| 丰满迷人的少妇在线观看| 黄色 视频免费看| 女性生殖器流出的白浆| 丰满迷人的少妇在线观看| 18禁动态无遮挡网站| 女性生殖器流出的白浆| 精品久久久久久电影网| 亚洲成人一二三区av| 亚洲人成77777在线视频| av福利片在线| 精品少妇一区二区三区视频日本电影 | 丁香六月天网| 精品人妻偷拍中文字幕| 五月天丁香电影| 国产xxxxx性猛交| 街头女战士在线观看网站| 免费日韩欧美在线观看| 少妇被粗大的猛进出69影院| 日本av免费视频播放| av女优亚洲男人天堂| 欧美激情 高清一区二区三区| 香蕉国产在线看| 色视频在线一区二区三区| 如何舔出高潮| 亚洲久久久国产精品| 亚洲精品乱久久久久久| 久热久热在线精品观看| 欧美最新免费一区二区三区| 一级毛片 在线播放| 色婷婷久久久亚洲欧美| 亚洲精华国产精华液的使用体验| 狠狠婷婷综合久久久久久88av| 啦啦啦在线观看免费高清www| 日韩中文字幕欧美一区二区 | 国产成人免费观看mmmm| 性色avwww在线观看| videos熟女内射| 亚洲欧美一区二区三区黑人 | 久久久久久久国产电影| 叶爱在线成人免费视频播放| 久久精品久久精品一区二区三区| 久久人人爽人人片av| 久久毛片免费看一区二区三区| 亚洲av中文av极速乱| 亚洲,一卡二卡三卡| 女的被弄到高潮叫床怎么办| 1024视频免费在线观看| 搡老乐熟女国产| 久久久久久人妻| 日韩电影二区| 亚洲内射少妇av| 中文乱码字字幕精品一区二区三区| 国产不卡av网站在线观看| 欧美精品人与动牲交sv欧美| 精品国产国语对白av| 免费少妇av软件| 1024视频免费在线观看| 黄片播放在线免费| 成年女人在线观看亚洲视频| 汤姆久久久久久久影院中文字幕| 免费观看性生交大片5| 一区二区日韩欧美中文字幕| 免费在线观看黄色视频的| 美国免费a级毛片| 男人舔女人的私密视频| 国产在线视频一区二区| 国产成人免费观看mmmm| 又黄又粗又硬又大视频| 久久女婷五月综合色啪小说| 国产激情久久老熟女| 国产一级毛片在线| 亚洲人成77777在线视频| 亚洲精品国产一区二区精华液| 丰满饥渴人妻一区二区三| 久久99一区二区三区| 一本大道久久a久久精品| 国产精品麻豆人妻色哟哟久久| 男的添女的下面高潮视频| 99久久精品国产国产毛片| 蜜桃在线观看..| 婷婷色综合大香蕉| 建设人人有责人人尽责人人享有的| 99国产精品免费福利视频| 中文字幕人妻熟女乱码| 亚洲国产精品成人久久小说| 成人毛片60女人毛片免费| 久久 成人 亚洲| 久久久a久久爽久久v久久| 久久99精品国语久久久| 色播在线永久视频| 男女无遮挡免费网站观看| 日韩av免费高清视频| 三上悠亚av全集在线观看| 免费观看av网站的网址| 亚洲精品国产av成人精品| 欧美激情极品国产一区二区三区| 精品第一国产精品| 日日啪夜夜爽| 欧美日韩视频精品一区| 亚洲成人一二三区av| 成人毛片60女人毛片免费| 国产男人的电影天堂91| 国产精品久久久av美女十八| 中文欧美无线码| 999精品在线视频| 中文字幕另类日韩欧美亚洲嫩草| 天堂8中文在线网| 亚洲第一青青草原| 99热网站在线观看| 狂野欧美激情性bbbbbb| 精品福利永久在线观看| 人人妻人人添人人爽欧美一区卜| 一级爰片在线观看| 桃花免费在线播放| 黄网站色视频无遮挡免费观看| 国产精品av久久久久免费| 国产男女内射视频| 妹子高潮喷水视频| 在线看a的网站| 丝袜脚勾引网站| 在线天堂中文资源库| 亚洲精品,欧美精品| 国产精品一二三区在线看| 在线观看免费日韩欧美大片| 日本91视频免费播放| xxx大片免费视频| 久久久久国产网址| 久久 成人 亚洲| 男女边摸边吃奶| 久久久久国产精品人妻一区二区| 性少妇av在线| 新久久久久国产一级毛片| 黄片播放在线免费| 久久亚洲国产成人精品v| 黄色毛片三级朝国网站| 老鸭窝网址在线观看| 亚洲五月色婷婷综合| 十分钟在线观看高清视频www| 久久精品国产鲁丝片午夜精品| 青春草亚洲视频在线观看| 久久精品国产亚洲av涩爱| 美女国产高潮福利片在线看| 久久99一区二区三区| 男人舔女人的私密视频| 亚洲av.av天堂| 免费在线观看完整版高清| 亚洲综合色网址| 看十八女毛片水多多多| 午夜日韩欧美国产| 久久精品亚洲av国产电影网| 国产精品久久久av美女十八| 欧美精品国产亚洲| 久久精品人人爽人人爽视色| 夜夜骑夜夜射夜夜干| 五月伊人婷婷丁香| 飞空精品影院首页| www.熟女人妻精品国产| 精品国产一区二区三区久久久樱花| 美国免费a级毛片| 国产熟女午夜一区二区三区| 亚洲美女搞黄在线观看| 成人漫画全彩无遮挡| 成年女人在线观看亚洲视频| 久久久久国产一级毛片高清牌| 秋霞伦理黄片| 观看美女的网站| 欧美最新免费一区二区三区| av一本久久久久| 乱人伦中国视频| 一级片'在线观看视频| 精品亚洲乱码少妇综合久久| 一级片免费观看大全| 亚洲国产成人一精品久久久| 1024视频免费在线观看| 天堂俺去俺来也www色官网| 一级片'在线观看视频| 亚洲人成77777在线视频| 美国免费a级毛片| 日本色播在线视频| 一区福利在线观看| 黑人欧美特级aaaaaa片| 免费女性裸体啪啪无遮挡网站| 久久久久网色| 国产麻豆69| 国产亚洲精品第一综合不卡|