基于構件接口信息與需求規(guī)約的構件方法執(zhí)行序列生成方法.doc
約43頁DOC格式手機打開展開
基于構件接口信息與需求規(guī)約的構件方法執(zhí)行序列生成方法,原創(chuàng)作品,獨家提供,推薦使用摘 要 基于構件的軟件工程已成為軟件工程領域的研究熱點。cbse(component-based software engineering)的特點是能夠實現(xiàn)構件的重用,使構件實現(xiàn)“即插即用”,縮短軟件開發(fā)周期,降低開發(fā)維護成本。各種新型構件...
內容介紹
此文檔由會員 那年三月 發(fā)布
基于構件接口信息與需求規(guī)約的構件方法執(zhí)行序列生成方法
原創(chuàng)作品,獨家提供,推薦使用
原創(chuàng)作品,獨家提供,推薦使用
摘 要 基于構件的軟件工程已成為軟件工程領域的研究熱點。CBSE(Component-based software engineering)的特點是能夠實現(xiàn)構件的重用,使構件實現(xiàn)“即插即用”,縮短軟件開發(fā)周期,降低開發(fā)維護成本。各種新型構件開發(fā)技術進一步提高了構件開發(fā)效率及構件性能,但構件的安全性問題始終沒有得到較好的解決,并一直困擾著構件的開發(fā)方和使用方。因此研究測試構件安全性的方法成為國內外構件測試研究的熱點。
由于構件本身的特點,即構件內部代碼不可知,所以傳統(tǒng)的軟件測試方法不適用于構件測試。為了有效地測試第三方構件的顯式及隱式安全性,必須生成能夠測試構件靜態(tài)及動態(tài)屬性的測試用例集。有些第三方構件提供了較為詳細的構件說明及構件接口定義語言IDL,此時可以根據(jù)構件接口信息利用頻繁項集挖掘