软件新理论与新技术 - 计算机系主页.pdf

软件新理论与新技术 软件分析测试 Software Analysis and Testing 徐宝文 许蕾 陈林 lchen@ 南京大学计算机系 2016/9/18 1 课程简介  课程  入门课程  选修，2学分  教师(徐宝文、许蕾、陈林)  陈林 （lchen@nj .ed .cn, 计算机楼704 ） 2016/9/18 2 课程简介  对学生的要求  准时到达，参加所有课程  课堂上积极参与  及时提交作业、项目  成绩依据  平时: 50%  项目(proposal, written, oral): 50% 2016/9/18 3 1 背景介绍 软件重要性 软件已经渗透到社会的各个角落 4 1 背景介绍 美国军方：百年来对计算机最有影响的10人 ① Charles Babbage ：可编程计算机 ② Ada King ：第一个程序员 ③ Alan Kay ：面向对象编程之父 ④ Alan Turing ：人工智能之父 ⑤ Capers Jones ：功能点度量 Watts Humphrey ：软件质量之父 ⑦ Barry Boehm ：成本估算模型 ⑧ Tim Berners-Lee ：Web之父 ⑨ Grace Hopper ：第一个编译器 ⑩ Ed Yourdon ：结构化分析与设计 5 1 背景介绍 图灵奖 (1966-2011) 软件(20/46) 人工智能/数据 库/操作系统… 6 2 研究意义  软件中很小的故障错误也可能产生灾难性的后果  航天失败：1962年6月，美宇航局发往火星的水手1号 探测器因一条程序故障导致刚发射即坠毁，数亿美元 顷刻化为灰烬  飞机失事：1979年，新西兰航空公司一架飞机因飞行 系统故障撞 Erebus山，257名旅客与机组人员全部遇 难  战争判敌为友：1982年马岛战争期间，英驱逐舰因防 御系统故障，将飞来的敌导弹误判为友军武器，而被 该导弹击沉  医疗仪器杀人：Therac－25放射治疗仪因软件故障导 致控制系统失灵，致多名病人失去生命  商务灾难：1991年，美电话网因软件问题中断，给数 千依靠电信公司运营业务的公司造成巨额损失 7 3 研究历程 程序设计语言  程序设计语言 AL