Page 3 - 《软件学报》2026年第1期

Journal of Software Vol.37, No.1 Jan. 2026

Contents
THEORETICAL COMPUTER SCIENCE
1 Survey on Complexity Lower Bound Research for Reachability Problem in Vector Addition Systems
CHEN Wei-Jun, FU Yu-Xi, LONG Huan
SYSTEM SOFTWARE AND SOFTWARE ENGINEERING
34 Overview on Upgradeable Smart Contract Technologies
GUO Tao, SHANG Feng-Jun, LIU Man-Yu, LIU Qi-Lie
62 Survey on Test Case Generation Methods for Intelligence Software Systems
JI Pin, FENG Yang, WU Duo, LIU Jia, ZHAO Zhi-Hong
102 Analysis of Development Trend and Core Technology of Chinese Blockchain Software
HE Jia-Hao, YANG Sen, PAN Zi-Ling, CHEN Ting, SHEN Jian
139 Survey on Blockchain State Sharding Technology
SU Lin-Xuan, ZHANG Xiao, YU Jin-Yang, HE He-Lang, WANG Jin-Jiang, HUANG Zhi-Jie
157 Survey on Vehicle System Safety Testing Research for Autonomous Driving
REN Rui-Han, YANG Chao, YANG Kai, ZHANG Bai-Di, ZHANG Xiao-Dong, WANG Li-Juan, MA Jian-Feng
PATTERN RECOGNITION AND ARTIFICIAL INTELLIGENCE
180 Survey on Graph Contrastive Learning Methods
LIU Zi-Yang, WANG Chao-Kun, ZHANG Heng
200 Survey on Key Technologies for Large Language Model Pre-training Systems
GAO Yan-Jie, CHEN Yue-Guo
DATABASE TECHNOLOGY
230 Survery on Transaction Processing Technologies for Geo-distributed Consortium Blockchains
PENG Ze-Shun, HAN Zhi-Bo, ZHANG Yan-Feng, LI Xiao-Hua, YU Ming-He, FAN Ji-Li, YU Ge
259 Research Progress on High Availability of Distributed Databases
XIANG Qing-Ping, YAN Yu, CHENG Si-Jia, WANG Hong-Zhi
279 Survey on Learned Query Optimization Algorithms
HE Jia-Hao, WANG Jia-Chen, WANG Xiao, ZHANG Xi-Ying, LI Cui-Ping, CHEN Hong
301 Privacy Key Technologies in Whole Stages of Data Circulation: Current Situation, Challenges, and Prospects
LIU Li-Wei, FU Chao-Hao, SUN Ze-Kun, ZHOU Yun, RUAN Na, JIANG Chang-Jun
COMPUTER NETWORKS AND INFORMATION SECURITY
326 Research Progress on Intelligent Technologies for Satellite Edge Computing
ZHANG Qi-Yang, XING Ruo-Lin, LI Yuan-Zhe, ZHOU Ao, XU Meng-Wei, WANG Shang-Guang
344 Survey on Vulnerability Detection Techniques for Smart Contract and DeFi Protocol
JIE Wan-Qing, QIU Wang-Jie, HUANG Xin-Peng, YANG Hao-Fu, ZHAO Guan-Qiu, ZHANG Qin-Nan, XIA Qing,
ZHENG Hong-Wei, ZHENG Zhi-Ming
378 Survey on Applications and Challenges of SRv6 Technology in Data Forwarding Plane
MA Dong-Chao, ZHAO Xiao-He, WANG Chen, HUANG Si-Tian, MA Li
398 Survey on Quantum Algorithms for Solving Hard Problems in Lattice
CAO Jin-Zheng, LUO Xiang-Yang, CHEN Xiao-Feng, CHENG Qing-Feng
425 RFID-based Passive IoT Wireless Sensing Technology: A Survey and Trends
HUANG Yu-Hong, WAN Hong-Jun, WANG Chu-Yu, WANG Xi-Ze, XIE Lei, WANG Qing, WEI Ying-Hui,
LI Yuan-Hang, ZHAO Rui, XIAO Shan-Peng, WU Zhi-Qiang
442 Review of Portability Research on Side-channel Analysis in Complex Application Scenarios
LI Di, ZHANG Yu-Peng, TANG Yu-Feng, GONG Zheng
464 Survey on RPKI Measurement Research
ZHANG Ze-Yuan, LIU Xiang, ZHANG Yu, ZHANG Wei-Zhe, FANG Bin-Xing
© Copyright 2026, Institute of Software, the Chinese Academy of Sciences. All rights reserved. No part of this
publication may be reproduced, stored in a retrieval system or transmitted in any form without the prior written
permission of the Institute of Software, the Chinese Academy of Sciences.