MBT在移動APP測試中的應用議題1.

移動APP測試的挑戰2.

MBT的引入3.

MBT實戰—建模：使用FSM對移動APP建模—規則：設立用例規則以及執行模型4.

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

c開發自動化測試腳本，覆蓋主要操作類型，7*24小時運行仍然存在的問題穩定性測試崩潰類問題分析友盟日志，崩潰類問題以及功能性問題仍存在，存在漏網之魚覆蓋的操作類型，不夠全面，隨機性不夠，在既定的時間內，沒辦法覆蓋所有的操作組合自動化測試不具備智能性測試點人為控制，單一議題1.

移動APP測試的挑戰2.

MBT的引入3.

MBT實戰—建模：使用FSM對移動APP建模—規則：設立用例規則以及執行模型4.

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

based

testing）基于模型的測試。建模過程，通常是指對被測試系統的某些（通常是功能）方面的描述，以及對于被測系統預期行為的抽象描述。MBT的過程translation1SYSTEM

SPECSmodeling4TEST

SCRIPTS2executionTHESPECIFIEDMODEL5generationTEST

EXECUTIONLOG3ABSTRACTTEST

SUIT建模模型類型

示例

適用場景基于轉換

FSM（有限狀

用途最廣泛。一般用于黑盒測試的建模態機）UML狀態機針對的對象一般是類、角色、子系統，與類圖結合起來使用。統計式操作式馬爾可夫鏈實際上是一種遷移具有概率特征的有限狀態機。可以預測狀態機下，各種轉換的概率，依據概率可以自動化生成測試用例，還可以分析測試結果。Petri網適合于描述異步的、并發的系統模型。在并發測試中，通過petri網的建模，可以在保證測試質量的情況下，大量的減少并發測試用例。UML活動圖描述了從活動到活動的控制流。適合于功能建模。表：MBT

模型分類移動APP的建模模型選擇狀態1軟件領域，很多是基于狀態的，往往能從基于狀態的測試中獲益3轉換頁面間的切換，是否可以抽象成FSM里面的轉換2Android

啟示Android

下，一個頁面是一個activity，針對該頁面，是否可以抽象成一個狀態4FSM

應用針對APP，基于UI的測試過程中，使用FSM

建模沒有技術性問題建模模型—有限狀態機（FSM）狀態機理論最初的發展在數字電路設計領域。而在軟件設計領域，狀態機的理論儼然已經自成一體，它經常用來描述一些復雜的算法，描述對象在它的生命周期內所經歷的狀態序列，以及如何響應來自外界的各種事件。議題1.

移動APP測試的挑戰2.

MBT的引入3.

MBT實戰—建模：使用FSM對移動APP建模—規則：設立用例規則以及執行模型4.

下一步展望移動APP的建模實戰pMBT測試如何使用MBT

針對該款APP進行測試？MBT測試效果前瞻功能測試主要功能點，與圖論的結合，充分開展功能測試。穩定性測試MBT與

monkey測試理論的結合，“猴子”在FSM模型中隨機漫步，開展充分的穩定性測試。基于經驗的測試人總是在相同的地方摔跟頭，由人主導的軟件也是類似。通過MBT的手段，依據已挖掘BUG，動態調整測試模型。實戰：FSM圖：放射沙龍APP的FSM實戰：FSM的機器表示pFSM

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

醫生發帖的最短路徑及script?

醫生發帖的最長路徑及script?

醫生發帖的深度優先遍歷script?

醫生發帖的廣度優先遍歷script?

......功能測試過程user

case

到圖論的抽象圖論算法

生成功能用例特定規則

生成異常用例穩定性測試實戰：monkey測試p

Monkey測試：n只猴子，在系統里面，隨機的跳動，跳動到哪里，就觸發對應的功能。軟件測試領域，monkey測試把隨機測試與并發測試發揮到了非常高的高度。p

在移動APP里面，由于只有一個人在使用，故猴子數量設置為1，在FSM這個有向圖里面，可以讓猴子隨機的選擇任一條邊，設置一定的運行時長，讓猴子在系統里面跳上幾天幾夜穩定性測試實戰：monkey測試圖論Monkey測試實戰：基于經驗的測試p

已發現的bug集，是一座金礦，值得深入挖掘p

越是出錯的地方，越得加強測試。p

FSM

的表示，目前通過有向圖表示p

把有向圖升級為有向有權圖。方法：1）在monkey穩定性測試過程中，出錯的邊，權重加1。如右圖2）隨機選擇算法考慮權重。建立BUG分析集智能優化測試模型MBT總體框架測試管理層算法層操作層底層MBT實戰總結建模功能測試穩定性測試兼容性測試自動化測試有限狀態機自動生成測試用例自動生成測試腳本基于monkey思想實現智能測試有向有權圖多機型MBT過程中問題問題：pFSM

在建模過程中，狀態爆炸的問題，不僅給建模本身造成困難，給后續的程序處理造成的處理復雜度增加是指數級的。思路：p在建模過程中，抽象出類似的狀態，使用狀