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

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

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

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

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