计算机科学与技术学院E-博论坛第三期——“软件是可信任的吗?
11月16号上午,计算机科学与技术学院学生会科创部在文北210举办了深受同学们喜爱的学术讲座第三期。此次讲座围绕主题“软件是可信任的吗?”展开,由马艳芳博士主讲。
讲座开始,马艳芳老师以人与人之间的信任做引,提出软件使用的前提是使用者和开发者的相互信任。紧接着举出实例告诉我们很多软件确实是不可信任的。之后展开讨论如何提高软件的可信任度。
首先在源头上我们需要尽量减少因工程需求不完善导致的对软件的多次修改;其次我们需要使用一种更加安全的语言,而相对于c语言的过于灵活,Ada和汇编语言就成了更佳的选择。并且由于多人合作的不一性,可信任软件的开发也需要一个搭配默契的团队。在此之后马老师又和我们提到了可计算技术,这也是为了提高软件的信任度所需要掌握的一门技术。最后她为我们介绍了当前可信任软件的研究热点,鼓励我们在这方面勇敢探索,并且愿意提供指导与帮助。
讲座结束,同学们积极与马老师进行讨论,相对于之前的几次讲座,这次讲座的主题更加贴近同学们的生活。在之后的活动开展中,学院也会更加注重讲座内容的真实性、实用性。
用户登录