一种基于有限状态机的分布式框架配置属性校验方法

作     者：刘怡然 谢鹏飞 邓雪峰 LIU Yiran;XIE Pengfei;DENG Xuefeng

作者机构：山西农业大学信息科学与工程学院山西太谷030801 北京微梦创科网络技术有限公司北京100080 

基　　金：山西省优秀博士来晋工作奖励资金资助项目(SXYBKY201721) 山西农业大学青年科技创新基金资助项目(2019025) 

出 版 物：《江苏大学学报（自然科学版）》 (Journal of Jiangsu University：Natural Science Edition)

年 卷 期：2022年第43卷第1期

页      码：83-87,94页

摘      要：针对动态配置技术提供灵活方便配置方式的同时有潜在配置错误风险、可能导致系统崩溃、降低软件服务质量的问题,提出了一种基于有限状态机的分布式框架动态配置属性校验方法.该方法利用数据类型间的转换进行数据类型校验,运用有限状态机的状态转换逻辑实现多种数据类型之间的转换,并以Spring Cloud的动态配置为例实现了一个分布式框架配置校验器.为避免不必要的文件读写,改进了Java compiler,使动态编译所得字节码的加载在内存中进行.基于Spring Cloud Config框架对配置校验功能进行测试,设计了原始数据类型和包装数据类型配置错误的测试用例.结果表明,该方法可检测简单数据类型不匹配、数据溢出、容器类型未闭合、容器类型内数据类型错误、容器类型嵌套错误等错误类型,提供了一种比较清晰的配置属性校验逻辑,基于有限状态机的实现解耦了代码,为实现框架配置管理的校验功能提供了参考.

主 题 词：配置校验 分布式框架 有限状态机 动态配置 动态编译 质量服务 Spring Cloud 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1671-7775.2022.01.012

馆 藏 号：203106981...