基于本體的軟件測(cè)試用例及腳本自動(dòng)生成技術(shù)研究.pdf

1、軟件測(cè)試在目前的軟件研發(fā)工作中的占的比重越來(lái)越大，針對(duì)GUI的軟件測(cè)試一般來(lái)說(shuō)包括測(cè)試路徑和測(cè)試數(shù)據(jù)兩部分，測(cè)試路徑和數(shù)據(jù)的選擇是否合理和全面是軟件測(cè)試工作非常重要的部分，目前GUI軟件測(cè)試已經(jīng)引入了自動(dòng)化測(cè)試技術(shù)，能夠執(zhí)行一些人工參與度小，并且需要重復(fù)執(zhí)行的工作，但是自動(dòng)化腳本的生成和維護(hù)仍然需要很多額外的人工參與。
　　本文引入知識(shí)庫(kù)，首先闡述了軟件測(cè)試用例生成辦法的現(xiàn)狀和背景，分析了它們存在的缺乏對(duì)待測(cè)系統(tǒng)形式化表達(dá)，以及不

2、利于對(duì)測(cè)試用例的維護(hù)等現(xiàn)狀，本文通過(guò)引入本體模型和推理規(guī)則來(lái)解決以上問(wèn)題。
　　本文通過(guò)建立通用的軟件本體模型，包括了軟件的基本信息和它們之間的約束關(guān)系，然后實(shí)例化出本文的待測(cè)軟件(車輛管理系統(tǒng))的模型，并且利用基于OWL的本體編輯器protégé進(jìn)行本體的形式化表達(dá)。然后建立了符合業(yè)務(wù)邏輯的規(guī)則，利用SWRL語(yǔ)言進(jìn)行了表達(dá)。
　　然后將SWRL規(guī)則和OWL本體轉(zhuǎn)換為Jess規(guī)則和Jess事實(shí),并且推理出測(cè)試用例，接著利用編