- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
软件开发的.ppt
第一讲
互联网时代的软件; 内 容 ;一、软件;老 子:? 道德经:?第十一章:
三十辐共一毂(gǔ) ,当其无,有车之用。 埏(shān)埴(zhí)以为器,当其无,有器之用。 凿户牖(yǒu )以为室,当其无,有室之用。 故有之以为利,无之以为用。;软件到底有什么奥妙?
人类自身的感官不能直接确定它的存在:
分子、原子 等对于人们总有一定的神秘性:感官距离很“遥远”
软件: 通常 存在于纸带、磁带、光盘等之中
运行起来 靠: 集成电路 发挥作用
显示器 显示状态
竟然还可以在 不同的载体 之间十分方便地跳跃!
显示出来后离我们又这么“近”!
如此有用!;软件作为逻辑产品的特点:
劣势:
不易被理解
容易出错
找错、排错困难
优势:
易于变化,适应性强
复制成本低,适合规模经济
给我们的生活、学习等带来了巨大的变化
;软件运行环境 :硬件
从 单机环境
发展到 网络环境
又扩展到 移动环境;计算机 源于对计算自动化 的追求
程序 源于对硬件通用化 的追求:
让计算机方便地增加功能;共性的提取
同样一组硬件,完成不同功能(通用 vs 专用)
如何实现:修改配置(插拔连线 与 信息控制
产生bug!)
后来软件的发展一直在延续这个思路!
开发成本(效率) 与 执行效率 ;网络环境 ;服务;各类 服务器;云;;移动环境 ;三、软件开发;1、软件工程目标;软件开发的艺术;软件开发的工程化需求;软件工程四十年:软件工程、构件、中间件;艺术与工程;瀑布模型 (waterfall model)
螺旋模型 (spiral model)
喷泉模型 (fountain model)
演化模型 (evolutionary model);敏捷开发方法(XP)
人和(人与人的)交互?优先于过程和工具
基于构件/框架的软件开发(SSH)
通过复用提高效率
基于群体的软件开发(Crowd Sourcing, 众包)
城市模型:Metropolis Model;哪类方法适合我呢?
哪个方法好呢(同类)?
怎样比较不同的开发方法?;
2011~2020年
信息科学学科发展战略研究
(咨询汇报稿)
信息科学学科发展战略研究组
二〇〇九年十月;3.2 计算机科学与技术
3.2.1 艾级高性能计算机技术
针对普惠、绿色、两化融合的战略需求,研究高效易用的高性能计算机(尤其是数据中心计算机)的新原理和核心技术,并研制原理样机。支持科学工程计算与互联网服务(云计算服务)两类应用负载,科学工程计算性能达到艾级(即每秒10**18次运算),系统功耗控制在10 MW之内,系统软件复杂度控制在1000万行源码,原理样机实际速度达到每秒百万亿次(1014次)运算。
3.2.2 面向网络计算的软件方法与技术
针对新型网络化基础平台、新型泛在化与网络化应用模式,以及大规模和融合化的应用系统对软件方法与技术,研究软件模型、编程语言、系统软件、使用模式、开发方法、支撑工具等,实现核心模型基本属性的高可信与适应性、使用模式的服务化与自然化、基础方法的主体化与协同化、开发模型的自治性与成长式、开发方式的复用化与自动化,建立一套新型的面向网络计算的软件方法与技术体系,发展面向网络的中文信息处理和中文数据资源建设技术。
3.2.3 未来互联网与安全
研究:(1)可信可管可扩展的泛在未来网络原理、协议、体系结构;(2)试验平台、基准服务、测试数据,用于研究和检验功能、质量、安全隐私保障、能耗指标;(3)能够为数亿用户服务的统一的通用计算账号,独立于任何客户端设备、任何网络、任何资源、任何地点、任何厂商;(4)支持上亿用户,平均用户实际上网速度超过100 Mbps;(5)发展智能网络与语义网络技术,提升网络服务的效率与易用性。;不同方法的量化评估困难;3、如何理解软件开发的困难;软件开发就象……;拍电影;四、互联网环境中的软件质量;共享性
开放性
可伸缩性
容错性
海量数据;(1) 共享性;(2) 开放性 ;(3) 可伸缩性;(4) 容错性;(5) 海量数据;面临的挑战性问题:;主要的质量保障方法:
高层软件模型检查
JPF
静态代码分析,查找缺陷
Findbugs
离线测试,查找功能错误
Junit,LoadRuner
运行时刻监测,发现问题及时处理
Hyperic;硬件环境;问 题
您可能关注的文档
最近下载
- 社会体育学复习资料与题库.pdf VIP
- 高职体育课程教学大纲.docx VIP
- 中国抗菌药物临床合理应用指南专家讲座.pptx VIP
- 最新ISO9001、ISO14001、ISO45001三体系设计部和业务部内审检查记录(带记录).pdf VIP
- 人音版四年级上册音乐全册教学设计教案.pdf
- 浙教版小学一年级上册《劳动》全册教学课件.pptx
- 管理信息系统开发项目式教程 第3版 教学课件 作者 陈承欢单元1 管理信息系统的开发综述.ppt VIP
- 2025年秋季八年级历史上册新教材解读课件(统编版2024).pptx VIP
- 商业运营管理培训.pptx VIP
- 医疗器械生产企业质量控制与成品放行指南2025年培训PPT.pdf
文档评论(0)