一種基于面向組件模型的軟件構(gòu)建及驗(yàn)證的方法
【專(zhuān)利摘要】本發(fā)明公開(kāi)一種基于面向組件模型的軟件構(gòu)建及驗(yàn)證的方法。該方法包括：在開(kāi)源操作系統(tǒng)Linux搭建搭建編譯環(huán)境、在Windows環(huán)境中基于面向?qū)ο竽Ｐ途幋a應(yīng)用程序、所得到的應(yīng)用程序源代碼編譯出在Windows平臺(tái)下的動(dòng)態(tài)鏈接庫(kù)；利用Makefile文件生成在Linux環(huán)境或嵌入式環(huán)境中可重復(fù)利用的動(dòng)態(tài)庫(kù)；單獨(dú)使用Linux環(huán)境或嵌入式開(kāi)發(fā)環(huán)境，運(yùn)行待驗(yàn)證程序，并通過(guò)鏈接so動(dòng)態(tài)鏈接庫(kù)，產(chǎn)生輸出，并將輸出打印或直接以文本格式存儲(chǔ)，記為文本A；中得到的動(dòng)態(tài)庫(kù)，單獨(dú)使用C++開(kāi)發(fā)環(huán)境運(yùn)行并通過(guò)鏈接so動(dòng)態(tài)鏈接庫(kù)，產(chǎn)生輸出，并將輸出打印或直接以文本格式存儲(chǔ)，記為文本B；使用二進(jìn)制比較方法，直接比較文本A和文本B，既得驗(yàn)證。
【專(zhuān)利說(shuō)明】一種基于面向組件模型的軟件構(gòu)建及驗(yàn)證的方法
【技術(shù)領(lǐng)域】
[0001]本發(fā)明涉及軟件工程技術(shù)兼容性領(lǐng)域，具體涉及一種基于面向組件模型的軟件構(gòu)建及驗(yàn)證的方法。
【背景技術(shù)】
[0002]COM是一個(gè)可以用于構(gòu)造軟件組件的模型。它由微軟提出并發(fā)布，在數(shù)十年的時(shí)間內(nèi)不斷成長(zhǎng)，到目前為止，COM技術(shù)已經(jīng)和JavaBeans、CORBA 一起被并稱(chēng)為組件開(kāi)發(fā)的三大標(biāo)準(zhǔn)。COM具有構(gòu)件開(kāi)發(fā)語(yǔ)言的無(wú)關(guān)性、跨平臺(tái)性、構(gòu)件運(yùn)行位置和進(jìn)程透明性、組件配置靈活性和運(yùn)行安全性等特性，而且它有流行的開(kāi)發(fā)環(huán)境支持(如VC、VB、Delphi等)，對(duì)比其他組件技術(shù)，COM開(kāi)發(fā)過(guò)程簡(jiǎn)單，容易人手，這些因素使得COM成為當(dāng)前廣受歡迎的組件開(kāi)發(fā)技術(shù)之一。
[0003]在COM組件模型中，接口是最為重要的概念，在整個(gè)應(yīng)用系統(tǒng)中起決性作用，夕卜界和組件方所有的交互都通過(guò)接口實(shí)現(xiàn)，因此接口設(shè)計(jì)的優(yōu)劣直接影響組件的質(zhì)量。良好的接口的設(shè)計(jì)有利于提高組件的可用性、可理解性，有利于軟件的維護(hù)、擴(kuò)展和重用。不合理的設(shè)計(jì)則會(huì)導(dǎo)致組件難于理解、難于選擇，從而影響整個(gè)軟件的可靠性。
[0004]軟件的驗(yàn)證在許多領(lǐng)域中都有著廣泛的應(yīng)用，比如維護(hù)系統(tǒng)安全、信息犯罪記錄以及海量信息比對(duì)和查閱等，都需要進(jìn)行大量的軟件驗(yàn)證工作。在驗(yàn)證活動(dòng)中必須回答以下問(wèn)題:I)通過(guò)評(píng)審到底能發(fā)現(xiàn)多少缺陷；2)有多少缺陷是在評(píng)審過(guò)程中發(fā)現(xiàn)的，又有多少是在后面的確認(rèn)測(cè)試中發(fā)現(xiàn)的；3)有多大比例的缺陷留到了測(cè)試結(jié)束，由客戶(hù)發(fā)現(xiàn)的。
[0005]需求驗(yàn)證最可能為軟件開(kāi)發(fā)節(jié)省成本。它可以檢測(cè)出許多缺陷，否則這些缺陷會(huì)進(jìn)入開(kāi)發(fā)周期的后期，那時(shí)再糾正缺陷代價(jià)就要高多了，問(wèn)題轉(zhuǎn)移到了下游階段。實(shí)際上50%以上的缺陷都是在需求階段引入的。驗(yàn)證的效果總的來(lái)說(shuō)要高于確認(rèn)測(cè)試。它可以發(fā)現(xiàn)一些在確認(rèn)測(cè)試過(guò)程中幾乎不可能檢測(cè)出來(lái)的缺陷。最重要的是，利用驗(yàn)證可以盡早發(fā)現(xiàn)和檢測(cè)出缺陷。
[0006]基于COM的軟件驗(yàn)證技術(shù)是從組件構(gòu)建方法中發(fā)展起來(lái)的新型軟件驗(yàn)證技術(shù)，它是一種把動(dòng)態(tài)鏈接庫(kù)當(dāng)作檢測(cè)和傳遞信息的手段或載體而加以利用的驗(yàn)證方法，通過(guò)比對(duì)相同源代碼在不同系統(tǒng)中的運(yùn)行輸出，最終從比對(duì)結(jié)果中獲取被測(cè)對(duì)象的實(shí)際信息?；贑OM的驗(yàn)證技術(shù)具有高精度、穩(wěn)定性好、普遍性高等特點(diǎn)，若再結(jié)合腳本編程控制技術(shù)，可構(gòu)成自動(dòng)化、智能化程度較高的實(shí)用在線(xiàn)軟件驗(yàn)證系統(tǒng)。目前，通過(guò)多平臺(tái)的多次運(yùn)行同一軟件，提取軟件運(yùn)行結(jié)果的特征參數(shù)，如運(yùn)行時(shí)間、占用內(nèi)存空間大小、輸出穩(wěn)定性等，進(jìn)行軟件的驗(yàn)證已經(jīng)受到了廣泛關(guān)注。軟件兼容性高度作為軟件的重要特征之一，利用基于COM的驗(yàn)證技術(shù)對(duì)其進(jìn)行多平臺(tái)兼容性驗(yàn)證在某些應(yīng)用場(chǎng)合具有十分重要的意義。
[0007]基于COM的軟件兼容性驗(yàn)證主要有兩類(lèi)，一類(lèi)是應(yīng)用傳統(tǒng)驗(yàn)證方式，依據(jù)正常設(shè)計(jì)過(guò)程、設(shè)計(jì)并編寫(xiě)待測(cè)試軟件，將成品提供給客戶(hù)使用，進(jìn)而多方位、多次數(shù)的提取用戶(hù)反饋信息，然后根據(jù)反饋信息做有一定針對(duì)性的軟件驗(yàn)證和修改。完成一輪使用、反饋、修改后，拿出成品再次進(jìn)入下一輪的使用驗(yàn)證循環(huán)。另外一種方法是直接應(yīng)用待驗(yàn)證的軟甲成品在開(kāi)發(fā)技術(shù)組中進(jìn)行驗(yàn)證。與經(jīng)典的基于循環(huán)驗(yàn)證的方法相比，這種不僅避免了驗(yàn)證周期長(zhǎng)的問(wèn)題，而且在產(chǎn)品提交客戶(hù)前即可做充分驗(yàn)證，這樣使得客戶(hù)不用承擔(dān)軟件重大漏洞的責(zé)任，整個(gè)驗(yàn)證過(guò)程更方便。因此基于COM的軟件驗(yàn)證方法是計(jì)算機(jī)軟件驗(yàn)證領(lǐng)域的一個(gè)重要發(fā)展方向。由于單一軟件驗(yàn)證環(huán)境不能提供足夠的平臺(tái)兼容性信息，所以必須提供與平臺(tái)兼容性相關(guān)的動(dòng)態(tài)鏈接庫(kù)等的已知信息。通常，需要要在驗(yàn)證過(guò)程中使用已被廣泛論證過(guò)的成熟動(dòng)態(tài)鏈接庫(kù)，如標(biāo)準(zhǔn)庫(kù)模板。

