白盒測(cè)試方法在CBTC車載系統(tǒng)測(cè)試中的研究與應(yīng)用.pdf

1、城市軌道交通在城市公共交通中所起的作用越來(lái)越重要，CBTC（Communication Based Train Control，基于通信的列車控制）以其高運(yùn)行效率、易于擴(kuò)展的特點(diǎn)逐漸成為城市軌道交通信號(hào)系統(tǒng)的首選解決方案。 在CBTC系統(tǒng)中，車載控制系統(tǒng)要求高度的安全性與可靠性．，必須在應(yīng)用前對(duì)其進(jìn)行測(cè)試。傳統(tǒng)的測(cè)試不能滿足高效和全面的要求，借助于計(jì)算機(jī)軟件測(cè)試技術(shù)能很好的解決這些問(wèn)題。本文從開(kāi)發(fā)人員的角度出發(fā)，研究改進(jìn)的白盒測(cè)

2、試方法在車載系統(tǒng)中的應(yīng)用。 本文通過(guò)對(duì)傳統(tǒng)的白盒測(cè)試方法進(jìn)行比較分析，選取分支覆蓋作為測(cè)試方法，之后對(duì)分支覆蓋測(cè)試加以改進(jìn)。通過(guò)功能分割得到一個(gè)個(gè)獨(dú)立邏輯單元，在結(jié)構(gòu)上將屬于獨(dú)立邏輯單元內(nèi)部的分支合并，看作一個(gè)分支，減少分支數(shù)量，以達(dá)到結(jié)構(gòu)簡(jiǎn)化的目的。測(cè)試時(shí)，先對(duì)每個(gè)邏輯單元進(jìn)行測(cè)試，然后對(duì)邏輯單元組合而成的系統(tǒng)進(jìn)行測(cè)試。以分階段測(cè)試的方式，達(dá)到提高測(cè)試效率與測(cè)試覆蓋度的目的。 接著針對(duì)此改進(jìn)的分支覆蓋測(cè)試方法，研究測(cè)試

3、過(guò)程中測(cè)試輸入與測(cè)試輸出的選擇、測(cè)試用例的生成與排序、測(cè)試的執(zhí)行與分析等各個(gè)環(huán)節(jié)的詳細(xì)實(shí)施方案。 最后將研究得出的改進(jìn)分支覆蓋測(cè)試方法應(yīng)用于車載系統(tǒng)的測(cè)試中。在測(cè)試過(guò)程中，對(duì)車載系統(tǒng)應(yīng)用軟件功能上進(jìn)行模塊劃分，利用劃分得到的模塊簡(jiǎn)化系統(tǒng)結(jié)構(gòu)。然后，結(jié)合車載系統(tǒng)的特性選出測(cè)試輸入變量和測(cè)試輸出變量。分別設(shè)計(jì)獨(dú)立功能模塊的測(cè)試用例及模塊集成后的分支測(cè)試用例，并對(duì)測(cè)試用例進(jìn)行優(yōu)先級(jí)排序。在測(cè)試執(zhí)行階段，分階段對(duì)組成系統(tǒng)的各獨(dú)立功能模塊