*測試**覆蓋率:直接採用指定的某種**覆蓋率(語句覆蓋,分支覆蓋等)
*bug檢測率:直接採用變異殺死率作為指標
指令碼可維護性:按照規定的風格要求,採用checkstyle計算相應的滿足項。(例如:檢查項5項,每項20分,選手某單項出錯一次扣2分,單項扣完未止
指令碼執行效率:採用**覆蓋率除以執行時間,max=100,其他選手採用線性化歸一計算
指令碼編寫效率:採用最高**覆蓋率除以最快達到這一覆蓋率的編寫時間,最高記位100分,其他選手採用線性化歸一計算
要求:程式中每個條件判定語句的真值結果和假值結果都至少出現一次。
分支覆蓋得分(branch score)是評價測試用例集充分檢測有效性的度量指標。
得分介於0和1直接,數值越高,表明覆蓋的分支數越多,測試用例集覆蓋的流程越多。為1時表明用例集覆蓋了所有分支。
也稱為變異分析,是對測試資料集有效性充分性進行評估的技術。
通過對比源程式與變異程式在執行同一測試用例時的差異來評價測試用例集的錯誤檢測能力。
變異測試中,一般利用與源程式差異極小的簡單變異體來模擬程式中可能存在的各種缺陷。
若當前測試用例未能檢測到軟體缺陷,則存在兩種情形:
1. 軟體已滿足預設要求,軟體質量較高;
2. 測試用例設計不充分,不能有效檢測缺陷;
邏輯測試和路徑測試,分布從程式實體覆蓋和路徑覆蓋的角度來評估軟體測試的充分性,但並不能直觀的反映測試用例的缺陷檢測能力。
變異測試的可行性主要基於兩點:
「熟練程式設計師」假設,關注熟練程式設計師的程式設計行為;
「變異耦合效應」假設,關注變異程式的缺陷型別。
定義:基於預先定義的變異操作對程式進行修改,進而得到源程式變異程式(變異體)的過程。
源程式與變異程式:
存在差異時,認為用例檢測到變異程式種的錯誤,變異程式被殺死;
相同時,沒有檢測到錯誤,變異程式存活。
a. 程式與變異程式執行的差異有兩種
(1)同測試用例,不同執行時狀態;(2)同測試用例,不同執行結果;
b. 根據滿足執行差異要求的不同,變異測試分為以下兩種
弱變異測試(weak mutation testing):當情形1出現時,可認為變異程式被殺死
強變異測試(strong **):當1,2同時滿足,可認為變異程式被殺死
c. 等價變異體:變異體p'與原有程式p存在語法差異,但語義上一致(功能性),則稱p』時p的等價變異體。如for迴圈(i = 0;i < 10; i++)和(i = 0;i != 10;i++)。
a. 定義:評價測試用例集錯誤檢測有效性的度量指標。
b. score mutation介於0-1之間,越大表明被殺死的編譯程式越多,
為1表示殺死了所有非等價編譯程式,為0表示沒有殺死任何乙個變異程式
score mutation =numkilled / ( numtotal - numequivalent) 注:numequivalent為等價變異體個數
高通開發者工具介紹
在高通平台上,為了幫助客戶優化功耗和效能,高通提供了一些開發工具包,包含了sdk包 分析工具等。如下圖所示,這些工具在不同開發階段的使用,可以在 裡整合sdk,使用工具編譯除錯,以及安裝使用。這些工具,方便我們對於產品的開發和除錯,打造出更好的產品。下面,我們簡要介紹四個主要的工具。一 驍龍功耗優化...
iOS開發者賬號詳細介紹
前言 開始 在登入到開發者中心證書生成管理後台的時候,如果是空賬號的話,需要先申請乙個certificate證書,這個是主證書。為什麼稱呼它為主證書。當在多台mac裝置上開發的時候,需要.certificate主證書 和 mobileprovision證書。多台mac裝置上的.cer證書都是一樣的,...
BAT雲服務介紹,開發者平台介紹
阿里 1 負載均衡slb sever load balancing 客戶端向虛擬伺服器發起連線時,通過某種負載均衡演算法,到某真實伺服器。slb幫您輕鬆分發網路流量,消除單點故障提公升應用系統的可用性。2 開放結構化資料服務 open table service 開放結構化資料服務 open tab...