MBT在移動(dòng)APP測(cè)試中的應(yīng)用

MBT在移動(dòng)APP測(cè)試中的應(yīng)用議題1.

移動(dòng)APP測(cè)試的挑戰(zhàn)2.

MBT的引入3.

MBT實(shí)戰(zhàn)—建模：使用FSM對(duì)移動(dòng)APP建?！?guī)則：設(shè)立用例規(guī)則以及執(zhí)行模型4.

下一步展望移動(dòng)APP測(cè)試當(dāng)前的挑戰(zhàn)p兼容性Android的設(shè)備款式已達(dá)幾千3穩(wěn)定性移動(dòng)APP長(zhǎng)時(shí)間運(yùn)行的穩(wěn)定性，存在考驗(yàn)2崩潰閃退客戶不可接受款之多，不同的廠商都基于原生Adnroid做了定制化開發(fā)，兼容性測(cè)試在Android下存在切膚之痛。14兼容性尤其在Android系統(tǒng)測(cè)試效率具體體現(xiàn)在兼容性測(cè)試、功能測(cè)試上p崩潰閃退移動(dòng)APP運(yùn)行一段時(shí)間p穩(wěn)定性移動(dòng)APP常出現(xiàn)一些長(zhǎng)時(shí)間的運(yùn)行錯(cuò)誤p測(cè)試效率移動(dòng)APP在多機(jī)型上測(cè)試，效率低下曾經(jīng)的解決方案自動(dòng)化測(cè)試ab基于appium開展APP自動(dòng)化測(cè)試通過(guò)自動(dòng)化測(cè)試進(jìn)行兼容性de測(cè)試加強(qiáng)易崩潰點(diǎn)測(cè)試網(wǎng)絡(luò)環(huán)境突變基于APPIUM，開展自動(dòng)化測(cè)試，并在多機(jī)型上運(yùn)行不同視圖模式內(nèi)存不足載荷測(cè)試...借助商業(yè)測(cè)試公司的能力不能保證所有的缺陷挖掘完，心里沒(méi)底穩(wěn)定性測(cè)試自動(dòng)化

c開發(fā)自動(dòng)化測(cè)試腳本，覆蓋主要操作類型，7*24小時(shí)運(yùn)行仍然存在的問(wèn)題穩(wěn)定性測(cè)試崩潰類問(wèn)題分析友盟日志，崩潰類問(wèn)題以及功能性問(wèn)題仍存在，存在漏網(wǎng)之魚覆蓋的操作類型，不夠全面，隨機(jī)性不夠，在既定的時(shí)間內(nèi)，沒(méi)辦法覆蓋所有的操作組合自動(dòng)化測(cè)試不具備智能性測(cè)試點(diǎn)人為控制，單一議題1.

移動(dòng)APP測(cè)試的挑戰(zhàn)2.

MBT的引入3.

MBT實(shí)戰(zhàn)—建模：使用FSM對(duì)移動(dòng)APP建?！?guī)則：設(shè)立用例規(guī)則以及執(zhí)行模型4.

下一步展望MBT的引入MBT（Model

based

testing）基于模型的測(cè)試。建模過(guò)程，通常是指對(duì)被測(cè)試系統(tǒng)的某些（通常是功能）方面的描述，以及對(duì)于被測(cè)系統(tǒng)預(yù)期行為的抽象描述。MBT的過(guò)程translation1SYSTEM

SPECSmodeling4TEST

SCRIPTS2executionTHESPECIFIEDMODEL5generationTEST

EXECUTIONLOG3ABSTRACTTEST

SUIT建模模型類型

示例

適用場(chǎng)景基于轉(zhuǎn)換

FSM（有限狀

用途最廣泛。一般用于黑盒測(cè)試的建模態(tài)機(jī)）UML狀態(tài)機(jī)針對(duì)的對(duì)象一般是類、角色、子系統(tǒng)，與類圖結(jié)合起來(lái)使用。統(tǒng)計(jì)式操作式馬爾可夫鏈實(shí)際上是一種遷移具有概率特征的有限狀態(tài)機(jī)?？梢灶A(yù)測(cè)狀態(tài)機(jī)下，各種轉(zhuǎn)換的概率，依據(jù)概率可以自動(dòng)化生成測(cè)試用例，還可以分析測(cè)試結(jié)果。Petri網(wǎng)適合于描述異步的、并發(fā)的系統(tǒng)模型。在并發(fā)測(cè)試中，通過(guò)petri網(wǎng)的建模，可以在保證測(cè)試質(zhì)量的情況下，大量的減少并發(fā)測(cè)試用例。UML活動(dòng)圖描述了從活動(dòng)到活動(dòng)的控制流。適合于功能建模。表：MBT

模型分類移動(dòng)APP的建模模型選擇狀態(tài)1軟件領(lǐng)域，很多是基于狀態(tài)的，往往能從基于狀態(tài)的測(cè)試中獲益3轉(zhuǎn)換頁(yè)面間的切換，是否可以抽象成FSM里面的轉(zhuǎn)換2Android

啟示Android

下，一個(gè)頁(yè)面是一個(gè)activity，針對(duì)該頁(yè)面，是否可以抽象成一個(gè)狀態(tài)4FSM

應(yīng)用針對(duì)APP，基于UI的測(cè)試過(guò)程中，使用FSM

建模沒(méi)有技術(shù)性問(wèn)題建模模型—有限狀態(tài)機(jī)（FSM）狀態(tài)機(jī)理論最初的發(fā)展在數(shù)字電路設(shè)計(jì)領(lǐng)域。而在軟件設(shè)計(jì)領(lǐng)域，狀態(tài)機(jī)的理論儼然已經(jīng)自成一體，它經(jīng)常用來(lái)描述一些復(fù)雜的算法，描述對(duì)象在它的生命周期內(nèi)所經(jīng)歷的狀態(tài)序列，以及如何響應(yīng)來(lái)自外界的各種事件。議題1.

