1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
薛云志 男 硕导 中国科学院软件研究所
电子邮件： yunzhi@iscas.ac.cn
通信地址： 北京市中关村南四街四号软件所5-1201
邮政编码：
研究领域
招生信息

招生专业081202


招生方向软件工程,编译优化，形式化方法

教育背景2012-09--2015-06 清华大学 工商管理硕士
2001-09--2009-06 中国科学院软件研究所 博士
1997-09--2001-06 中南大学 学士


学历

学位
工作经历

工作简历2012-09~2015-06,清华大学, 工商管理硕士
2009-07~2012-03,中国科学院软件研究所, 高级工程师
2001-09~2009-06,中国科学院软件研究所, 博士
1997-09~2001-06,中南大学, 学士


社会兼职
教授课程
专利与奖励

奖励信息

专利成果（ 1 ）一种应用软件GUI对象自动识别方法,2010,第 1 作者,专利号: **4.9
（ 2 ）一种TTCN语言与数据描述语言的集成方法,2010,第 2 作者,专利号: PCT/CN2011/071888
（ 3 ）一种面向Android及其衍生系统的软件操作录制回放方法,2010,第 1 作者,专利号: **4.3
（ 4 ）一种面向Android及其衍生系统的软件操作录制回放方法,2012,第 1 作者,专利号: PCT/CN2011/071889
（ 5 ）一种面向Android及其衍生系统的UI对象操作模拟方法,2010,第 1 作者,专利号: **6.5
（ 6 ）一种TTCN语言与数据描述语言的集成方法,2010,第 2 作者,专利号: **3.5

出版信息

发表论文（1） 多错误定位问题参数化研究, Factorising the Multiple Fault Localization Problem, Proceedings of The 19th Asia-Pacific Software Engineering Conference, 2012, 第 5 作者
（2） Android应用测试驱动开发过程实例研究, An Empirical Study Test Driven Development Process for Android Applications, International Conference on Software Engineering and Application, 2011, 第 2 作者
（3） 基于pCTL的循环优化测试用例自动生成方法, Automatic Generation of Test Cases for Loop Optimizations Based on pCTL, 小型微型计算机系统, 2010, 第 2 作者
（4） 一个工业级优化编译器重的测试程序自动生成方法, Automated Test Program Generation for an Industrial Optimizing Compiler, International Workshop on Automated Software Testing , 2009, 第 5 作者
（5） 一种编译优化测试用例自动生成方法的设计与实现, Design and Implementation of an Automatic Test Case Generation Method for Compiler Optimization, 小型微型计算机系统, 2009, 第 2 作者
（6） 基于Polyhedron模型的循环优化过程定制方法, Automated Phase-Ordering of Loop Optimizations Based on Polyhedron Model, Internaltional Conference on High Performance Computing and Communication, 2008, 第 1 作者
（7） 一种基于时间自动机的实时系统测试方法, A Method for Testing Real-Time System Based on Timed Automata, 软件学报, 2007, 第 2 作者
（8） 一种基于Messy GA的结构测试数据自动生成方法, An Automated Approach for Structural Test Data Generation Based on Messy GA, 软件学报, 2006, 第 1 作者


发表著作
科研活动

科研项目（ 1 ）面向实时通信协议的结构化测试用例自动生成方法研究, 主持, 国家级, 2012-01--2014-12
（ 2 ）开源操作系统内核分析与安全性评估, 参与, 国家级, 2012-01--2014-12
（ 3 ）面向事务处理的安全可靠桌面计算机操作系统研制, 参与, 国家级, 2014-01--2018-12
（ 4 ）环境规划中的舆情监测系统, 参与, 国家级, 2014-06--2015-07


参与会议（1）Automated Test Program Generation for an Industrial Optimizing Compiler 自动化软件测试会议 Chen Zhao, Yunzhi Xue, Qiuming Tao 2009-05-08

合作情况

项目协作单位
指导学生