基本信息
张健男博导中国科学院软件研究所
电子邮件： zj@ios.ac.cn
通信地址： 中关村南四街四号
邮政编码： 100190
部门/实验室：计算机科学国家重点实验室
研究领域软件工程、人工智能（自动推理；约束求解；软件测试；代码静态分析）

招生信息
招生专业081202-计算机软件与理论
083500-软件工程
085211-计算机技术

招生方向自动推理与约束求解
程序分析与软件测试
软件测试


教育背景
学历 -- 研究生

学位 -- 博士

出国学习工作

教授课程

专利与奖励

奖励信息（1） 国务院政府特殊津贴, , 国家级, 2009
（2） 中创软件人才奖, , 其他, 2000

专利成果（ 1 ） 基于附加测试的多参数系统错误模式快速定位方法, 发明, 2011, 第 2 作者, 专利号: 9.4
（ 2 ） 一种多参量软件测试方法, 发明, 2010, 第 2 作者, 专利号: 3.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

参与会议

合作情况
项目协作单位

指导学生已指导学生
徐贵红**
严俊**
季晓慧 **
李韶华**
石玉祥**
刘生**
许中兴**
贾祥雪**
阮辉**
陈柏强**
马菲菲**
卢闰明**
赵勇**
郭超容**
张艳丽**
张智强**
现指导学生
葛存菁**
吴兴明**
燕季薇**
刘洁瑞**
吴添勇**
张龙**
杨玲**
吕亦奇**
王平 **
黄沛 **
潘临杰**

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