HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

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

作者:邓琼; 陈建锋数据库迁移比对

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

信息通信技术与政策

《信息通信技术与政策》(CN:10-1576/TN)是一本有较高学术价值的大型月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《信息通信技术与政策》杂志旨在贯穿政府颁布的电信网技术体制、标准、规范、提供与新技术、新装备有关的各种网络规划的解决方案,以及系统、终端设备入网检测信息、咨询,增进中外电信界的相互了解,促进电信主管、经营、科研、生产部门的交流与合作,搭建中外电信企业间及广大用户间的信息桥梁。

杂志详情