基于形式規(guī)格說明的面向方面測試的研究.pdf

1、面向方面編程AOP是一種全新的軟件開發(fā)技術(shù)，它解決了在面向?qū)ο缶幊讨杏袡M切關(guān)注點所引起的代碼分散和代碼糾纏問題。由于AOP引入了新的語言機制：連接點、切入點和通知等，這影響了程序的狀態(tài)和行為，導(dǎo)致方面和類之間的交互復(fù)雜化。因此，開發(fā)適合面向方面的新的軟件測試技術(shù)是AOP的一項迫切而艱巨的任務(wù)。 在本文中，我們提出一種基于A—FREE模型的面向方面測試技術(shù)。A—FREE是對FREE狀態(tài)模型的擴展，通過基于現(xiàn)有的面向方面建模技術(shù)，添

2、加橫切關(guān)注點、橫切特性、橫切接口、橫切元素等AOP特性而得到。我們通過分析方面對類的影響，提出一種編織機制，進而得到編織狀態(tài)模型WSM。 方面轉(zhuǎn)換樹A—TT基于A—FREE模型并通過轉(zhuǎn)換規(guī)則得到。本文中，我們擴展了以往顯式路徑轉(zhuǎn)換樹的方法，提出多條件覆蓋A—TT規(guī)則和N+測試A—TT規(guī)則，分別用來識別潛行路徑和狀態(tài)控制錯誤。其中，我們詳細(xì)分析了狀態(tài)控制錯誤如何導(dǎo)致基于A—FREE模型測試的失敗，并研究了基于A—FREE模型的測試