面向?qū)ο蠓謱訙y(cè)試的方法研究.pdf

1、軟件測(cè)試是保證軟件質(zhì)量和可靠性的重要手段。面向?qū)ο蠹夹g(shù)發(fā)展迅速并得到業(yè)界的普遍認(rèn)同,成為人們首選的開(kāi)發(fā)模式。但在這種開(kāi)發(fā)模式給用戶帶來(lái)巨大方便的同時(shí),其特性,例如繼承、多態(tài)、封裝、抽象等,讓面向?qū)ο筌浖鱾€(gè)模塊之間關(guān)系更加復(fù)雜以及結(jié)構(gòu)難以理解,最終給軟件測(cè)試帶來(lái)新的問(wèn)題。因此,傳統(tǒng)的軟件測(cè)試技術(shù)將不能直接應(yīng)用于面向?qū)ο筌浖臏y(cè)試過(guò)程,這就需要人們結(jié)合面向?qū)ο蠹夹g(shù)的特性,研究新的測(cè)試?yán)碚摗⒎椒▉?lái)與之相適應(yīng)。
　　 本論文的目標(biāo)是研

2、究一種進(jìn)行面向?qū)ο筌浖y(cè)試的策略。這種策略基于Kung等人提供的測(cè)試支持工具對(duì)象關(guān)系圖進(jìn)行研究,此圖用于展現(xiàn)類(lèi)間的繼承、聚合和關(guān)聯(lián)關(guān)系。但基于對(duì)象關(guān)系圖的測(cè)試研究只考慮軟件的靜態(tài)結(jié)構(gòu),未對(duì)動(dòng)態(tài)結(jié)構(gòu)進(jìn)行展現(xiàn),而且已有的對(duì)象關(guān)系圖環(huán)路破壞算法存在不足和需要改進(jìn)的地方,論文都將對(duì)此進(jìn)行改進(jìn)。
　　 文章關(guān)于面向?qū)ο鬁y(cè)試策略的研究是基于類(lèi)間依賴(lài)關(guān)系的分析而進(jìn)行的。首先,根據(jù)選擇測(cè)試程序的不同時(shí)期,類(lèi)間依賴(lài)關(guān)系分為靜態(tài)依賴(lài)和動(dòng)態(tài)依賴(lài)。目標(biāo)

3、類(lèi)的依賴(lài)關(guān)系包括目標(biāo)類(lèi)依賴(lài)類(lèi)的集合和依賴(lài)目標(biāo)類(lèi)的集合。然后,根據(jù)類(lèi)間依賴(lài)關(guān)系分析結(jié)果,論文定義測(cè)試層次和研究其生成過(guò)程,并形式化的表示每個(gè)類(lèi)所處的層次。接下來(lái)在此基礎(chǔ)上,論文進(jìn)行測(cè)試順序的定義和生成過(guò)程研究。測(cè)試順序?qū)⒁韵聵?biāo)的形式來(lái)定義,其中包括一級(jí)下標(biāo)(代表測(cè)試層次),二級(jí)下標(biāo)(代表主順序)和三級(jí)下標(biāo)(代表簇內(nèi)順序)。最后,文章通過(guò)方法復(fù)用驗(yàn)證和屬性復(fù)用驗(yàn)證對(duì)一種測(cè)試策略進(jìn)行效率考證。本文案例將選擇零碼平臺(tái)中的一個(gè)子系統(tǒng)進(jìn)行測(cè)試,應(yīng)用