【發(fā)明內(nèi)容】

[0008]本發(fā)明要解決的技術(shù)問(wèn)題是提供一種基于面向組件模型的軟件構(gòu)建及驗(yàn)證的方法，使得能夠方便地、準(zhǔn)確地驗(yàn)證軟件在不同系統(tǒng)中的兼容性。
[0009]為了實(shí)現(xiàn)發(fā)明的目的，本發(fā)明采用的技術(shù)方案如下:
[0010]本發(fā)明提供一種基于面向組件模型的軟件構(gòu)建及驗(yàn)證的方法，包括:
[0011]在至少兩種開(kāi)發(fā)平臺(tái)中準(zhǔn)備各自適用的動(dòng)態(tài)鏈接庫(kù)源碼；
[0012]編寫(xiě)待驗(yàn)證軟件源代碼，作為驗(yàn)證原本；
[0013]在Linux系統(tǒng)中編寫(xiě)適用于Linux平臺(tái)的動(dòng)態(tài)鏈接庫(kù)程序,形成動(dòng)態(tài)鏈接庫(kù),后綴為.so的文件；
[0014]在Windows系統(tǒng)中編寫(xiě)適用于Windows平臺(tái)的動(dòng)態(tài)鏈接庫(kù)程序,形成動(dòng)態(tài)鏈接庫(kù)，后綴為.dll的文件；
[0015]使用待驗(yàn)證程序源代碼分別動(dòng)態(tài)鏈接上述得到的對(duì)應(yīng)平臺(tái)的動(dòng)態(tài)鏈接庫(kù)，保證源代碼的唯一性，使用COM的動(dòng)態(tài)特性，分別運(yùn)行，并分別得到運(yùn)行結(jié)果的文本文件；
[0016]
【權(quán)利要求】
1.一種基于面向組件模型的軟件構(gòu)建及驗(yàn)證的方法，其特征在于: 在Linux環(huán)境中編寫(xiě)和編譯源代碼，同時(shí)在Windows環(huán)境中編寫(xiě)和編譯源代碼。
2.根據(jù)權(quán)利要求1所述的一種基于面向組件模型的軟件構(gòu)建及驗(yàn)證的方法，其特征在于: 利用所得到的源代碼，在Linux系統(tǒng)和Windows系統(tǒng)中分別產(chǎn)生動(dòng)態(tài)鏈接庫(kù)文件，由于源代碼屬于同一版本，因此得到的動(dòng)態(tài)鏈接庫(kù)的區(qū)別只是分別具有本編譯系統(tǒng)的特征。
3.一種基于面向組件模型的軟件構(gòu)建及驗(yàn)證的方法，其特征在于: 使用待驗(yàn)證程序代碼，動(dòng)態(tài)調(diào)用上述動(dòng)態(tài)鏈接庫(kù)文件，分別生成文本文件A和文本文件B，存儲(chǔ)到本地。
4.根據(jù)權(quán)利要求3所述的一種基于面向組件模型的軟件構(gòu)建及驗(yàn)證的方法，其特征在于: 利用二進(jìn)制對(duì)比程序，對(duì)比文本文件A和文本文件B，并對(duì)比對(duì)結(jié)果做詳細(xì)記錄。
5.一種基于面向組件模型的軟件構(gòu)建及驗(yàn)證的方法，其特征在于: 利用驗(yàn)證結(jié)果記錄做穩(wěn)定分析，得到驗(yàn)證結(jié)果。
【文檔編號(hào)】G06F11/36GK103853660SQ201310743470
【公開(kāi)日】2014年6月11日 申請(qǐng)日期:2013年12月30日 優(yōu)先權(quán)日:2013年12月30日
【發(fā)明者】劉海亮, 廖奇, 羅笑南, 楊艾琳, 蘇航 申請(qǐng)人:中山大學(xué)深圳研究院