構(gòu)件化軟件測試包裝器研究.pdf

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

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