计算机学院系列讲座名家讲坛第32期——TBFV: Testing-Based Formal Verification for Trustworthy Software

报告题目(Title)：TBFV: Testing-Based Formal Verification for Trustworthy Software

时间(Date & Time)：2026.3.13; 14:00

地点(Location)：北京大学理科一号楼1801（燕园校区） Room 1801, Science Building #1 (Yanyuan)

主讲人(Speaker)：Shaoying Liu（刘少英）

邀请人(Host)：Zhenjiang Hu（胡振江）

报告摘要(Abstract)：

Software trustworthiness encompasses six critical properties: reliability, safety, security, integrity, availability, and maintainability. Ensuring these attributes throughout the software engineering process remains a significant and ongoing challenge. In this talk, I will begin by briefly outlining a general framework for developing trustworthy software and then focus on an advanced technique known as Testing-Based Formal Verification (TBFV), which integrates specification-based testing with formal methods to verify program correctness. TBFV is characterized by its ability to automatically verify the correctness of all program paths explored during testing, while also having the potential to uncover previously untested paths. This dual capability supports both validation and verification, enhancing the overall assurance of software quality. I will explain the core principles of TBFV, specific techniques it employs for fault prevention, validation, and verification, as well as the key challenges associated with its practical implementation. When fully realized, TBFV is expected to significantly reduce testing time and cost and substantially improve software trustworthiness.

主讲人简介(Bio)：

刘少英（Shaoying Liu）华东师范大学软件工程学院特聘教授, 入选教育部长江学者奖励计划讲席教授, IEEE Fellow, BCS Fellow. 曾先后在中国，英国，以及日本的10所大学从事研究和教学工作. 主要研究领域包括软件工程理论与技术，形式化方法，软件设计方法，人机结对编程, 程序验证，软件测试，以及智能软件工程环境。创立和发展了“形式化工程方法”研究领域，研制开发了SOFL形式化规约语言及工程方法，由Springer出版专著两本，编著由IEEE CS Press和Springer LNCS系列出版的论文集16本，在国际学术期刊和国际会议发表300多篇论文,创办了国际会议ICFEM及SFPVV.曾获2017年6月IEEE可靠性协会日本分会的2016年最佳论文奖，2018年的20年ICFEM最有影响研究者奖，日本信息处理学会软件工程研究会的2020年和2022年的卓越研究奖两次等。曾多次担任ICFEM，ICECCS, QRS等国际会议的大会主席和程序委员会主席，以及数目繁多的国际会议的PC委员，曾受邀为2025 IEEE CyberSciTech/DASC/PICom/CBDCom, DSA 2025, WSSE 2023, QRS 2015、ICECCS 2014等15个国际会议作主旨报告。曾任IEEE Transactions on Reliability，Software Testing, Verification and Reliability, 以及Innovations of Systems and Software Engineering学术期刊的Associate Editor。

欢迎关注计算机学院微信公众号，了解更多讲座信息！

北京大学计算机学院