we can also find unexecutable paths of the sequential program . when we find them we will stop the analysis . we enhance the capability of the traditional methods of detecting data dependence 我們采用了遍歷程序路徑和對(duì)路徑進(jìn)行符號(hào)執(zhí)行的策略,這樣可以盡可能早的發(fā)現(xiàn)程序中的不可執(zhí)行路徑,從而提高分析的效率。
we can deal with the programs that contain some input variables, the programs with control structures and unexecutable paths . with our method more information will be acquired and the accuracy of the analysis will be improved 數(shù)據(jù)相關(guān)性的靜態(tài)測(cè)試可以精確處理數(shù)組下標(biāo)表達(dá)式為線性表達(dá)式的情況,而且還可以精確求解數(shù)組下標(biāo)中含有輸入變量的情況。
furthermore, this paper abandons the transition which will makes the test sequence unexecutable . finally, we combine data flow method and control flow method to produce test cases . this method can effectively solve the test case executable problem 本文在現(xiàn)有測(cè)試?yán)碚摪l(fā)展的基礎(chǔ)上,通過狀態(tài)約束機(jī)制和數(shù)據(jù)流、控制流結(jié)合生成測(cè)試序列的方法,在一定程度上緩解了這兩個(gè)問題。