基于狀態(tài)建模的類測試方法的研究.pdf

1、隨著軟件服務(wù)領(lǐng)域的不斷拓展、軟件研發(fā)技術(shù)的不斷進步，面向?qū)ο蠹夹g(shù)已經(jīng)成為了軟件分析與設(shè)計的主導(dǎo)技術(shù)。然而與之相應(yīng)的軟件測試技術(shù)的發(fā)展卻是滯后的。因此，本文將圍繞面向?qū)ο筌浖臏y試技術(shù)展開探討?；陬悳y試對于面向?qū)ο筌浖y試的重要性，本文將類測試方法作為研究重點。
　　 本文首先討論了面向?qū)ο蠹夹g(shù)的特點及其對面向?qū)ο鬁y試的影響，面向?qū)ο筌浖y試的層次劃分，重點地分析了數(shù)個面向?qū)ο筌浖y試方法。對于面向?qū)ο筌浖念悳y試，本文將測試用

2、例的生成分為測試序列生成與測試數(shù)據(jù)構(gòu)造兩部分。通過類狀態(tài)構(gòu)造狀態(tài)機模型，在分析并對比W[1]方法，Wp[2]方法和UIO[3]方法的基礎(chǔ)上，選擇了UIO方法作為測試序列生成的研究方向，并在此基礎(chǔ)上實現(xiàn)了測試序列的生成。關(guān)于測試數(shù)據(jù)的構(gòu)造，本文分析了域測試法，隨機測試法，并重點對遺傳算法作為測試數(shù)據(jù)構(gòu)造方法的可行性進行了探討。本文進一步對如何通過遺傳算法完成測試數(shù)據(jù)構(gòu)造進行了研究，重點研究了如何構(gòu)造適應(yīng)值函數(shù)，提出了一個簡單的構(gòu)造方案，并