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

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

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