前言  

Preface

作　　者：卜磊[1] 陈振邦[2] Bu Lei

机构地区：[1]南京大学 [2]国防科技大学

出　　处：《计算机研究与发展》2023年第2期225-226,共2页Journal of Computer Research and Development

摘　　要：在软件定义一切的时代,软件使能的系统遍布在人类社会的各个方面、在不同程度发挥着重要的作用,软件可信保障既是迫切需求又是重要挑战.对软件的语义及其行为空间进行深入理解是软件可信保障的重要依据与前提.然而,随着计算机技术的快速发展与应用的日趋普及,软件系统规模和复杂性持续增大,如何对大规模、复杂软件系统的语义进行理解,并指导软件分析、测试、验证乃至优化活动是当前领域关注的重要问题.特别是在当前开源时代下,如何对大规模代码高效构建准确的语义认知,并基于相关认知与理解进行后续自动化分析,具有重要意义.

关 键 词：复杂软件系统 计算机技术 软件定义 软件可信 自动化分析 行为空间 语义认知 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]