基于數(shù)據(jù)驅(qū)動(dòng)的FAO系統(tǒng)測(cè)試方法研究.pdf

1、近年來，隨著城市軌道交通事業(yè)飛速發(fā)展，全自動(dòng)駕駛系統(tǒng)(Fully AutomaticOperation，F(xiàn)AO)憑借其高度自動(dòng)化的控制方式應(yīng)運(yùn)而生。其駕駛模式是將列車司機(jī)所需要完成的工作完全交由高度集中的信號(hào)系統(tǒng)來完成，相較于傳統(tǒng)CBTC系統(tǒng)，其需要更高的安全性和可靠性。目前，測(cè)試是確保系統(tǒng)功能正確性的重要手段，其目的在于驗(yàn)證系統(tǒng)實(shí)現(xiàn)的功能能否滿足自身的需求規(guī)范。針對(duì)FAO系統(tǒng)，為了保證其的高可靠性和高安全性，亟需尋求一種高效、完備的測(cè)

2、試方法。
　　當(dāng)今傳統(tǒng)的CBTC系統(tǒng)測(cè)試方法主要采用基于仿真的測(cè)試方法，該方法的測(cè)試流程是先搭建仿真測(cè)試平臺(tái)，該平臺(tái)需要包含與被測(cè)對(duì)象有接口的所有系統(tǒng)，再依據(jù)測(cè)試目標(biāo)及規(guī)范編寫測(cè)試用例，最后操作仿真測(cè)試平臺(tái)執(zhí)行測(cè)試用例。該方法的關(guān)鍵點(diǎn)在于仿真測(cè)試平臺(tái)的搭建，即仿真測(cè)試平臺(tái)的搭建成功與否直接影響測(cè)試結(jié)果。然而針對(duì)FAO這類如此復(fù)雜的大系統(tǒng)，仿真測(cè)試平臺(tái)的搭建是個(gè)耗時(shí)耗力的冗長(zhǎng)過程，再者，現(xiàn)今對(duì)于仿真測(cè)試平臺(tái)沒有一套成熟的評(píng)估體系，由

3、它得出的測(cè)試結(jié)果沒有成文的理論依據(jù)，因此，該方法存在一定的安全隱患。
　　本文對(duì)FAO系統(tǒng)進(jìn)行了詳細(xì)分析，將基于數(shù)據(jù)驅(qū)動(dòng)的測(cè)試方法引入了FAO系統(tǒng)測(cè)試，該方法的關(guān)鍵點(diǎn)在于測(cè)試用例的生成，相較于傳統(tǒng)測(cè)試方法，該方法簡(jiǎn)化了測(cè)試平臺(tái)的搭建環(huán)節(jié)，也提高了測(cè)試有效性和完備性。該方法主要包括:
　　(1)運(yùn)營(yíng)場(chǎng)景分析與描述:在對(duì)被測(cè)對(duì)象詳細(xì)分析的基礎(chǔ)上，對(duì)運(yùn)營(yíng)場(chǎng)景進(jìn)行分析，建立運(yùn)營(yíng)場(chǎng)景時(shí)序圖，便于場(chǎng)景管理和后續(xù)的建模;
　　(2)

4、系統(tǒng)行為建模與模型驗(yàn)證:以運(yùn)營(yíng)場(chǎng)景分析為基礎(chǔ)，利用時(shí)間自動(dòng)機(jī)建立研究對(duì)象行為模型;并運(yùn)用基于VV&A的模型驗(yàn)證方法對(duì)時(shí)間自動(dòng)機(jī)模型進(jìn)行驗(yàn)證，以保證模型的正確性;
　　(3)測(cè)試用例生成及測(cè)試用例序列化:依據(jù)系統(tǒng)需求和測(cè)試目的，編寫observer測(cè)試覆蓋準(zhǔn)則算法，運(yùn)用CoVer工具對(duì)研究對(duì)象進(jìn)行特定測(cè)試目標(biāo)的測(cè)試用例文件生成。最后，運(yùn)用深度優(yōu)先搜索算法將測(cè)試用例序列化;
　　(4)搭建測(cè)試平臺(tái):搭建基于數(shù)據(jù)驅(qū)動(dòng)的FAO系統(tǒng)測(cè)