论文部分内容阅读
随着开源数据库技术的发展,更多的业务系统从商业数据库迁移至开源数据库。保持数据模型不变的系统迁移,有一种更强力的手段证明其迁移的正确性。通过实时或准实时地比较两边日志的差异,可以得出系统工作是否符合预期的结论,也可以为应用排查问题提供更多依据。
应用系统迁移正确性证明的新方法--从静态切面数据证明到数据变化过程证明
【摘 要】
：
随着开源数据库技术的发展,更多的业务系统从商业数据库迁移至开源数据库。保持数据模型不变的系统迁移,有一种更强力的手段证明其迁移的正确性。通过实时或准实时地比较两边
【机 构】
：
中信银行软件开发中心技术平台开发处
【出 处】
：
信息通信技术与政策
【发表日期】
：
2019年5期
其他文献
当前,人工智能已成为国家发展战略,亦已成为推动数字中国、智慧社会发展的核心驱动技术代表。作为赋能技术,人工智能技术体系正在加速与经济社会各个方面的快速融合,深刻影响
文章论述了信息化在推进我省结构调整、促进全省经济持续、健康、快速发展和提高全省人民生活水平、质量等方面的积极作用.
文章阐述了再生污水回用于循环冷却水系统所出现的新问题，并且针对新出现的问题提出了建议和解决方法。
文章对影响膛口装置性能指标的各种因素进行了分析,得出设计多功能膛口装置的参考依据.
通过对礼貌的概念及运用的研究,文章分析了如何使用英语礼貌语言中留面子的种种不同策略,分别达到积极礼貌以及消极礼貌的目的。通过分析积极礼貌、消极礼貌以及非公开的技巧