基本信息
张健  男  博导  中国科学院软件研究所
电子邮件: zj@ios.ac.cn
通信地址: 中关村南四街四号
邮政编码: 100190

研究领域

软件工程、人工智能(自动推理;约束求解;软件测试;代码静态分析)

招生信息

   
招生专业
081202-计算机软件与理论
083500-软件工程
085211-计算机技术
招生方向
自动推理与约束求解
程序分析与软件测试
软件测试

教育背景

   
学历
-- 研究生
学位
-- 博士
出国学习工作
   

教授课程

   

专利与奖励

   
奖励信息
(1) 国务院政府特殊津贴, , 国家级, 2009
(2) 中创软件人才奖, , 其他, 2000
专利成果
( 1 ) 基于附加测试的多参数系统错误模式快速定位方法, 发明, 2011, 第 2 作者, 专利号: 201010539469.4
( 2 ) 一种多参量软件测试方法, 发明, 2010, 第 2 作者, 专利号: 201010526993.8

出版信息

   
发表论文
(1) Melton: a practical and precise memory leak detection tool for C programs, Frontiers of Computer Science, 2015, 第 2 作者
(2) Boundary Value Analysis in Automatic White-box Test Generation, Proc. ISSRE, 2015, 第 3 作者
(3) Automatic Test Data Generation for Unit Testing to Achieve MC/DC Criterion, Proc. SERE 2014, 2014, 第 3 作者
(4) Canalyze: a static bug-finding tool for C programs, Proc. ISSTA 2014, 2014, 第 2 作者
(5) Generating combinatorial test suite using combinatorial optimization, Journal of Systems and Software, 2014, 第 4 作者
(6) Characterizing and Detecting Resource Leaks in Android Applications, Proc. ASE 2013, 2013, 第 2 作者
(7) Faulty Interaction Identification via Constraint Solving and Optimization, Proc. SAT 2012, LNCS 7317, 2012, 第 1 作者
(8) Integrating Standard Dependency Schemes in QCSP Solvers , Journal of Computer Science and Technology, 2012, 第 3 作者
(9) Tuple density: a new metric for combinatorial test suites , Proc. ICSE (NIER track), 2011, 第 2 作者
(10) Program analysis: from qualitative analysis to quantitative analysis, Proc. ICSE (NIER track), 2011, 第 2 作者
(11) A Memory Model for Static Analysis of C Programs, LNCS 6415, 2010, 第 3 作者
(12) Combinatorial testing with shielding parameters, Proc. APSEC, 2010, 第 3 作者
(13) Volume Computation for Boolean Combination of Linear Arithmetic Constraints, LNCS 5663, 2009, 第 3 作者
发表著作
( 1 ) 逻辑公式的可满足性判定--方法、工具及应用, Deciding the Satisfiability of Logical Formulas -- Methods, Tools and Applications, 科学出版社, 2000-10, 第 1 作者
( 2 ) 组合测试数据自动生成, Automatic Generation of Combinatorial Test Data, Springer, 2014-09, 第 1 作者

科研活动

   
科研项目
( 1 ) 安全攸关软件系统的构造与质量保障方法研究, 主持, 国家级, 2014-01--2018-08
( 2 ) 软件安全性分析的关键技术与工具, 主持, 国家级, 2015-01--2016-12
参与会议
   

合作情况

   
项目协作单位
   

指导学生

已指导学生

徐贵红  01  19261  

严俊  01  19261  

季晓慧   01  19261  

李韶华  02  19262  

石玉祥  02  19261  

刘生  01  19261  

许中兴  01  19261  

贾祥雪  01  19261  

阮辉  02  19261  

陈柏强  01  19261  

马菲菲  01  19261  

卢闰明  02  19261  

赵勇  02  19261  

郭超容  02  19261  

张艳丽  02  63236  

张智强  01  19261  

现指导学生

葛存菁  01  19261  

吴兴明  01  19261  

燕季薇  02  67136  

刘洁瑞  02  63236  

吴添勇  01  67136  

张龙  01  19261  

杨玲  02  63236  

吕亦奇  02  63236  

王平   02  67136  

黄沛   01  19261  

潘临杰  01  67136  

工作经历

1999年起,任中国科学院软件研究所研究员;
2000年起,任中国科学院软件研究所博士生导师。
2004年起,任《计算机学报》编委;
2010年起,任 JCST 编委、Frontiers of CS 编委。