论文部分内容阅读
软件测试是软件缺陷检测和质量控制的重要手段,清华大学计算机科学与技术系软件所副所长白晓颖博士团队服务于我国工业界的软件工程的重大需求,在基于模型的测试自动化、国产基础软硬件测试、服务软件测试、实时嵌入式软件组合验证与构造技术等研究方向积累了丰富的研究经验和技术成果.
创新软件测试技术服务软件开发需求
【摘 要】
：
软件测试是软件缺陷检测和质量控制的重要手段,清华大学计算机科学与技术系软件所副所长白晓颖博士团队服务于我国工业界的软件工程的重大需求,在基于模型的测试自动化、国产
【出 处】
：
科技成果管理与研究
【发表日期】
：
2017年1期
其他文献
863计划地球观测与导航技术领域课题“北斗空间信号精度提升关键技术研究”由中国科学院上海天文台牵头,联合北京卫星导航中心、成都振芯科技股份有限公司、北京航空航天大学
期刊
当下,如何解决保障性住房融资问题,已成为中央和地方政府及业界关注的焦点。目前,我国的廉租房建设资金缺口较大。而20世纪60年代发端于美国且在我国香港特别行政区得到推行
【摘要】工程結算审核是确定建设工程最终造价的一项至关重要的工作，其准确性关系到业主及承包商双方的合法权益。本文着重介绍了在建筑工程结算审核过程中针对常遇到的问题,如何科学合理相对公平的确定工程造价。要深入了解建设项目基本情况;正确选用工程造价咨询方法;抓住审查的重点。 【关键词】了解项目情况;选咨询方法;抓审查重点 一、引言 如何客观、公平、合理地做好工程结算审核工作，切实解决工程结算审
期刊
摘要: 工程造价是指一个工程项目建成投产所支出的各项费用的总和。本文针对建设工程造价控制的重要性,分析了工程造价控制的原理,提出了各阶段工程造价控制的要点,指出工程造价控制贯穿于工程建设全过程,合理地确定和有效控制工程造价需要各部门的综合协调。 关键词:工程造价, 有效控制；经济 一、工程造价控制的原理 所谓控制就是指行为主体为保证在变化的条件下实现其目标,按照事先拟定的计划和标准,
期刊
由于经济的高速发展和环保措施的滞后,我国河流湖泊的污染问题日益严重.污染河流分布广,季节变化大,污染程度高.因此,全时段、全方位的水质监测对有效控制河流污染具有十分重
期刊
在国民经济建设和城市规划建设管理中,测绘地理信息发挥着越来越重要的作用.一直以来,地理数据采集生产与地理信息数据建库工艺流程分离、地图制图数据与地理信息数据库相分
期刊