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

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

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