信息通信技术与政策

信息通信技术与政策

信息通信技术与政策 ›› 2019, Vol. 45 ›› Issue (5): 28-32.

上一篇    下一篇

应用系统迁移正确性证明的新方法#br# ——从静态切面数据证明到数据变化过程证明

Anewmethodto prove the correctness of system migration

  

  • 出版日期:2019-05-15 发布日期:2020-12-03
  • 作者简介:
    邓琼:中信银行软件开发中心技术平台开发处副处长
    陈建锋:中信银行软件开发中心技术平台开发处数据库架构师

  • Online:2019-05-15 Published:2020-12-03

摘要: 随着开源数据库技术的发展,更多的业务系统从商业数据库迁移至开源数据库。保持数据模型不变的系统迁移,有一种更强力的手段证明其迁移的正确性。通过实时或准实时地比较两边日志的差异,可以得出系统工作是否符合预期的结论,也可以为应用排查问题提供更多依据。

关键词: 数据库, 迁移, 比对

Abstract: With the development of open source database technology, more business systems are migrating from commercial databases to open source databases. System migration, which keeps the data model unchanged, has a more powerful means to prove the correctness of its migration. By comparing the differences between the two logs in real-time or quasi-real-time, we can conclude whether the system works in accordance with expectations, and provide more basis for the application of checking problems.

Key words: database, migrating, comparison