基于DSL的一种数据合法性校验框架的设计与实现
发布时间：2020-12-10 08:58
在软件开发中,数据的合法性校验占据着十分重要的位置。数据合法性校验的好坏从软件产品的安全性、用户体验、可维护性以及健壮性等方面影响着软件产品的质量,是软件产品一个不可或缺的功能。本文在对一个电化学工作站系统进行参数校验即数据合法性校验重构的背景下,设计并实现了一种基于DSL的数据合法性校验框架。设计的校验框架与语言无关,支持对数据的范围和数据间依赖关系的合法性校验。框架采用基于DSL的可变性建模技术,对数据合法性校验的可变性与共性进行分析,构建元模型。基于元模型,使用DSL表达可变性部分,StringTemplate模板表述共性部分,使用DSL工具ANTLR和StringTemplate实现校验代码生成器。最后,在元模型的约束下,编写元模型实例,使用校验代码生成器,生成全部校验部分的代码。使用设计的校验框架完成了电化学工作站系统的80多个电化学实验的参数校验重构工作,框架将参数校验逻辑与业务逻辑之间进行了分离,将应用系统中的数据校验部分抽取出来,降低了数据校验在应用系统中的耦合度,降低了数据校验在系统中的维护难度。框架采用了统一规范的校验方式,使用相同的元模型文件、模板文件,无需多次编...
【文章来源】：东北师范大学吉林省 211工程院校 教育部直属院校
【文章页数】：44 页
【学位级别】：硕士
【部分图文】：
语义模型类图
第五章 校验框架的测试进行校验框架测试的目的在于验证框架在设计之初期望的功能在开发完成后是否达到要求，同时对校验框架是否存在缺陷漏洞等问题进行检查。对本校验框架进行的测试主要包括单元测试和集成测试。5.1 单元测试本校验框架中的语义模型是使用 JAVA 语言实现的，采用 Junit 对语义模型进行单元测试，实现了单元测试的自动化执行。语义模型的单元测试样例代码如图 5.1，
图 5.2 校验框架语义模型单元测试执行结果图如图 5.2 所示，语义模型的单元测试部分共编写测试用例 73 条，使用 Junit 执行全部单元测试用例，运行结果显示 Errors 为 0，Failures 为 0，全部通过。5.2 集成测试应用本校验框架重构电化学工作站的 80 种电化学实验的实验参数合法性校验，然后对电化学工作站的原有测试用例进行了回归测试，测试用例全部通过，符合上线要求。5.2.1 集成测试环境电化学工作站由上位机和下位机两部分组成，集成测试主要测试上位机与下位机的连通性，以及上位机对下位机的控制。（1）下位机测试环境下位机由中国科学院长春应用化学研究所提供，其内部由快速数字波形发生器、溶液电阻补偿电路、高速数据采集电路等组成。主要性能指标如下：最大输出电压 -12V～+12V
【参考文献】：
期刊论文
[1]基于ANTLR的HL7按需解析程序自动生成技术[J]. 曹榕榕,郑建立,张璐,侯露杰. 信息技术. 2016(01)
[2]基于ANTLR工具的高层次综合方法实现[J]. 田素雷,赵月明,常迎辉. 中国集成电路. 2015(04)
[3]软件产品线可变性建模技术系统综述[J]. 聂坤明,张莉,樊志强. 软件学报. 2013(09)
[4]jQuery.Validate在Web中的应用[J]. 王娜,朱秀群,马强. 电脑知识与技术. 2012(26)
[5]基于C#快速生成word报告[J]. 肖斌,李超,汪敏. 计算机系统应用. 2012(07)
[6]基于模板的代码生成器的研究与实现[J]. 赵军. 长春师范学院学报. 2011(12)
[7]基于Struts2框架校验数据及整合正则表达式的实现方法[J]. 周冬初,鞠凤娟,郭东珲. 计算机与现代化. 2011(01)
[8]基于XML代码生成技术的应用研究[J]. 苗维杰,李天辉. 电子元器件应用. 2009(10)
[9]基于JSValidation验证框架的Web表单校验[J]. 刘颖. 电脑学习. 2009(01)
[10]JUnit框架剖析[J]. 戴建国,郭理,曹传东. 计算机与数字工程. 2008(08)
硕士论文
[1]基于DSL的电化学仪器上位机软件产品线的设计与实现[D]. 郑蕊.东北师范大学 2014
[2]代码生成技术在管理信息系统开发中的研究与应用[D]. 董玉明.吉林大学 2012
[3]基于ANTLR的Gaussian词法分析器和语法分析器的分析与设计[D]. 刘三献.兰州大学 2009
[4]基于模板的自动代码生成技术的研究[D]. 管太阳.电子科技大学 2007
[5]电化学工作站开发[D]. 宋玉龙.东北师范大学 2006
[6]基于元模型的软件框架技术研究[D]. 时贵英.大庆石油学院 2006
[7]基于.Net的企业应用系统可复用框架的研究与设计[D]. 王晓.同济大学 2006
本文编号：2908431
【文章来源】：东北师范大学吉林省 211工程院校 教育部直属院校
【文章页数】：44 页
【学位级别】：硕士
【部分图文】：
语义模型类图
第五章 校验框架的测试进行校验框架测试的目的在于验证框架在设计之初期望的功能在开发完成后是否达到要求，同时对校验框架是否存在缺陷漏洞等问题进行检查。对本校验框架进行的测试主要包括单元测试和集成测试。5.1 单元测试本校验框架中的语义模型是使用 JAVA 语言实现的，采用 Junit 对语义模型进行单元测试，实现了单元测试的自动化执行。语义模型的单元测试样例代码如图 5.1，
图 5.2 校验框架语义模型单元测试执行结果图如图 5.2 所示，语义模型的单元测试部分共编写测试用例 73 条，使用 Junit 执行全部单元测试用例，运行结果显示 Errors 为 0，Failures 为 0，全部通过。5.2 集成测试应用本校验框架重构电化学工作站的 80 种电化学实验的实验参数合法性校验，然后对电化学工作站的原有测试用例进行了回归测试，测试用例全部通过，符合上线要求。5.2.1 集成测试环境电化学工作站由上位机和下位机两部分组成，集成测试主要测试上位机与下位机的连通性，以及上位机对下位机的控制。（1）下位机测试环境下位机由中国科学院长春应用化学研究所提供，其内部由快速数字波形发生器、溶液电阻补偿电路、高速数据采集电路等组成。主要性能指标如下：最大输出电压 -12V～+12V
【参考文献】：
期刊论文
[1]基于ANTLR的HL7按需解析程序自动生成技术[J]. 曹榕榕,郑建立,张璐,侯露杰. 信息技术. 2016(01)
[2]基于ANTLR工具的高层次综合方法实现[J]. 田素雷,赵月明,常迎辉. 中国集成电路. 2015(04)
[3]软件产品线可变性建模技术系统综述[J]. 聂坤明,张莉,樊志强. 软件学报. 2013(09)
[4]jQuery.Validate在Web中的应用[J]. 王娜,朱秀群,马强. 电脑知识与技术. 2012(26)
[5]基于C#快速生成word报告[J]. 肖斌,李超,汪敏. 计算机系统应用. 2012(07)
[6]基于模板的代码生成器的研究与实现[J]. 赵军. 长春师范学院学报. 2011(12)
[7]基于Struts2框架校验数据及整合正则表达式的实现方法[J]. 周冬初,鞠凤娟,郭东珲. 计算机与现代化. 2011(01)
[8]基于XML代码生成技术的应用研究[J]. 苗维杰,李天辉. 电子元器件应用. 2009(10)
[9]基于JSValidation验证框架的Web表单校验[J]. 刘颖. 电脑学习. 2009(01)
[10]JUnit框架剖析[J]. 戴建国,郭理,曹传东. 计算机与数字工程. 2008(08)
硕士论文
[1]基于DSL的电化学仪器上位机软件产品线的设计与实现[D]. 郑蕊.东北师范大学 2014
[2]代码生成技术在管理信息系统开发中的研究与应用[D]. 董玉明.吉林大学 2012
[3]基于ANTLR的Gaussian词法分析器和语法分析器的分析与设计[D]. 刘三献.兰州大学 2009
[4]基于模板的自动代码生成技术的研究[D]. 管太阳.电子科技大学 2007
[5]电化学工作站开发[D]. 宋玉龙.东北师范大学 2006
[6]基于元模型的软件框架技术研究[D]. 时贵英.大庆石油学院 2006
[7]基于.Net的企业应用系统可复用框架的研究与设计[D]. 王晓.同济大学 2006
本文编号：2908431
本文链接：https://www.wllwen.com/kejilunwen/ruanjiangongchenglunwen/2908431.html
