基于遺傳編程的EFSM測(cè)試數(shù)據(jù)生成效率預(yù)測(cè)模型研究.pdf

1、信息社會(huì)的發(fā)展給軟件行業(yè)帶來(lái)了巨大的發(fā)展契機(jī)，同時(shí)也使軟件錯(cuò)誤導(dǎo)致的后果愈發(fā)不可估量，測(cè)試生成技術(shù)日漸得到重視。測(cè)試數(shù)據(jù)生成成本（測(cè)試生成所需要的時(shí)間、搜索算法的迭代次數(shù)）可以用來(lái)衡量測(cè)試數(shù)據(jù)生成效率，是自動(dòng)測(cè)試生成技術(shù)的研究要點(diǎn)。擴(kuò)展有限狀態(tài)機(jī)(Extended Finite State Machine，EFSM)能夠?qū)浖到y(tǒng)的動(dòng)態(tài)行為進(jìn)行精確地描述，是一種基于狀態(tài)的形式化描述方法。目前關(guān)于EFSM的測(cè)試研究大多集中在測(cè)試序列自動(dòng)生

2、成和測(cè)試數(shù)據(jù)自動(dòng)生成兩個(gè)方面，對(duì)于測(cè)試數(shù)據(jù)生成效率的研究較少。
　　本文針對(duì)EFSM可執(zhí)行遷移路徑，根據(jù)其測(cè)試數(shù)據(jù)生成成本與路徑上影響生成成本的因素之間的非線性關(guān)系，采用遺傳編程算法，構(gòu)建了一個(gè)EFSM測(cè)試數(shù)據(jù)生成效率預(yù)測(cè)模型，對(duì)EFSM可執(zhí)行遷移路徑的測(cè)試數(shù)據(jù)自動(dòng)生成成本進(jìn)行預(yù)測(cè)評(píng)估。具體而言，針對(duì)EFSM可執(zhí)行遷移路徑，將測(cè)試生成成本作為因變量，將路徑上影響EFSM測(cè)試數(shù)據(jù)生成成本的因素作為自變量，利用遺傳編程算法的思想，構(gòu)建

3、EFSM測(cè)試數(shù)據(jù)生成效率預(yù)測(cè)模型，對(duì)EFSM可執(zhí)行遷移路徑的測(cè)試數(shù)據(jù)生成效率進(jìn)行預(yù)測(cè)分析。
　　為驗(yàn)證構(gòu)建的EFSM測(cè)試數(shù)據(jù)生成效率預(yù)測(cè)模型是否能夠有效地對(duì)EFSM測(cè)試數(shù)據(jù)生成效率進(jìn)行預(yù)測(cè)，本文在8個(gè)EFSM上進(jìn)行了大量的實(shí)驗(yàn)，比較分析了在路徑影響因素和經(jīng)過(guò)主成分分析剔除因素之間相關(guān)性的關(guān)鍵因素兩種情況下，分別采用標(biāo)準(zhǔn)遺傳編程算法(Standard GeneticProgramming，SGP)和多基因遺傳編程算法(Multi-G

4、ene GeneticProgramming，MGGP)構(gòu)建的預(yù)測(cè)模型對(duì)EFSM測(cè)試數(shù)據(jù)生成效率的預(yù)測(cè)能力;并且與采用誤差反向傳播神經(jīng)網(wǎng)絡(luò)算法(Back Propagation，BP)構(gòu)建的預(yù)測(cè)模型進(jìn)行了對(duì)比分析。結(jié)果表明:采用遺傳編程算法構(gòu)建的預(yù)測(cè)模型，即采用SGP和MGGP構(gòu)建的預(yù)測(cè)模型可以不考慮影響因素之間相關(guān)性的影響，能夠?qū)FSM測(cè)試數(shù)據(jù)生成效率進(jìn)行有效預(yù)測(cè);且采用MGGP構(gòu)建的預(yù)測(cè)模型的預(yù)測(cè)能力明顯高于采用SGP構(gòu)建的預(yù)測(cè)模