基于软件的网络化信息传递和处理，已经成为现代社会的一个特征模式。随着社会和科技的发展，5g的问世、智能技术的开创、加上传感技术的进入，网络的应用范围不仅逐渐扩大，进而创造了一个虚拟的生态环境，除了原有的社交、信息传播之外，传统的工作学习、日常的衣食住行，都在纷纷通过网络来实现，而实现这些应用的"硬核"，就是软件。软件正在定义整个世界。软件可靠性是高质量应用和高效率网络的基础。运行在我们身边的各种各样软件系统是否可靠？
10月18日晚19：30-21：00，"诚计划"第二十三期邀请到了中国计算机学会软件工程专业委员会主任、国务院学位委员会软件工程学科评议组成员、南京大学李宣东教授。李老师是软件工程、可信软件、形式化方法等领域的专家，研究工作受到国家杰出青年科学基金的资助，成果获国家科技进步二等奖软件。可靠性是高质量应用和高效率网络的基础，运行在我们身边的各种各样软件系统是否可靠，作为软件工程的顶尖专家，李宣东教授带领我们认知和探讨了这一问题。
李老师首先列举了因软件可靠性错误而引发的军事行动、航空航天、能源交通、金融证券、健康医疗、通讯网络等领域一系列重大事故，通过真实的案例建立了大家对软件可信的感性认识。随后，李老师从计算机的原理和功能切入，带领大家理性解读软件可靠性问题。计算机面对的问题分为不能解决的问题（不可判定问题）、需要无限资源才能解决的问题（例如500年）和利用有限资源就能解决的问题三大类。软件是计算机系统中的程序及其有关文件，软件系统是人造的、是人大脑思维的体现。软件开发和演化是人类针对所解决问题的创新性思维活动，是人类制造的最复杂制品。李老师从软件是人类大脑思维活动的体现、软件的创造过程和制造过程合二为一、软件没有"磨损"概念、人是软件开发和演化的主体等角度开展讲解，加深了大家对软件本质的认识和理解。软件是人类创造财富、延续文明的重要手段和途径，是转化技术浪潮为应用的载体。软件正在成为人类社会的基础设施，软件使能一切、软件定义一切、软件无处不在。可信软件基于人与软件系统之间的信任关系，是能够信任的软件、值得信任的软件。软件可行保障来讲，是计算机科学与软件工程领域的一个根本性的问题，既是迫切的需求，也是永存的挑战。我们在过去现在和将来，都要面对可信软件的挑战，都要解决可信软件的需求。
李老师的精彩演讲吸引了诸多校友、学生等观众，反响热烈，李老师还热情回答了观众提出的关于日常使用的软件可信度是由谁来把握、是否有控制标准、如何有效衡量软件开发投入的实效性、软件可信度研究需要学习哪些基础课程和知识、我国软件可靠性研究在国际上的地位等问题。
欢迎大家持续关注和学习，本期讲座回放地址：
pc端连接:
https://wsp.njude.com.cn/next/learn/6132
长按下方识别小程序码进入暾学堂观看讲座回放：
供稿：钱艳
往期推荐
"诚计划"第22期 | 刘志彪教授主讲“以全国统一大市场为基础，构建国内市场主导的新发展格局”
"诚计划"第20期 | 许结教授主讲 "老子人生哲学与智慧"
"诚计划"第19期 | 夏维中教授主讲"明初南京的伟大贡献"
"诚计划"第18期 | 胡阿祥教授主讲"行走南京，品味金陵"
"诚计划"第17期 | 王月清教授主讲"中华文化与南大精神传统"
"
"