• <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ì)
    久久亚洲国产成人精品v| 国产极品粉嫩免费观看在线| 高清在线国产一区| 老司机亚洲免费影院| 午夜视频精品福利| 一本一本久久a久久精品综合妖精| 男女下面插进去视频免费观看| 99久久国产精品久久久| 黄片播放在线免费| 亚洲欧美日韩另类电影网站| 两个人免费观看高清视频| 国内毛片毛片毛片毛片毛片| 一区二区av电影网| 亚洲精品av麻豆狂野| 性色av一级| 精品国产一区二区三区四区第35| 亚洲欧美一区二区三区黑人| 性少妇av在线| 一级毛片女人18水好多| 午夜视频精品福利| 国产精品一区二区在线观看99| 亚洲精品日韩在线中文字幕| svipshipincom国产片| 免费日韩欧美在线观看| 国产又爽黄色视频| 国产精品久久久久久人妻精品电影 | 久久国产精品大桥未久av| 亚洲熟女精品中文字幕| 久久青草综合色| 国产精品国产三级国产专区5o| 精品一品国产午夜福利视频| 午夜福利在线观看吧| av又黄又爽大尺度在线免费看| 国产免费一区二区三区四区乱码| 伊人久久大香线蕉亚洲五| 久久久水蜜桃国产精品网| 黄片大片在线免费观看| 国产人伦9x9x在线观看| 午夜两性在线视频| 日韩三级视频一区二区三区| 精品国产一区二区久久| 丁香六月欧美| 嫁个100分男人电影在线观看| 各种免费的搞黄视频| 午夜91福利影院| av线在线观看网站| 精品国产一区二区三区久久久樱花| 18禁黄网站禁片午夜丰满| 啦啦啦在线免费观看视频4| 亚洲精品中文字幕在线视频| 亚洲国产日韩一区二区| 女警被强在线播放| 99久久综合免费| 欧美+亚洲+日韩+国产| 日韩,欧美,国产一区二区三区| 久久99一区二区三区| 首页视频小说图片口味搜索| 色婷婷久久久亚洲欧美| 久久精品熟女亚洲av麻豆精品| 亚洲欧美精品自产自拍| √禁漫天堂资源中文www| 亚洲一区中文字幕在线| 国产淫语在线视频| 男女边摸边吃奶| svipshipincom国产片| 黄色视频在线播放观看不卡| 午夜福利乱码中文字幕| 十八禁人妻一区二区| 精品一区在线观看国产| 妹子高潮喷水视频| 啦啦啦 在线观看视频| 制服诱惑二区| 国产成人a∨麻豆精品| 欧美+亚洲+日韩+国产| 成人免费观看视频高清| e午夜精品久久久久久久| 99久久综合免费| 自线自在国产av| 日韩熟女老妇一区二区性免费视频| 亚洲一卡2卡3卡4卡5卡精品中文| 丝袜美足系列| 欧美在线黄色| 狠狠狠狠99中文字幕| 狂野欧美激情性xxxx| 国产在视频线精品| 丁香六月天网| 亚洲国产欧美一区二区综合| 美女扒开内裤让男人捅视频| 亚洲三区欧美一区| 美女高潮喷水抽搐中文字幕| 在线观看免费午夜福利视频| 欧美乱码精品一区二区三区| av欧美777| 最近最新免费中文字幕在线| 夫妻午夜视频| 婷婷成人精品国产| 久久久水蜜桃国产精品网| 欧美日韩福利视频一区二区| 国产免费视频播放在线视频| av在线老鸭窝| 亚洲精品久久久久久婷婷小说| 中国国产av一级| 国产精品国产三级国产专区5o| 18禁国产床啪视频网站| 久久精品久久久久久噜噜老黄| 一级毛片精品| 天天躁狠狠躁夜夜躁狠狠躁| 这个男人来自地球电影免费观看| 色视频在线一区二区三区| 12—13女人毛片做爰片一| 国产精品九九99| 后天国语完整版免费观看| 两个人看的免费小视频| 国产无遮挡羞羞视频在线观看| 日本精品一区二区三区蜜桃| 99久久精品国产亚洲精品| 搡老熟女国产l中国老女人| 国产在线观看jvid| 亚洲av电影在线进入| 亚洲人成电影观看| 免费久久久久久久精品成人欧美视频| 日日夜夜操网爽| 亚洲专区中文字幕在线| 亚洲国产精品一区二区三区在线| av天堂久久9| 国产精品久久久久久精品古装| 国产在线免费精品| 日韩制服骚丝袜av| a 毛片基地| 国产不卡av网站在线观看| 亚洲美女黄色视频免费看| av国产精品久久久久影院| 老熟妇仑乱视频hdxx| 考比视频在线观看| 三级毛片av免费| 欧美人与性动交α欧美软件| kizo精华| 精品国产一区二区久久| 国产精品99久久99久久久不卡| 1024香蕉在线观看| 日本wwww免费看| 热99国产精品久久久久久7| 欧美黑人精品巨大| 免费观看a级毛片全部| 91精品国产国语对白视频| 涩涩av久久男人的天堂| 亚洲人成电影观看| 人妻人人澡人人爽人人| 国产免费av片在线观看野外av| 日本av免费视频播放| 热re99久久国产66热| 国产在线一区二区三区精| 天天添夜夜摸| www.精华液| 久久久久久免费高清国产稀缺| 日韩熟女老妇一区二区性免费视频| 国产成人欧美在线观看 | 黑人操中国人逼视频| 久久国产精品男人的天堂亚洲| 中国美女看黄片| 免费在线观看日本一区| 久久国产精品男人的天堂亚洲| 亚洲精华国产精华精| 亚洲欧美日韩高清在线视频 | 国产一区二区三区在线臀色熟女 | 久久亚洲国产成人精品v| 久久香蕉激情| 777久久人妻少妇嫩草av网站| 18禁国产床啪视频网站| 欧美黄色淫秽网站| 少妇 在线观看| 久久久久精品人妻al黑| 狂野欧美激情性xxxx| 国产视频一区二区在线看| 亚洲精品粉嫩美女一区| 国产精品亚洲av一区麻豆| 久久久久国产精品人妻一区二区| 日本黄色日本黄色录像| 国产精品免费大片| 日韩制服丝袜自拍偷拍| 欧美在线一区亚洲| 99久久综合免费| 午夜福利乱码中文字幕| 三级毛片av免费| 丝袜脚勾引网站| 国产精品二区激情视频| 自拍欧美九色日韩亚洲蝌蚪91| 亚洲精品一卡2卡三卡4卡5卡 | 高清在线国产一区| 91成人精品电影| av网站免费在线观看视频| 精品少妇久久久久久888优播| 亚洲少妇的诱惑av| 中亚洲国语对白在线视频| 色视频在线一区二区三区| 亚洲av成人不卡在线观看播放网 | 国产一级毛片在线| 亚洲黑人精品在线| 大片免费播放器 马上看| 精品一区二区三卡| 国产欧美日韩综合在线一区二区| www日本在线高清视频| 人妻一区二区av| 久久这里只有精品19| 亚洲一区中文字幕在线| 日韩,欧美,国产一区二区三区| 狂野欧美激情性xxxx| 欧美精品亚洲一区二区| 精品亚洲成a人片在线观看| 男女免费视频国产| 精品高清国产在线一区| kizo精华| 日本撒尿小便嘘嘘汇集6| 侵犯人妻中文字幕一二三四区| 十八禁网站网址无遮挡| 老司机午夜福利在线观看视频 | 久久人人97超碰香蕉20202| 国产成人精品久久二区二区91| 久久热在线av| av欧美777| 操出白浆在线播放| 麻豆乱淫一区二区| 精品久久久久久久毛片微露脸 | 丝袜喷水一区| 久9热在线精品视频| 国产精品熟女久久久久浪| 久久av网站| 99久久精品国产亚洲精品| 国产日韩欧美视频二区| 国产亚洲精品久久久久5区| 亚洲精品国产色婷婷电影| 男女午夜视频在线观看| 欧美成狂野欧美在线观看| 亚洲av成人一区二区三| 捣出白浆h1v1| 精品一区在线观看国产| 亚洲第一av免费看| 久久这里只有精品19| 亚洲熟女毛片儿| 精品国产一区二区三区久久久樱花| av一本久久久久| 99久久人妻综合| 视频在线观看一区二区三区| 99九九在线精品视频| 免费在线观看完整版高清| 成人国产av品久久久| 亚洲伊人色综图| 中国美女看黄片| netflix在线观看网站| 热99久久久久精品小说推荐| 日韩中文字幕视频在线看片| 午夜免费成人在线视频| 欧美人与性动交α欧美精品济南到| 五月天丁香电影| www.av在线官网国产| 黑人猛操日本美女一级片| 国产在线一区二区三区精| 欧美日韩成人在线一区二区| 国产精品久久久久久精品电影小说| 啦啦啦 在线观看视频| 国产精品免费大片| 天天躁狠狠躁夜夜躁狠狠躁| 国产麻豆69| 亚洲欧美激情在线| 男女下面插进去视频免费观看| 免费一级毛片在线播放高清视频 | 最新的欧美精品一区二区| 久久精品国产综合久久久| 亚洲成人国产一区在线观看| 法律面前人人平等表现在哪些方面 | 中亚洲国语对白在线视频| 99九九在线精品视频| 欧美黄色片欧美黄色片| 免费av中文字幕在线| 新久久久久国产一级毛片| 亚洲色图 男人天堂 中文字幕| 成年人午夜在线观看视频| 亚洲中文av在线| 久久久久精品国产欧美久久久 | 亚洲五月婷婷丁香| 欧美日韩精品网址| 日韩视频一区二区在线观看| 欧美日韩亚洲国产一区二区在线观看 | 丰满少妇做爰视频| 人妻 亚洲 视频| 国产欧美日韩一区二区精品| 脱女人内裤的视频| 日本欧美视频一区| 久久精品久久久久久噜噜老黄| 亚洲精品成人av观看孕妇| 成人免费观看视频高清| 日日夜夜操网爽| 精品视频人人做人人爽| 两人在一起打扑克的视频| 侵犯人妻中文字幕一二三四区| 一二三四社区在线视频社区8| 桃花免费在线播放| 妹子高潮喷水视频| 色精品久久人妻99蜜桃| 一本大道久久a久久精品| 中文字幕人妻丝袜一区二区| 亚洲伊人久久精品综合| 欧美日韩av久久| 国产有黄有色有爽视频| av在线播放精品| 另类亚洲欧美激情| 十分钟在线观看高清视频www| 丝袜在线中文字幕| 男女边摸边吃奶| 丰满少妇做爰视频| 啦啦啦 在线观看视频| 亚洲综合色网址| 国产欧美日韩一区二区三区在线| 亚洲天堂av无毛| 在线 av 中文字幕| 黑丝袜美女国产一区| 久久ye,这里只有精品| 国产深夜福利视频在线观看| 国产黄色免费在线视频| 97精品久久久久久久久久精品| 国产精品一区二区在线观看99| www.熟女人妻精品国产| 人妻 亚洲 视频| 精品一区二区三区四区五区乱码| 动漫黄色视频在线观看| 亚洲一区二区三区欧美精品| 亚洲va日本ⅴa欧美va伊人久久 | 国产成人欧美| 国产免费福利视频在线观看| 欧美另类亚洲清纯唯美| 中文字幕精品免费在线观看视频| 亚洲 国产 在线| 久久精品人人爽人人爽视色| 99久久精品国产亚洲精品| 侵犯人妻中文字幕一二三四区| 中文字幕人妻丝袜制服| av国产精品久久久久影院| 久久亚洲精品不卡| 亚洲国产av新网站| 动漫黄色视频在线观看| 精品福利永久在线观看| 九色亚洲精品在线播放| 久久人妻熟女aⅴ| 王馨瑶露胸无遮挡在线观看| 啦啦啦 在线观看视频| 国产男女内射视频| 国产日韩欧美在线精品| 日韩一卡2卡3卡4卡2021年| 亚洲精品中文字幕在线视频| 欧美亚洲 丝袜 人妻 在线| 午夜福利影视在线免费观看| 视频区欧美日本亚洲| 脱女人内裤的视频| 免费在线观看完整版高清| 最新在线观看一区二区三区| 999精品在线视频| 天天操日日干夜夜撸| 热re99久久国产66热| 国产av一区二区精品久久| 欧美一级毛片孕妇| 99国产极品粉嫩在线观看| 男人操女人黄网站| 不卡一级毛片| 日韩大码丰满熟妇| 天堂俺去俺来也www色官网| 欧美精品一区二区大全| 又黄又粗又硬又大视频| 日韩视频一区二区在线观看| 欧美乱码精品一区二区三区| 女性生殖器流出的白浆| 高潮久久久久久久久久久不卡| 他把我摸到了高潮在线观看 | 成人18禁高潮啪啪吃奶动态图| av欧美777| av片东京热男人的天堂| 欧美 日韩 精品 国产| 国产亚洲精品久久久久5区| 一区二区三区四区激情视频| 亚洲av美国av| 看免费av毛片| 亚洲成av片中文字幕在线观看| 美女扒开内裤让男人捅视频| 两个人免费观看高清视频| 爱豆传媒免费全集在线观看| 99国产极品粉嫩在线观看| 亚洲国产av新网站| 999精品在线视频| 免费看十八禁软件| 欧美激情久久久久久爽电影 | 国产男女超爽视频在线观看| 91精品伊人久久大香线蕉| 亚洲av美国av| 国产人伦9x9x在线观看| kizo精华| av天堂久久9| 人妻 亚洲 视频| 欧美另类一区| av欧美777| 一本色道久久久久久精品综合| 国产精品99久久99久久久不卡| 久久中文看片网| 黑人猛操日本美女一级片| 美女午夜性视频免费| 大码成人一级视频| 亚洲国产毛片av蜜桃av| 爱豆传媒免费全集在线观看| 美女午夜性视频免费| 国产成人免费观看mmmm| 女人被躁到高潮嗷嗷叫费观| 视频区图区小说| 婷婷成人精品国产| 亚洲一区二区三区欧美精品| 久久久久久免费高清国产稀缺| 国产福利在线免费观看视频| 多毛熟女@视频| 婷婷成人精品国产| 美女脱内裤让男人舔精品视频| 久久99热这里只频精品6学生| 国产精品麻豆人妻色哟哟久久| 午夜老司机福利片| 女人被躁到高潮嗷嗷叫费观| 久久精品亚洲av国产电影网| 999久久久精品免费观看国产| 亚洲精品久久久久久婷婷小说| 一区二区三区激情视频| a级毛片在线看网站| 色老头精品视频在线观看| 国产有黄有色有爽视频| 女性被躁到高潮视频| 天天添夜夜摸| 国产老妇伦熟女老妇高清| 久久人妻福利社区极品人妻图片| netflix在线观看网站| 国产在线视频一区二区| 黄色a级毛片大全视频| 蜜桃在线观看..| 久久久精品94久久精品| 国产精品二区激情视频| 黄色a级毛片大全视频| 免费黄频网站在线观看国产| av网站在线播放免费| 免费少妇av软件| 黄色片一级片一级黄色片| 男人舔女人的私密视频| 热99re8久久精品国产| 免费黄频网站在线观看国产| 亚洲国产欧美在线一区| 国产在线观看jvid| 欧美大码av| 一区二区日韩欧美中文字幕| 爱豆传媒免费全集在线观看| 国精品久久久久久国模美| 精品第一国产精品| 欧美 日韩 精品 国产| 黄频高清免费视频| 国产片内射在线| 免费在线观看影片大全网站| 亚洲av日韩精品久久久久久密| 青青草视频在线视频观看| 午夜影院在线不卡| 亚洲一区二区三区欧美精品| 久久久久网色| 国产精品.久久久| xxxhd国产人妻xxx| 大香蕉久久网| 黑人欧美特级aaaaaa片| 亚洲久久久国产精品| 9191精品国产免费久久| 亚洲精品粉嫩美女一区| 午夜福利影视在线免费观看| 麻豆av在线久日| 亚洲欧美激情在线| 菩萨蛮人人尽说江南好唐韦庄| 新久久久久国产一级毛片| www.精华液| 热99久久久久精品小说推荐| 免费一级毛片在线播放高清视频 | 欧美老熟妇乱子伦牲交| xxxhd国产人妻xxx| 肉色欧美久久久久久久蜜桃| 老司机在亚洲福利影院| 日韩大码丰满熟妇| 亚洲av成人不卡在线观看播放网 | 久久久久久久大尺度免费视频| 麻豆国产av国片精品| 久久国产精品影院| 两性夫妻黄色片| 日韩欧美国产一区二区入口| 国产区一区二久久| 免费少妇av软件| 精品欧美一区二区三区在线| h视频一区二区三区| 久久午夜综合久久蜜桃| 午夜福利,免费看| 久久99热这里只频精品6学生| 美女高潮到喷水免费观看| 久久精品国产综合久久久| 肉色欧美久久久久久久蜜桃| 韩国高清视频一区二区三区| 亚洲人成电影免费在线| 国产淫语在线视频| 啦啦啦中文免费视频观看日本| 91成年电影在线观看| 又黄又粗又硬又大视频| 国产精品 国内视频| 精品国产超薄肉色丝袜足j| 一区在线观看完整版| 国产成人系列免费观看| 国产亚洲午夜精品一区二区久久| 18禁国产床啪视频网站| 精品国产国语对白av| 亚洲av日韩精品久久久久久密| 亚洲专区字幕在线| 亚洲一码二码三码区别大吗| 精品少妇一区二区三区视频日本电影| 香蕉国产在线看| 色综合欧美亚洲国产小说| 青春草视频在线免费观看| 欧美另类亚洲清纯唯美| 亚洲精品国产av蜜桃| 人人妻人人澡人人看| 悠悠久久av| 久久久久国产一级毛片高清牌| 日韩视频在线欧美| 婷婷丁香在线五月| 一个人免费看片子| 久久久久精品国产欧美久久久 | 嫁个100分男人电影在线观看| 少妇 在线观看| 亚洲欧美一区二区三区黑人| 国产精品一二三区在线看| 免费在线观看黄色视频的| av欧美777| 搡老乐熟女国产| 日韩电影二区| 中国国产av一级| 国产三级黄色录像| av国产精品久久久久影院| 黑丝袜美女国产一区| av免费在线观看网站| 亚洲av国产av综合av卡| 精品亚洲乱码少妇综合久久| 精品久久蜜臀av无| 性色av一级| 亚洲伊人久久精品综合| 欧美在线黄色| 99精品久久久久人妻精品| 97在线人人人人妻| 精品第一国产精品| 精品亚洲成a人片在线观看| 青春草亚洲视频在线观看| 在线精品无人区一区二区三| 搡老乐熟女国产| 亚洲中文av在线| 又黄又粗又硬又大视频| 久久狼人影院| 国产片内射在线| 国产主播在线观看一区二区| 国产亚洲午夜精品一区二区久久| 亚洲精品美女久久久久99蜜臀| 高潮久久久久久久久久久不卡| 亚洲久久久国产精品| 亚洲色图综合在线观看| 天堂中文最新版在线下载| 50天的宝宝边吃奶边哭怎么回事| 十八禁网站网址无遮挡| 国产免费一区二区三区四区乱码| 人妻一区二区av| 一级毛片女人18水好多| 欧美精品人与动牲交sv欧美| 国产欧美日韩一区二区三区在线| 欧美另类一区| 久久av网站| 老司机影院成人| 国产欧美日韩综合在线一区二区| 美女中出高潮动态图| 18禁裸乳无遮挡动漫免费视频| 久久久欧美国产精品| 精品国内亚洲2022精品成人 | bbb黄色大片| 国产又色又爽无遮挡免| 欧美日韩一级在线毛片| 一区二区日韩欧美中文字幕| 国精品久久久久久国模美| 国产成人系列免费观看| svipshipincom国产片| 叶爱在线成人免费视频播放| 成人影院久久| 国产一区二区三区综合在线观看| 久久久久网色| 亚洲av日韩精品久久久久久密| 免费在线观看视频国产中文字幕亚洲 | 免费在线观看完整版高清| 中文字幕高清在线视频| 肉色欧美久久久久久久蜜桃| 亚洲欧美精品综合一区二区三区| 精品国产一区二区久久| 亚洲专区中文字幕在线| 美女扒开内裤让男人捅视频| 国产一区二区三区在线臀色熟女 | 999久久久精品免费观看国产| 久久这里只有精品19| 久久亚洲国产成人精品v| xxxhd国产人妻xxx| av超薄肉色丝袜交足视频| 欧美亚洲日本最大视频资源| 久久久国产成人免费| 日本五十路高清| 色综合欧美亚洲国产小说| 国产日韩欧美在线精品| 亚洲国产精品一区三区| 国产亚洲精品久久久久5区| 搡老乐熟女国产| 精品国产乱码久久久久久男人| 久热爱精品视频在线9|