学术活动
2015年11月18日下午,南京大学博士生导师、计算机系科学与技术系李宣东教授为2014级同学们作了题为“软件安全漫谈”的讲座。李宣东教授的教学、研究工作主要为计算机软件工程,近年来研究工作的重点包括软件建模与分析、软件测试与验证。所以在这个题目上李教授挥斥方遒,既具备积蕴已久的研究功底,又十分熟悉当下的最新研究成果。
李宣东教授开场便是一句提问:“软件可信吗?”。这一不同寻常的开场立刻吸引了全体同学们的兴趣。接着,李宣东教授欲扬先抑,先从最早的计算机ENIAC开始讲起。“ENIAC如果坏了,大家都说是硬件坏了。然而现在,如果讲台上了投影仪放不出来了,那么大家一定会说是软件出了故障”。一个个形象生动的例子让大家立刻对硬件和软件的安全性在概念上有了一个区分。接着李宣东教授旁征博引,用诙谐的语调介绍了许多经典的案例。如千年虫危机,美国航天飞机因软件时钟失事,微软免责声明等。这些经典案例鲜活有趣,同时意义深刻,使大家进一步明白了软件安全的特殊性和重要性。
在为同学们普及了软件安全的相关概念后,李宣东教授便开始进一步介绍针对软件安全性能的测试与维护。他提出了软件系统经历了“逻辑系统到数学系统再到生态系统”的发展轨迹,并指出道软件系统的复杂程度已经大大超出了人们的想象,由此体现出了软件的测试与维护的不易。“如今软件的测试维护成本一般是开发成本的5倍以上”。李宣东教授甚是风趣地打了个比方:“现在软件出了bug就好比是看病,以前一般生的病都是感冒之类的,校医院就可以看。但是如今的生的病很可能等到我挂了都治不好”。
随后,李宣东老师开始介绍具体的软件测试方法。李宣东老师虽然深入科研第一线,但考虑到讲座也面向了很多非计算机专业的学生,所以这个部分讲得通俗易懂、深入浅出,让在座的同学们不会听起来太吃力,又学到了很多。同时李宣东教授结合当下的实际情况,向大家介绍了软件安全在普适计算及物联网中的应用,让大家大开眼界。
两节课时间很快就过去了,但同学们仍听得意犹未尽,纷纷向李宣东教授提出了自己在计算机领域关心的问题。李宣东教授也很愉快、耐心地进行了详致的解答。最后,李宣东教授幽默地用一句话结束了讲座:“有计算机在,就会有软件,所以咱们学计算机软件的永远不会失业!”
(文/ 计算机科学与技术系 徐寅 图/朱越 编/朱莉莉)