WAP手机版 RSS订阅 加入收藏  设为首页
888集团官方网址
当前位置:首页 > 888集团官方网址

888集团官方网址:为上海科技教育的英雄

时间:2021/8/25 16:33:08  作者:  来源:  浏览:12  评论:0
内容摘要:在中国科学院院士、华东师范大学软件工程学院创始院长何继峰看来,这些是国家整体安全的基本支撑。形成一个巨大的安全防护闭环,就像刺绣功夫。。在某些情况下,软件缺陷是短暂的,但会慢慢累积。一个循环连着另一个循环。一个组件会影响下一个组件,最终以故障的形式出现。软件人员和软件分析工具必须像看电影一样一帧一帧地查看它们,并让“时...

在中国科学院院士、华东师范大学软件工程学院创始院长何继峰看来,这些是国家整体安全的基本支撑。形成一个巨大的安全防护闭环,就像刺绣功夫。。在某些情况下,软件缺陷是短暂的,但会慢慢累积。一个循环连着另一个循环。一个组件会影响下一个组件,最终以故障的形式出现。软件人员和软件分析工具必须像看电影一样一帧一帧地查看它们,并让“时间切片”一步一步地进行,以确保每一段代码都是安全可靠的。

克服了软件可靠性保证技术的三大问题,磨刀石在哪里?“控制软件是主要工业设备的中心,是国家武器。要使它足够锋利,你需要一块好的磨刀石。”软件行业的程序统一理论学派的先驱何继峰说:“我们是剑客。磨刀石做得好、做得精,从而提高主要设备核心控制软件的质量,确保其安全可靠。”

记者了解到,自2008年1月起,上海市科学技术进步特别奖第一位完成者何继峰院士,曾担任国家自然科学基金可信软件基础研究重大研究项目的首席科学家,并获国家科学院资助。涉及各行各业的相关课题共107个,至今已有13年。为上海科技教育的英雄,何继峰把整个团队带到了一线。

我们的科研工作立足行业实际,提取科学问题;然后通过应用研究成果来验证我们的想法;最终形成解决国家面临问题的核心技术。”他说。在80后一代中,由软件工程学院年轻院长陈明松主持工作,与团队成员一起应对行业公司,“打破黑匣子”,解决软件可信保证技术三大问题。

例如,软件复杂性“难以分析”:用户需求文档可能有数百页,操作环境中存在不确定性,如网络延迟;另一个例子是“难以验证”软件的正确性:主流航空航天以百万行代码的大规模代码为例。代码必须是自动生成的,而不是手工编写的代码。另一个例子是软件的可靠性“难以保证”:接受严格的国际测试标准,投资大,周期长,软件测试必须考虑开发成本的一半左右。

相关评论

本类更新

本类推荐

本类排行

本站所有站内信息仅供娱乐参考,不作任何商业用途,不以营利为目的,专注分享快乐,欢迎收藏本站!
所有信息均来自:百度一下 (888贵宾会登录)