一種基于場景的鎖存器測試方法技術(shù)

本發(fā)明專利技術(shù)屬于飛行控制系統(tǒng)軟件測試技術(shù)，涉及一種對飛行控制系統(tǒng)軟件中的鎖存器測試方法。該方法采用模型化的測試方法，使用場景的概念設(shè)計測試用例，根據(jù)鎖存器的概念，將輸入信號及執(zhí)行的拍數(shù)映射成為矩陣，每一個矩陣對應(yīng)一個場景，以時間節(jié)拍為序依次向被測程序輸入矩陣中的各列向量，從而進行連續(xù)多拍的驗證，并使用PASS/FAIL(通過/失敗)準(zhǔn)則的方式判定測試結(jié)果，通過腳本給出測試結(jié)果應(yīng)該滿足的條件，并獲取測試覆蓋率相關(guān)信息。該方法極大增強了測試的靈活性，提高了測試效率。

A scenario based latch test method

The invention belongs to the software testing technique of a flight control system, and relates to a test method for a latch in a software of a flight control system. The method adopts the testing method of modeling, conceptual design test case scenarios, based on the concept of the latch, the input signal and the execution of the number of beats is mapped into matrix, each matrix corresponding to a scene in time sequence in order to measure the column vector of the input matrix program, thereby verify the continuous shot, and use the PASS/FAIL (pass / fail) standard way to judge the test results, the test results are given by the script should meet the conditions, and obtain the test coverage information. This method greatly improves the flexibility of the test and improves the efficiency of the test.

【技術(shù)實現(xiàn)步驟摘要】
一種基于場景的鎖存器測試方法
本專利技術(shù)屬于飛行控制系統(tǒng)軟件測試技術(shù)，涉及一種對飛行控制系統(tǒng)軟件中的鎖存器測試方法。
技術(shù)介紹
在飛行控制系統(tǒng)軟件的設(shè)計中，鎖存器占有很大比重，例如在飛行控制系統(tǒng)的BIT(機內(nèi)自檢測)檢測中，應(yīng)用鎖存器對BIT測試結(jié)果進行故障鎖存和故障復(fù)位。對鎖存器的測試一直是飛控軟件測試中的重點和難點。傳統(tǒng)的測試方法往往只關(guān)注鎖存器輸出的當(dāng)拍值，沒有將鎖存器放在應(yīng)用場景中連續(xù)多拍進行測試驗證；并且如果鎖存器使用了延遲模塊將輸出信號反饋給輸入信號，由于傳統(tǒng)的測試方法不能將反饋信號單獨作為輸入賦值，因此無法測試該鎖存器的正確性。
技術(shù)實現(xiàn)思路
本專利技術(shù)的目的是：提出一種靈活高效的能夠基于場景測試鎖存器的方法。本專利技術(shù)的技術(shù)方案是：采用模型化的測試方法，使用場景的概念設(shè)計測試用例，根據(jù)鎖存器的概念，將輸入信號及執(zhí)行的拍數(shù)映射成為矩陣，每一個矩陣對應(yīng)一個場景，以時間節(jié)拍為序依次向被測程序輸入矩陣中的各列向量，從而進行連續(xù)多拍的驗證，并使用PASS/FAIL(通過/失敗)準(zhǔn)則的方式判定測試結(jié)果，通過腳本給出測試結(jié)果應(yīng)該滿足的條件，并獲取測試覆蓋率相關(guān)信息。所述的基于場景的鎖存器測試的方法，其步驟如下：步驟一：根據(jù)軟件需求識別出該鎖存器模型相關(guān)的所有輸入及輸出信號；步驟二：根據(jù)被測軟件的安全性等級確定測試所需達到的覆蓋率準(zhǔn)則；步驟三：根據(jù)軟件需求描述的鎖存器應(yīng)用場景，結(jié)合2)中的覆蓋率準(zhǔn)則，為1)中的輸入信號設(shè)計用例矩陣；步驟四：使用1)中的輸出信號，構(gòu)建測試結(jié)果的PASS/FAIL(通過/失敗)判定準(zhǔn)則；步驟五：執(zhí)行測試，得到測試PASS/FAIL結(jié)果及所需覆蓋率信息；所述的基于場景的鎖存器測試的方法的流程如圖1所示。本專利技術(shù)具有的優(yōu)點和有益效果：本專利技術(shù)通過測試矩陣能夠連續(xù)多拍對鎖存器進行測試，從而消除傳統(tǒng)單拍測試的測試充分性不足的問題，并結(jié)合應(yīng)用場景能夠?qū)в蟹答佇盘柕逆i存器進行測試，極大增強了測試的靈活性，提高了測試效率。附圖說明圖1是本專利技術(shù)所述一種基于場景的鎖存器測試方法的流程圖。圖2是應(yīng)用本專利技術(shù)一種基于場景的鎖存器測試方法的被測軟件示意圖。具體實施方式下面結(jié)合圖2對本專利技術(shù)方法的具體實施步驟進行詳細說明：1.根據(jù)需求識別鎖存器的所有輸入輸出信號，在圖2中輸入信號有：nvm_sync，flt_latch，flt_set_lcl，flt_set_ml，flt_set_mr，fcm_ml_vld，flt_set_mr，fcm_mr_vld，flt_in_nvm，init，rst_cmd；輸出信號有：flt_latch，flt_set。2.由于被測軟件的軟件安全性等級為A級，根據(jù)相關(guān)標(biāo)準(zhǔn)，測試覆蓋率要達到MC/DC的100％覆蓋；3.設(shè)計測試用例；圖2中存在輸出信號到輸入信號的延遲反饋，那么當(dāng)拍的輸出信號在下一拍才會反饋到數(shù)輸入端，另外考慮到RS鎖存器的特性，要滿足MC/DC的100％覆蓋，如果在輸入下一拍信號前RS鎖存器已經(jīng)被置位，就需要先輸入一拍復(fù)位信號；因此設(shè)計出基于場景的用例矩陣如下：4.利用腳本構(gòu)建測試結(jié)果的PASS/FAIL(通過/失敗)判定準(zhǔn)則；例如對輸出信號flt_set的PASS/FAIL準(zhǔn)則可以通過if-then-else腳本判斷：if(simpleDelay(flt_set_lcl,0)&nvm_sync)|flt_set_lcl；thenflt_set；else～flt_set；以上腳本中的simpleDelay函數(shù)為已封裝的實現(xiàn)延時功能的腳本函數(shù)。5.執(zhí)行腳本，獲取覆蓋率等相關(guān)信息。本文檔來自技高網(wǎng)...

