李德毅院士—从系统工程到网络工程.pdf

工程前沿工程前沿工程前沿工程前沿：：：： 从系统工程到网络工程从系统工程到网络工程从系统工程到网络工程从系统工程到网络工程 李德毅 ziqinli@ziqinli@ -0808--2121 11 11）从一个有趣的现象谈起）从一个有趣的现象谈起 电子设计自动化中一个有趣的发现电子设计自动化中一个有趣的发现 IBMIBM公司发现：一台计算机公司发现：一台计算机8080%% 的时间是在执行操作系统中的时间是在执行操作系统中2020%%的的 指令代码指令代码指令代码指令代码，，因此是否有必要对这因此是否有必要对这因此是否有必要对这因此是否有必要对这 部分用得最多的代码进行更认真部分用得最多的代码进行更认真部分用得最多的代码进行更认真部分用得最多的代码进行更认真 的设计的设计的设计的设计、、、、制作和测试制作和测试制作和测试制作和测试？？ 从从CISCCISC到到RISCRISC 大量高性能大量高性能、、廉价廉价、、耗能低的耗能低的 精简指令集计算机精简指令集计算机（（RISCRISC））、、相相 关技术及软件关技术及软件关技术及软件关技术及软件，，得到发展和应用得到发展和应用得到发展和应用得到发展和应用。。 各种各样的RISC处理器 电子产品测试中一个有趣的问题电子产品测试中一个有趣的问题 片上系统片上系统片上系统片上系统 （（SOCSOC））测试也好测试也好测试也好测试也好，，软件测试软件测试软件测试软件测试 也好也好也好也好，，，，如何建立测试模型如何建立测试模型如何建立测试模型如何建立测试模型？？？？是防微杜渐是防微杜渐是防微杜渐是防微杜渐、、、、 ““吹毛求疵吹毛求疵””的过度测试的过度测试，，还是把主要精还是把主要精 力和时间用在最重要力和时间用在最重要力和时间用在最重要力和时间用在最重要、、最关键的部位上最关键的部位上最关键的部位上最关键的部位上？？？？ 如何确定最重要如何确定最重要、、最关键的部位最关键的部位？？如何最如何最 快发现缺陷快发现缺陷？？ 程序正确性证明在软件程序正确性证明在软件程序正确性证明在软件程序正确性证明在软件工工程中没有彻底解决程中没有彻底解决程中没有彻底解决程中没有彻底解决 软件工程师的知识和智能又始终无法从编程过程软件工程师的知识和智能又始终无法从编程过程软件工程师的知识和智能又始终无法从编程过程软件工程师的知识和智能又始终无法从编程过程 中剥离出来中剥离出来 任何编程技巧都没有能够带来程序生产率成数量任何编程技巧都没有能够带来程序生产率成数量 级的提高级的提高 软件全自动化生产没有能够实现软件全自动化生产没有能够实现 77 国内某公司国内某公软件失效统计年软件失效统计 问题 容错 接 中断 时序 运行 计算 初始化 编程 需求和 总数总数 防错防错 口口 现场现场 时限 环境 算法算法 和复位和复位 配置管配置管 保护 理 2268 428 155 33 30 13 120 69 784 636 所占比例 18.87 6.83 1.46 1.32 0.57 5.29 3.04 34.57 28.04 % 仅占仅占9.7%的的、与软件交与软件交互相关的错误相关的错误，， 耗费了软件排错时间总开销的90% ！ 对软件开