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

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

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

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

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