一種針對基于構(gòu)件的嵌入式實時軟件的測試方法.pdf

1、隨著嵌入式技術的發(fā)展，嵌入式構(gòu)件技術開始成為人們關注的熱點。嵌入式構(gòu)件的測試，特別是嵌入式實時構(gòu)件的測試，成為保障基于構(gòu)件的嵌入式實時軟件質(zhì)量的重要環(huán)節(jié)。對嵌入式實時構(gòu)件進行充分的功能性和實時性測試，才能選擇安全可靠的嵌入式實時構(gòu)件進行嵌入式實時軟件的組裝。
　　 目前，對基于構(gòu)件的嵌入式實時軟件的測試還存在著嵌入式實時構(gòu)件接口定義不規(guī)范、對時間約束的測試困難等問題。國內(nèi)外對于普通軟件構(gòu)件的接口定義已經(jīng)取得了一系列的成果，并廣泛

2、的運用到軟件開發(fā)過程中，如COM、CORBA、EJB等構(gòu)件模型都提出了構(gòu)件接口的定義，但針對嵌入式實時構(gòu)件的接口定義還需要完善對時間約束的描述，缺乏統(tǒng)一的規(guī)范。同時，嵌入式實時構(gòu)件的時間約束的測試，需要構(gòu)造構(gòu)件間交互動作的時間相關模型才能有效的完成測試。因此，研究如何規(guī)范嵌入式實時構(gòu)件的接口定義，并構(gòu)造測試模型進行測試，以完成基于構(gòu)件的嵌入式實時軟件的組裝，具有十分重要的意義。
　　 本文通過對構(gòu)件技術、時間自動機理論的學習，在

3、已有研究成果的基礎上，提出了一種針對基于構(gòu)件的嵌入式實時軟件的測試方法，主要進行以下幾個方面的探討和研究：
　　 第一，提出了一種嵌入式實時構(gòu)件接口定義方法，將嵌入式實時構(gòu)件分為嵌入式實時功能構(gòu)件和嵌入式實時調(diào)度構(gòu)件進行接口的定義，以滿足嵌入式實時構(gòu)件的交互。
　　 第二，針對嵌入式實時構(gòu)件交互過程中存在的時間約束，本文在時間自動機理論的基礎上提出了一種基于構(gòu)件的嵌入式實時軟件時間自動機模型構(gòu)造方法-CBERSTA，通過

4、CBERSTA模型能夠?qū)崿F(xiàn)對嵌入式實時構(gòu)件交互過程中的狀態(tài)轉(zhuǎn)移和時間約束的描述。
　　 第三，為了簡化CBERSTA模型，本文通過符號狀態(tài)拆分算法，對構(gòu)造的CBERSTA模型進行狀態(tài)空間拆分。在此基礎上，將拆分后的CBERSTA模型中的抽象時間延遲替換成時間變量，并在狀態(tài)轉(zhuǎn)移動作中添加時間變量來完成測試用例的生成。
　　 最后，為了驗證本文提出的CBERSTA模型的可行性和有效性，本文利用構(gòu)造的CBERSTA模型生成測試