構件化軟件測試包裝器研究.pdf

1、近年來，基于構件的軟件開發(fā)(Component-Based Software Development CBSD)方法不斷成熟并在軟件生產中大量使用。構件能夠支持大粒度的軟件復用，極大地降低了軟件開發(fā)和維護的成本，提高了軟件產品的質量。然而，CBSD在提高軟件開發(fā)效率的同時，也帶來了難于測試的問題。構件的生產商只對單個構件進行了充分的單元測試，而對于構件的使用者而言，基于構件的軟件有異構性、源碼不可知性、構件版本不確定性的特點，使進行構件

2、化軟件測試的測試用例選取及測試工具的創(chuàng)建都很困難。 本文以構件化軟件測試為研究對象，繼承并發(fā)展基于合約檢查的構件化軟件測試理論，討論了構件化軟件測試的特點和現(xiàn)有測試方法的局限性，從提高構件易測試性方面討論了基于合約檢查的構件軟件測試方法的可行性。對于如何解決構件運行時進行合約檢查的問題，使用了構件合約包裝的方法，對包裝器所用到的技術進行分析，設計了通過包裝構件進行測試的基本框架，并在J8ya平臺下對包裝器進行實現(xiàn)，用一個例子驗證