软件运行时验证与监控技术发展现状与展望  

Current Status and Prospects of Runtime Software Verification and Monitoring

作　　者：卜磊[1,2] 董威 单云霄[4,5] BU Lei;DONG Wei;SHAN Yunxiao(State Key Laboratory for Novel Software Technology at Nanjing University,Nanjing 210023,China;Software Institute,Nanjing University,Nanjing 210023,China;College of Computer Science and Technology,National University of Defense Technology,Changsha 410073,China;School of Artificial Intelligence,Sun Yat-sen University,Zhuhai 519082,China;Guangdong Key Laboratory of Big Data Analysis and Processing,Guangzhou 510275,China)

机构地区：[1]南京大学计算机软件新技术国家重点实验室,南京210023 [2]南京大学软件学院,南京210023 [3]国防科技大学计算机学院,长沙410073 [4]中山大学人工智能学院,珠海519082 [5]广东省大数据分析与处理重点实验室,广州510275

出　　处：《前瞻科技》2023年第1期62-77,共16页Science and Technology Foresight

基　　金：国家自然科学基金(62232008,62172200,62032019);江苏省前沿引领技术基础研究专项(BK20202001);广东省粤穗联合基金青年基金(2020A1515110199);深圳市基础研究项目(JCYJ20210324122203009,JCYJ20180508152434975)。

摘　　要：当今社会,大量软件系统运行在开放、动态、不确定的场景中,经常受到非预期的干扰和影响,因此对系统行为进行运行时验证与监控,并针对各种实时情况做出自适应的实时响应、决策与动态调控,具有重要意义。文章从运行时验证、监控、增强及动态调控等方面对相关领域的国内外进展进行了回顾与展望,并从软件行为认知与理解、控制器生成、全生命期监控等角度对后续潜在方向进行探讨与建议。Nowadays,many software systems are working in open,dynamic,and nondeterministic scenarios,often suffering from unexpected interference and influence.It is important to conduct runtime verification and monitoring of system behavior and adaptively make real-time responses and decisions for and exert dynamic control over each real-time situation.This paper reviews the research progress of runtime verification,monitoring,enhancement,and dynamical control in and outside China and their prospects.Meanwhile,it also explores and recommends potential future research directions from the perspectives of the understanding of system behavior,controller synthesis,full-cycle monitoring,etc.

关 键 词：形式化建模与验证 运行时验证 在线监控 控制生成 

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