車路協(xié)同系統(tǒng)仿真測(cè)試序列生成及優(yōu)化方法研究.pdf

1、車路協(xié)同系統(tǒng)是一個(gè)涉及到多因素和多層次復(fù)雜關(guān)系的大規(guī)模實(shí)時(shí)分布式系統(tǒng)，基于系統(tǒng)級(jí)的架構(gòu)制定以及部件級(jí)的車載/路側(cè)關(guān)鍵設(shè)備的研制與開發(fā)，基于系統(tǒng)級(jí)的數(shù)據(jù)處理與數(shù)據(jù)分析研究，均需要對(duì)所設(shè)計(jì)開發(fā)的系統(tǒng)架構(gòu)本身，以及實(shí)際系統(tǒng)功能、性能等關(guān)鍵特性進(jìn)行測(cè)試、評(píng)估與驗(yàn)證。
　　本文通過對(duì)車路協(xié)同系統(tǒng)進(jìn)行功能需求分析，構(gòu)建了包含多交叉路口、多路段、多車的車路協(xié)同系統(tǒng)典型應(yīng)用仿真場(chǎng)景，并對(duì)典型場(chǎng)景利用故障樹分析的方法進(jìn)行功能特征分析得到系統(tǒng)的功能特

2、征列表，從而建立基于系統(tǒng)功能特征的系統(tǒng)測(cè)試用例。生成的測(cè)試用例進(jìn)行帶端口標(biāo)記的時(shí)間輸入/輸出自動(dòng)機(jī)建模，并用建模工具UPPAAL完成建模實(shí)現(xiàn)，利用UPPAAL建模工具的測(cè)試序列生成模塊，完成基于帶端口標(biāo)記的時(shí)間輸入/輸出自動(dòng)機(jī)的測(cè)試序列的自動(dòng)生成，得到針對(duì)車路協(xié)同系統(tǒng)仿真測(cè)試的測(cè)試序列。
　　本文設(shè)計(jì)了的基于螢火蟲算法的測(cè)試序列優(yōu)化方法，對(duì)由時(shí)間自動(dòng)機(jī)建模生成的車路協(xié)同系統(tǒng)測(cè)試序列進(jìn)行序列優(yōu)化，并與基于遺傳算法的測(cè)試序列優(yōu)化進(jìn)行對(duì)