④ 其中，要進行第二次抽樣來確定運行中每個輸入的取值區間將取到的實體（即具體取值）。實體的確定將按照輸入變量的屬性分兩種情況進行：

　　① 對于連續型輸入變量，運行剖面給出的是該變量的取值區間的上下限［I.down,I.up］。抽樣時將根據輸入變量的數據類型，在區間［I.down,I.up］內隨機抽取一個滿足輸入變量數據類型的具體值，作為該輸入變量的實體。

② 對于可選離散型輸入變量，運行剖面給出的是一組離散點Ii,i=1,2,…,mi;mi為離散點的個數。抽樣時將在［1,mi］內隨機抽取一個整數j，以確定選哪一個離散點作為該輸入變量的實體，并將該實體轉化為該輸入變量的數據類型。

　　③ 通過對運行和各個實體兩個步驟的抽樣，完成一個測試用例的生成。

　　應用測試用例可以進行軟件可靠性測試： 圖1 測試系統

　　系統負責根據以上算法策略等產生測試用例，輸入到整個測試系統中，執行可靠性測試，測試系統根據某種判斷策略，來決定此用例是否通過測試，若在規定的時間內，規定的輸入條件下，所有用例均通過測試，則測試完成，若其中有測試用例沒有通過測試，只需要對被測軟件進行修改，消除其中的錯誤，再次進行測試，而整個測試系統不需要任何改動，大大的提高了測試的效率和靈活性。這種測試是統計測試，測試完全根據各個運行所發生的概率以及運行的權重來進行的，在測試中, 優先測試那些最重要或最頻繁使用的功能，釋放和緩解最高級別的風險，有助于盡早發現那些對可靠性有最大影響的故障。

　　4．結束語

　　本文完全從工程應用的角度出發，根據被測軟件的需求規格說明書，通過和軟件使用人員充分的交流，由測試人員構造出軟件的運行剖面，并用文中定義的運行圖來描述，經過算法轉化為帶標記的 Markov鏈描述，依據該Markov鏈，可以自動生成測試用例。配合相應的測試環境，進行自動化的可靠性測試，可以極大的提高測試的效率，被測嵌入式系統的可靠性也可以進行更加充分的驗證。

　　今后的工作主要是輸入模型的提取與識別以及重組，從本文的前面，可以看出，系統的輸入還是比較繁瑣的，如果能夠直接讀取被測軟件的UML圖，從圖中提取各種信息，從而自動構造軟件的運行剖面，則可以使整個過程更加高效，符合軟件測試的發展趨勢。此外，支撐測試環境的搭建，也需要認真的研究。

　　本文作者創新點：

　　1．傳統的軟件測試都是根據軟件的源代碼進行測試，本文則根據軟件的需求規格說明書進行測試，大大提高了測試的效率和靈活性。

　　2．用帶標記的Markov鏈對軟件運行剖面建模，為自動產生測試用例打下了基礎。

　　3．能對產生的測試用例情況進行標記，避免產生相同的測試用例，提高了測試的效率。

STM32/STM8

意法半導體/ST/STM