在軟件開發(fā)中,數(shù)據(jù)的合法性校驗(yàn)占據(jù)著十分重要的位置。數(shù)據(jù)合法性校驗(yàn)的好壞從軟件產(chǎn)品的安全性、用戶體驗(yàn)、可維護(hù)性以及健壯性等方面影響著軟件產(chǎn)品的質(zhì)量,是軟件產(chǎn)品一個(gè)不可或缺的功能。本文在對(duì)一個(gè)電化學(xué)工作站系統(tǒng)進(jìn)行參數(shù)校驗(yàn)即數(shù)據(jù)合法性校驗(yàn)重構(gòu)的背景下,設(shè)計(jì)并實(shí)現(xiàn)了一種基于DSL的數(shù)據(jù)合法性校驗(yàn)框架。設(shè)計(jì)的校驗(yàn)框架與語言無關(guān),支持對(duì)數(shù)據(jù)的范圍和數(shù)據(jù)間依賴關(guān)系的合法性校驗(yàn)�？蚣懿捎没贒SL的可變性建模技術(shù),對(duì)數(shù)據(jù)合法性校驗(yàn)的可變性與共性進(jìn)行分析,構(gòu)建元模型�；谠Ｐ�,使用DSL表達(dá)可變性部分,StringTemplate模板表述共性部分,使用DSL工具ANTLR和StringTemplate實(shí)現(xiàn)校驗(yàn)代碼生成器。最后,在元模型的約束下,編寫元模型實(shí)例,使用校驗(yàn)代碼生成器,生成全部校驗(yàn)部分的代碼。使用設(shè)計(jì)的校驗(yàn)框架完成了電化學(xué)工作站系統(tǒng)的80多個(gè)電化學(xué)實(shí)驗(yàn)的參數(shù)校驗(yàn)重構(gòu)工作,框架將參數(shù)校驗(yàn)邏輯與業(yè)務(wù)邏輯之間進(jìn)行了分離,將應(yīng)用系統(tǒng)中的數(shù)據(jù)校驗(yàn)部分抽取出來,降低了數(shù)據(jù)校驗(yàn)在應(yīng)用系統(tǒng)中的耦合度,降低了數(shù)據(jù)校驗(yàn)在系統(tǒng)中的維護(hù)難度�？蚣懿捎昧私y(tǒng)一規(guī)范的校驗(yàn)方式,使用相同的元模型文件、模板文件,無需多次編... 

【文章來源】：東北師范大學(xué)吉林省 211工程院校 教育部直屬院校

【文章頁數(shù)】：44 頁

【學(xué)位級(jí)別】：碩士

【部分圖文】：

語義模型類圖

第五章 校驗(yàn)框架的測(cè)試進(jìn)行校驗(yàn)框架測(cè)試的目的在于驗(yàn)證框架在設(shè)計(jì)之初期望的功能在開發(fā)完成后是否達(dá)到要求，同時(shí)對(duì)校驗(yàn)框架是否存在缺陷漏洞等問題進(jìn)行檢查。對(duì)本校驗(yàn)框架進(jìn)行的測(cè)試主要包括單元測(cè)試和集成測(cè)試。5.1 單元測(cè)試本校驗(yàn)框架中的語義模型是使用 JAVA 語言實(shí)現(xiàn)的，采用 Junit 對(duì)語義模型進(jìn)行單元測(cè)試，實(shí)現(xiàn)了單元測(cè)試的自動(dòng)化執(zhí)行。語義模型的單元測(cè)試樣例代碼如圖 5.1，