【技術(shù)保護點】
一種基于場景的鎖存器測試方法，其特征在于，使用場景的概念設(shè)計測試用例，根據(jù)鎖存器的概念，將輸入信號及執(zhí)行的拍數(shù)映射成為矩陣，每一個矩陣對應(yīng)一個場景，以時間節(jié)拍為序依次向被測程序輸入矩陣中的各列向量，從而進行連續(xù)多拍的驗證，并使用PASS/FAIL(通過/失敗)準(zhǔn)則的方式判定測試結(jié)果，通過腳本給出測試結(jié)果應(yīng)該滿足的條件，并獲取測試覆蓋率相關(guān)信息。

【技術(shù)特征摘要】
1.一種基于場景的鎖存器測試方法，其特征在于，使用場景的概念設(shè)計測試用例，根據(jù)鎖存器的概念，將輸入信號及執(zhí)行的拍數(shù)映射成為矩陣，每一個矩陣對應(yīng)一個場景，以時間節(jié)拍為序依次向被測程序輸入矩陣中的各列向量，從而進行連續(xù)多拍的驗證，并使用PASS/FAIL(通過/失敗)準(zhǔn)則的方式判定測試結(jié)果，通過腳本給出測試結(jié)果應(yīng)該滿足的條件，并獲取測試覆蓋率相關(guān)信息。2.根據(jù)權(quán)利要求1所述的一種基于場景的鎖存器測...

【專利技術(shù)屬性】
技術(shù)研發(fā)人員：陳晰亮，張丹濤，武方方，趙亮，李鵬，田佳，王瑋，馬戎，
申請(專利權(quán))人：中國航空工業(yè)第六一八研究所，
類型：發(fā)明
國別省市：陜西,61