快喵ios免费下载
课程名称: 教师:
当前位置:
 >> 
 >> 
软件缺陷及软件质量保障
软件缺陷及软件质量保障
教师介绍

本讲教师:张健
所属学科:工科
人  气:860

课程介绍
科大84级少年班校友、国家杰青、中科院软件所张健研究员回科大,给王小谟网络空间科技英才班的学生们开讲,时间:11月12日下午3:55,题目是:软件缺陷及软件质量保障。 报告人简介:张健,中国科学院软件研究所研究员。主要研究兴趣包括:自动推理、约束求解、软件测试与分析、形式化方法等。在一阶逻辑公式可满足性判定、软件测试数据自动生成、基于符号执行的程序分析等方面取得了-系列重要成果。 曾获得中创软件 人才奖、国家杰出青年科学基金、国务院政府特殊津贴。目前担任《中国科学:信息科学》,《计算机学报》,JCST,Frontiers of CS, IEEE Trans. on Reliabilit,《计算机科学与探索》编委。曾任国家自然科学基金委员会“可信软件基础研究”重大研究计划的指导专家组成员。 报告摘要:本报告将简要介绍几种程序缺陷和漏洞,然后介绍提高软件质量的多种手段(包括程序分析、验证与测试)以及相关的软件开发标准。其中,将提及我们在程序分析和测试方面的若干研究内容及成果。

咪哒直播app下载安装

针对该课程没有任何评论,谈谈您对该课程的看法吧?
  • 用户名: 密 码:
致谢:本课件的制作和发布均为公益目的,免费提供给公众学习和研究。对于本课件制作传播过程中可能涉及的作品或作品部分内容的著作权人以及相关权利人谨致谢意!
课件总访问人次:21910778
中国科学技术大学研究生网络课堂试运行版,版权属于中国科学技术大学研究生院。
本网站所有内容属于中国科学技术大学,未经允许不得下载传播。
地址:安徽省合肥市金寨路96号;邮编:230026。TEL:+86-551-63602929;E-mail:wlkt@ustc.edu.cn。

扫一扫,手机版

抖阴直播app下载安装 夜夜直播下载app视频污版 富二代f2抖音app下载安装 杏趣直播下载app视频污版 黄页荔枝app下载安装 米老鼠直播app下载安装 香蕉app下载安装 音色短视频app下载安装 葫芦娃视频app下载安装 最污直播ios免费下载 fi11含羞草app下载污 月亮直播app下载安装 青草视频ios免费下载 秀色小抖音app下载安装 探花直播ios免费下载 水晶直播ios免费下载 91直播app下载安装 尤蜜app下载污 好嗨哟直播app下载安装 lutubeapp下载安装 初见直播app下载安装 小仙女ios免费下载 葫芦娃下载app视频污版 秀儿直播app下载污 豆奶视频app下载安装 西瓜直播app下载安装 享受直播ios免费下载 芭乐app下载安装 西瓜直播下载app视频污版 红高粱直播app下载安装 硬汉视频app下载污 花心视频app下载安装 繁花直播app下载安装 薰衣草直播ios免费下载 橘子视频ios免费下载 小猪视频下载app视频污版 千层浪直播下载app视频污版 铁牛视频app下载安装 夜遇直播号下载app视频污版 蓝精灵直播下载app视频污版 冈本ios免费下载 ML聚合直播ios免费下载 含羞草实验研究所app下载安装 香草视频ios免费下载 彩云直播ios免费下载 红高粱直播下载app视频污版 花姿app下载安装 暗夜直播ios免费下载 花心视频ios免费下载 年轻人片app下载污 水果视频下载app视频污版 尤蜜视频app下载安装 萝卜视频app下载安装 火爆社区ios免费下载 香蜜直播ios免费下载 麻豆传媒直播ios免费下载 花椒直播ios免费下载 bobo直播下载app视频污版 小猪视频下载app视频污版 花心视频ios免费下载 食色短视频ios免费下载 小猪视频app下载安装 小狐仙直播下载app视频污版 抖阴视频ios免费下载 樱花雨直播app下载安装 丝瓜视频app下载安装 含羞草实验研究所app下载安装 猛虎视频ios免费下载 千层浪ios免费下载 九尾狐直播ios免费下载 草榴短视频下载app视频污版 佳丽直播视频app下载安装 小天仙直播app下载安装 黄瓜下载app视频污版 花姬ios免费下载 花姬直播ios免费下载 小狐仙app下载安装 猛虎视频ios免费下载 本色视频ios免费下载 番茄视频app下载安装 乐购直播app下载安装 小怪兽ios免费下载 微啪app下载安装 向日葵视频ios免费下载 九尾狐视频ios免费下载 粉色ios免费下载 快喵ios免费下载 樱花ios免费下载 午夜神器ios免费下载 男人本色西瓜视频ios免费下载 水晶直播ios免费下载 千层浪视频下载app视频污版 千层浪直播app下载安装 花姬app下载安装