圖 5.2 校驗(yàn)框架語義模型單元測(cè)試執(zhí)行結(jié)果圖如圖 5.2 所示，語義模型的單元測(cè)試部分共編寫測(cè)試用例 73 條，使用 Junit 執(zhí)行全部單元測(cè)試用例，運(yùn)行結(jié)果顯示 Errors 為 0，F(xiàn)ailures 為 0，全部通過。5.2 集成測(cè)試應(yīng)用本校驗(yàn)框架重構(gòu)電化學(xué)工作站的 80 種電化學(xué)實(shí)驗(yàn)的實(shí)驗(yàn)參數(shù)合法性校驗(yàn)，然后對(duì)電化學(xué)工作站的原有測(cè)試用例進(jìn)行了回歸測(cè)試，測(cè)試用例全部通過，符合上線要求。5.2.1 集成測(cè)試環(huán)境電化學(xué)工作站由上位機(jī)和下位機(jī)兩部分組成，集成測(cè)試主要測(cè)試上位機(jī)與下位機(jī)的連通性，以及上位機(jī)對(duì)下位機(jī)的控制。（1）下位機(jī)測(cè)試環(huán)境下位機(jī)由中國科學(xué)院長春應(yīng)用化學(xué)研究所提供，其內(nèi)部由快速數(shù)字波形發(fā)生器、溶液電阻補(bǔ)償電路、高速數(shù)據(jù)采集電路等組成。主要性能指標(biāo)如下：最大輸出電壓 -12V～+12V

【參考文獻(xiàn)】：
期刊論文
[1]基于ANTLR的HL7按需解析程序自動(dòng)生成技術(shù)[J]. 曹榕榕,鄭建立,張璐,侯露杰.  信息技術(shù). 2016(01)
[2]基于ANTLR工具的高層次綜合方法實(shí)現(xiàn)[J]. 田素雷,趙月明,常迎輝.  中國集成電路. 2015(04)
[3]軟件產(chǎn)品線可變性建模技術(shù)系統(tǒng)綜述[J]. 聶坤明,張莉,樊志強(qiáng).  軟件學(xué)報(bào). 2013(09)
[4]jQuery.Validate在Web中的應(yīng)用[J]. 王娜,朱秀群,馬強(qiáng).  電腦知識(shí)與技術(shù). 2012(26)
[5]基于C#快速生成word報(bào)告[J]. 肖斌,李超,汪敏.  計(jì)算機(jī)系統(tǒng)應(yīng)用. 2012(07)
[6]基于模板的代碼生成器的研究與實(shí)現(xiàn)[J]. 趙軍.  長春師范學(xué)院學(xué)報(bào). 2011(12)
[7]基于Struts2框架校驗(yàn)數(shù)據(jù)及整合正則表達(dá)式的實(shí)現(xiàn)方法[J]. 周冬初,鞠鳳娟,郭東琿.  計(jì)算機(jī)與現(xiàn)代化. 2011(01)
[8]基于XML代碼生成技術(shù)的應(yīng)用研究[J]. 苗維杰,李天輝.  電子元器件應(yīng)用. 2009(10)
[9]基于JSValidation驗(yàn)證框架的Web表單校驗(yàn)[J]. 劉穎.  電腦學(xué)習(xí). 2009(01)
[10]JUnit框架剖析[J]. 戴建國,郭理,曹傳東.  計(jì)算機(jī)與數(shù)字工程. 2008(08)

碩士論文
[1]基于DSL的電化學(xué)儀器上位機(jī)軟件產(chǎn)品線的設(shè)計(jì)與實(shí)現(xiàn)[D]. 鄭蕊.東北師范大學(xué) 2014
[2]代碼生成技術(shù)在管理信息系統(tǒng)開發(fā)中的研究與應(yīng)用[D]. 董玉明.吉林大學(xué) 2012
[3]基于ANTLR的Gaussian詞法分析器和語法分析器的分析與設(shè)計(jì)[D]. 劉三獻(xiàn).蘭州大學(xué) 2009
[4]基于模板的自動(dòng)代碼生成技術(shù)的研究[D]. 管太陽.電子科技大學(xué) 2007
[5]電化學(xué)工作站開發(fā)[D]. 宋玉龍.東北師范大學(xué) 2006
[6]基于元模型的軟件框架技術(shù)研究[D]. 時(shí)貴英.大慶石油學(xué)院 2006
[7]基于.Net的企業(yè)應(yīng)用系統(tǒng)可復(fù)用框架的研究與設(shè)計(jì)[D]. 王曉.同濟(jì)大學(xué) 2006



本文編號(hào)：2908431