移動(dòng)APP測(cè)試的挑戰(zhàn)2.

MBT的引入3.

MBT實(shí)戰(zhàn)—建模：使用FSM對(duì)移動(dòng)APP建?！?guī)則：設(shè)立用例規(guī)則以及執(zhí)行模型4.

下一步展望移動(dòng)APP的建模實(shí)戰(zhàn)pMBT測(cè)試如何使用MBT

針對(duì)該款A(yù)PP進(jìn)行測(cè)試？MBT測(cè)試效果前瞻功能測(cè)試主要功能點(diǎn)，與圖論的結(jié)合，充分開展功能測(cè)試。穩(wěn)定性測(cè)試MBT與

monkey測(cè)試?yán)碚摰慕Y(jié)合，“猴子”在FSM模型中隨機(jī)漫步，開展充分的穩(wěn)定性測(cè)試?；诮?jīng)驗(yàn)的測(cè)試人總是在相同的地方摔跟頭，由人主導(dǎo)的軟件也是類似。通過(guò)MBT的手段，依據(jù)已挖掘BUG，動(dòng)態(tài)調(diào)整測(cè)試模型。實(shí)戰(zhàn)：FSM圖：放射沙龍APP的FSM實(shí)戰(zhàn)：FSM的機(jī)器表示pFSM

可以被看做是一張有向圖p通過(guò)鄰接矩陣的方式來(lái)表示有向圖實(shí)戰(zhàn)：圖論將移動(dòng)APP的FSM通過(guò)最短路徑算法示例：有向圖表示之后，圖論的視角：p兩點(diǎn)之間的最短路徑p兩點(diǎn)之間的最長(zhǎng)路徑p深度優(yōu)先遍歷p廣度優(yōu)先遍歷p所有狀態(tài)遍歷p所有轉(zhuǎn)換遍歷p......問(wèn)題：圖論如何應(yīng)用到MBT？圖：最短路徑dijkstra算法功能測(cè)試實(shí)戰(zhàn)舉例：醫(yī)生發(fā)帖放射科醫(yī)生使用放射沙龍APP，一個(gè)主要場(chǎng)景是：發(fā)帖咨詢專家的意見(jiàn)。我們以此場(chǎng)景為例，講述MBT如何應(yīng)用在功能測(cè)試中。用戶場(chǎng)景輸入醫(yī)生發(fā)帖，起始節(jié)點(diǎn)是“0首頁(yè)”，終止節(jié)點(diǎn)是“4帖子詳情”。故設(shè)置規(guī)則：圖論算法起止節(jié)點(diǎn)如上?

醫(yī)生發(fā)帖的最短路徑及script?

醫(yī)生發(fā)帖的最長(zhǎng)路徑及script?

醫(yī)生發(fā)帖的深度優(yōu)先遍歷script?

醫(yī)生發(fā)帖的廣度優(yōu)先遍歷script?

......功能測(cè)試過(guò)程user

case

到圖論的抽象圖論算法

生成功能用例特定規(guī)則

生成異常用例穩(wěn)定性測(cè)試實(shí)戰(zhàn)：monkey測(cè)試p

Monkey測(cè)試：n只猴子，在系統(tǒng)里面，隨機(jī)的跳動(dòng)，跳動(dòng)到哪里，就觸發(fā)對(duì)應(yīng)的功能。軟件測(cè)試領(lǐng)域，monkey測(cè)試把隨機(jī)測(cè)試與并發(fā)測(cè)試發(fā)揮到了非常高的高度。p

在移動(dòng)APP里面，由于只有一個(gè)人在使用，故猴子數(shù)量設(shè)置為1，在FSM這個(gè)有向圖里面，可以讓猴子隨機(jī)的選擇任一條邊，設(shè)置一定的運(yùn)行時(shí)長(zhǎng)，讓猴子在系統(tǒng)里面跳上幾天幾夜穩(wěn)定性測(cè)試實(shí)戰(zhàn)：monkey測(cè)試圖論Monkey測(cè)試實(shí)戰(zhàn)：基于經(jīng)驗(yàn)的測(cè)試p

已發(fā)現(xiàn)的bug集，是一座金礦，值得深入挖掘p

越是出錯(cuò)的地方，越得加強(qiáng)測(cè)試。p

FSM

的表示，目前通過(guò)有向圖表示p

把有向圖升級(jí)為有向有權(quán)圖。方法：1）在monkey穩(wěn)定性測(cè)試過(guò)程中，出錯(cuò)的邊，權(quán)重加1。如右圖2）隨機(jī)選擇算法考慮權(quán)重。建立BUG分析集智能優(yōu)化測(cè)試模型MBT總體框架測(cè)試管理層算法層操作層底層MBT實(shí)戰(zhàn)總結(jié)建模功能測(cè)試穩(wěn)定性測(cè)試兼容性測(cè)試自動(dòng)化測(cè)試有限狀態(tài)機(jī)自動(dòng)生成測(cè)試用例自動(dòng)生成測(cè)試腳本基于monkey思想實(shí)現(xiàn)智能測(cè)試有向有權(quán)圖多機(jī)型MBT過(guò)程中問(wèn)題問(wèn)題：pFSM

在建模過(guò)程中，狀態(tài)爆炸的問(wèn)題，不僅給建模本身造成困難，給后續(xù)的程序處理造成的處理復(fù)雜度增加是指數(shù)級(jí)的。思路：p在建模過(guò)程中，抽象出類似的狀態(tài)，使用狀