1、招生信息2、教育背景3、工作经历4、教授课程5、专利与奖励6、出版信息7、科研活动8、合作情况9、指导学生
基本信息
单锦辉 男 硕导 空间应用工程与技术中心
电子邮件：shanjh@csu.ac.cn
通信地址：北京市海淀区邓庄南路9号中科院北京新技术基地PITC楼208
邮政编码：100094


研究领域软件测试，软件质量保证，形式化验证
招生信息

招生专业 计算机软件与理论



招生方向软件测试，软件质量保证，形式化验证

教育背景 1999-04--2002-06 国防科学技术大学 博士
1991-09--1994-04 国防科学技术大学 硕士
1987-09--1991-07 国防科学技术大学 本科


学历

学位
工作经历

工作简历 2012-09--2014-06 中国科学院空间应用工程与技术中心 高级工程师
2011-10--2012-06 北京旋极信息技术股份有限公司 资深技术专家
2009-03--2011-07 北京特种工程设计研究院 高级工程师
2005-12--2009-02 中国酒泉卫星发射中心 高级工程师
2002-10--2005-11 北京大学 博士后
1996-12--1999-03 中国酒泉卫星发射中心 工程师
1994-06--1996-11 中国酒泉卫星发射中心 助理工程师


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

奖励信息 （1） 航天发射故障诊断技术，二等奖，部委级，2009
（2） 航天发射故障诊断技术研究与应用，二等奖，部委级，2008
（3） ××系统方案论证，三等奖，部委级，1997
（4） 中心科技档案规范化研究与实践，三等奖，部委级，1996
（5） 面向对象集成系统-OL-4面向对象程序设计语言和Daemon4/1面向对象数据库系统，二等奖，部委级，1994


专利成果 （1） 一种面向路径的测试数据自动生成方法，发明，2005，第1作者，专利号：ZL**.2

出版信息

发表论文 （1） 发射场测试发射指挥监控系统可靠性分配与预计，Allocation and prediction of the reliability of command, monitor, and control systems for testing and launching，载人航天，2012，第2作者
（2） 一种软件故障诊断过程框架，A kind of software faults diagnosing framework，计算机学报，2011，第1作者
（3） Research on formal description of data flow software faults，Proceedings of the 2010 IEEE International Conference on Computer Application and System Modeling，2010，第1作者
（4） 发射场测试发射指挥监控系统可靠性分析，Analysis of the reliability of command, monitor, and control system for testing and launching，载人航天，2010，第1作者
（5） An approach to testing black-box components using contract-based mutation，International Journal of Software Engineering and Knowledge Engineering，2008，第3作者
（6） 一种新的提高软件易测试性的合约式设计方法，A new design by contract approach to improve testability of software，计算机工程与科学，2008，第1作者
（7） 一种新的变异测试数据自动生成方法，A new approach to automated test data generation in mutation testing，计算机学报，2008，第1作者
（8） An approach to test data generation for killing multiple mutants，Proceedings of the 22nd International Conference on Software Maintenance，2006，第3作者
（9） 基于合约的构件易测试性设计支撑工具的设计与实现，Design and implementation of a tool supporting contract-based design for testability of components，北京大学学报（自然科学版），2005，第1作者
（10） 一种Web服务的测试数据自动生成方法，Method of automated test data generation for Web Service，计算机学报，2005，第3作者
（11） Contract-based mutation for testing components，Proceedings of the 21st International Conference on Software Maintenance，2005，第3作者
（12） 软件的易测试性分析方法述评，A review of approaches for software testability analysis，计算机科学，2005，第2作者
（13） 软件测试研究进展，Research progress in software testing，北京大学学报（自然科学版），2005，第1作者
（14） 一种基于合约式设计的测试技术研究，Research on a testing technology based on design-by-contract，软件学报，2004，第3作者
（15） 面向路径的测试数据自动生成方法述评，Survey on path-wise automatic generation of test data，电子学报，2004，第1作者
（16） Improved method to generate path-wise test data，Journal of Computer Science and Technology，2003，第1作者
（17） Gupta方法的改进，Improvement of the Gupta Method，计算机学报，2002，第1作者
（18） 面向路径的测试数据自动生成工具及其图形界面的Tcl/Tk设计，Path-wise automatic generator of test data and its graphic user interface design with Tcl/Tk，计算机工程与应用，2002，第1作者
（19） 面向路径的测试数据自动生成工具的设计与实现，Design and implementation of a path-wise automatic generator of test data，计算机工程与科学，2002，第1作者
（20） On path-wise automatic generation of test data for both white-box and black-box testing，Proceedings of the 8th Asia-Pacific Software Engineering Conference，2001，第1作者
（21） 面向对象软件中类的服务测试模型与测试策略，Model and strategy for testing services of class in Object-Oriented programs，计算机应用，1998，第1作者


发表著作（ 1 ）中国载人航天科普丛书: 戈壁天港——走进载人航天发射场（该套丛书获得2015年度国家科学技术进步二等奖）, Popular Science Series of Manned Spaceflight in China: Spaceflight Launching Site in Gobi - Ramble over the Manned Spaceflight Launching Site, 中国宇航出版社, 2011-06, 第 4 作者

科研活动

科研项目 （1） TG-2××主控软件配置项测试，主持，其他级，2012-09--2015-06
（2） 基于故障模拟的软件故障检测方法研究，主持，国家级，2010-01--2012-12
（3） 基于合同的构件可测试性设计与主动测试技术，主持，国家级，2004-01--2006-12


参与会议
合作情况

项目协作单位
指导学生