面向关键任务的软件测试系统testeres.pdfVIP

面向关键任务的软件测试 徐宝文 南京大学计算机科学与技术系 江苏省软件质量研究所 软件已经渗透到社会的各个角落 2 计算机领域最有影响的10人 美国军方：对计算机最有影响的10人 ① Charles Babbage ：可编程计算机 ② Ada King ：第一个程序员 ③ Alan Kay ：面向对象编程之父 ④ Alan Turing ：人工智能之父 ⑤ Capers Jones ：功能点度量 ⑥ Watts Humphrey ：软件质量之父 ⑦ Barry Boehm ：成本估算模型 ⑧ Tim Berners-Lee ：Web之父 ⑨ Grace Hopper ：第一个编译器 ⑩ Ed Yourdon ：结构化分析与设计 半数以上人员与软件相关 在软件乃至计算机领域地位极其重要 许多问题尚未得到根本解决 3 国家高度重视软件产业 我国政府、学术界与产业界在实施和贯彻“信息化带 动工业化”的过程中越来越意识到软件质量的重要性 973计划: 高可信、高效率软件的基础研究 等 863计划: 高可信软件生产工具及集成环境 等 国家自然科学基金委: 可信软件基础研究重大研究计划 等 总装备部（国防科工委） 江苏省：第一优先发展产业、十大战略性新兴产业 南京市： 软件名城 4 中国软件名城- 南京  2010年9月，工信部正式认定南京为“中国 软件名城”，南京成为全国首个荣获此称号 的城市。  “到2020年，初步建成世界软件名城，全市 软件和信息服务业收入超过10000亿元，全 面建成“一谷两园”软件产业集聚地。” 5 关键任务软件  军事指挥系统  航天航空系统  轨道交通系统  金融交易系统  智能电网系统  智慧城市系统  …… 6 关键任务软件故障带来的灾难 2012-8- 1，纽约证券交易所，股票 券商“骑士资本”高频交易损失 2011-8-18 俄 “质子4.4亿美元，原因 软件算法故障 －M”火箭发射失败 原因火箭推进器控 制系统程序编写错 误 铁道部12306订票网站：订票难且 存在安全漏洞， 原因 架构不合理、代码缺陷、逻 辑错误…… 7 关键任务软件的特点 高可信  关键任务软件缺陷可能带来人员生命 和财产的重大损失，甚至灾难。 高复杂  控制逻辑复杂、外围设备复杂、执行