基于局部連續(xù)性的核電軟件測試研究.pdf

1、軟件測試是軟件質(zhì)量保證的重要內(nèi)容，是對軟件可靠性的度量。核電軟件作為計算機在核領(lǐng)域的應(yīng)用，有著其自身的特殊性，如數(shù)據(jù)量大、數(shù)據(jù)精度高、數(shù)據(jù)流復(fù)雜等。由于核能的特殊性，要求核電軟件有著高可靠性，這就更加離不開軟件測試。
　　軟件測試是一項非常繁瑣的工作，而且有著大量的重復(fù)勞動。在這重復(fù)工作中，如果全部依靠人工完成，不但占用大量的時間和人工，而且還極有可能出現(xiàn)差錯。因此，軟件測試的自動化就顯得尤為重要。然而現(xiàn)在市面上大部分的自動測試工

2、具并不能完全實現(xiàn)測試自動化，從測試用例的設(shè)計到執(zhí)行結(jié)果的分析基本還是需要人工干預(yù)。測試用例是軟件測試的核心部分，如果能針對被測軟件自動生成測試用例，那將會節(jié)省許多資源。
　　本文以對蒸汽發(fā)生器流動穩(wěn)定性計算軟件進行測試為背景，在單元測試過程中針對測試用例的自動生成這一問題提出了一種基于局部連續(xù)性的測試用例自動生成方法。該方法首先讀取待測軟件源程序，對程序進行分析得到基本路徑，并結(jié)合各變量的取值范圍得到步長值和劃分測試空間；然后將步