专家信息:
蔡建平 ,男,1960年8月出生,硕士。曾任总装备部系统工程研究所研究员、北京奥吉通科技有限公司技术总监和信息部软件技术与系统设计顾问,现任北京工业大学软件学院软件与网络工程系主任、教授。
教育及工作经历:
1978年9月至1982年8月武汉大学空间物理系本科(无线电物理专业)。
1982年8月至2003年3月西安空军电讯工程学院通信室,教员。
1985年9月至1988年6月北京航空航天大学计算机系,硕士研究生。
1993年2月至2004年12月北京系统工程研究所软件工程室,研究员。
2003年2月至2005年8月北京奥吉通科技有限公司,技术总监。
2005年9月至今北京工业大学软件学院,教授。
社会任职:
1. 教育部、北京市及部分区县、部分企业的有关基金项目和科技项目的评审专家。
教学情况:
主讲课程:
1. 软件测试:本科生专业课(含实验),2学时/周,共32学时,5届,学生总人数350;
2. 软件测试技术:研究生专业课,2学时/周,共32学时,3届,学生总人数150;
3. 高级软件工程:研究生专业课,2学时/周,共32学时,1届,学生总人数30。
实践性教学:
1. 软件测试课程设计(本科):专业课(课程设计),共32学时,5届,学生总人数350人;
2. 数字皮影制作:本科生创新学分课程,4学时/周,共60学时,1届,学生总人数30;
3. 数字皮影表演:本科生创新学分课程,4学时/周,共60学时,1届,学生总人数40;
4. 界面设计(本科):专业课(课程设计),共32学时,2届,学生总人数152人;
5. 高级软件编程技术(工程硕士):工程实践中的基础技能训练,学生总人数236人;
6. 高级软件工程实践(工程硕士):工程实践中的专业技能训练,2届,学生总人数68人。
承担教学项目情况:
1. 北京工业大学教育教学研究项目:软件工程实践教学环境建设的研究与实践。
2. 北京市高等学校教育教学改革项目:软件工程复合型应用人才培养模式探讨与实践。
3. 教育部特色专业建设项目:教育部第二类特色专业软件工程专业(数字媒体技术)建设。(负责人)
4. 北京市属高等学校人才强教深化计划项目:创新团队—学术创新团队—嵌入式软件与系统学术创新团队建设。(排名第3)
5. 北京市特色专业建设项目:北京市软件工程特色专业建设。
教学成果:
1. 面向产业 服务北京 拓展软件工程专业方向的探索与实践,2009年国家优秀教学成果二等奖;2008年北京市优秀教学成果一等奖。(排名第3)
培养研究生情况:
指导工学硕士研究生12人,双证工程硕士研究生13人,单证工程硕士研究生88人。
科学研究:
研究方向:
主要从事嵌入式软件工程、数字媒体技术多媒体技术。
承担科研项目情况:
1. 横向课题:软件协同测试支撑平台,负责人。
2. 横向课题:医用电子直线加速器运动控制系统软件迁移与改造,负责人。
3. 自立课题:嵌入式软件测试技术研究,负责人。
4. 自立课题:网络剪纸设计平台技术研究,负责人。
5. 北京市教委科技创新平台建设项目:数字皮影研发平台,负责人。
6. 北京市教委科技发展面上项目:皮影数字化表演平台支撑技术研究,负责人。
7. 横向项目:C语言符号及全数字仿真模块,负责人。
8. 横向项目:Ada语言全数字仿真测试平台,负责人。
9. 横向项目:C/C++源程序静态分析技术研究,负责人。
10.2005年度科技部科技型中小企业技术创新基金(北京奥吉通科技有限公司,05C26211100050)项目:嵌入式软件全数字仿真测试支撑平台,负责人。
创新成果:
学术专著:嵌入式软件测试实用技术
本书可说是目前国内出版发行的一本真正以嵌入式软件测试技术为核心内容的嵌入式软件测试专业书籍。完全是在嵌入式应用软件特点及开发技术运用上针对国内嵌入式软件测试技术运用的实际状况并结合作者多年在嵌入式软件测试领域工作的成果与经验上提炼和总结出来的。该书针对我国国防工业如航空、航天、机械、船舶、电子、通讯、石油、化工等大量重要软件或关键软件是嵌入式软件的实际情况,以及对这些软件进行测试具有特殊的要求,如高可靠性要求,选择本书的知识点、技术内容和工具支持。
本书以当前嵌入式软件测试需求为背景,针对嵌入式应用的复杂性、硬件的多样性、资源的有限性、响应及处理的实时性及技术应用的不确定性等所带来的嵌入式软件测试一系列问题,进行基础准备、知识讲解、技术分析、工具举例等内容的科学组织,使读者深入浅出,既能学习到一些基本的嵌入式软件测试技术,又能够拓宽眼界,了解嵌入式软件测试的一些边缘的或前沿的知识,而且对如何运用工具开展嵌入式软件测试有一定的认识和想法。
除了有大量篇幅讲述嵌入式软件的交叉开发、质量度量及测试验证的基本概念、技术、方法和过程外,书中还特别针对嵌入式软件测试的一些特殊需求介绍了所用到的一些重要技术,如交叉调测技术、半实物及全数字仿真技术、虚拟仪器技术、虚拟样机技术、软硬件协同验证技术和FPGA测试技术。同时,对国内主流的嵌入式软件测试工具分门别类地进行介绍和应用举例,可以说这是一本集各种嵌入式软件测试技术和工具应用于一体的嵌入式软件测试专著。
科研创新:数字皮影表演
数字皮影表演不同于皮影动画或皮影游戏,它是表演者通过各种人机交互技术对数字化的皮影道具进行操纵,配合视觉和听觉,达到与传统皮影戏表演高度吻合的艺术形态和艺术效果。从而形成一种在计算机上进行皮影表演、通过网络传播的新型皮影表演艺术。
数字皮影支持多种学科的交叉与融合,如:美术、戏曲、动画、影视等艺术,平面设计、骨骼建模、动画制作、实时渲染、视音频后期编辑与合成、视频捕捉、虚拟现实等数字媒体技术,程序设计、数据库管理、网络通信、操作系统、游戏开发、图形图像处理、人机交互、人工智能等计算机技术或软件技术。同时,数字皮影表演可衍生各种娱乐性表演,如戏曲、话剧、相声、舞蹈等;可衍生各种体育运动项目动作编排与表演,如体操、健美操、太极拳等。
数字皮影表演涉及以下内容:
从幕后走进计算机,从幕布展示走向计算机屏幕显示;
从传统皮影的制作过程变为图像扫描、图像处理、平面设计、骨骼设计以及包括重力与碰撞的运动模型设计的过程;
从传统灯照影视及特效表演变为镜头特效、动漫特效、游戏运动特效等现代效果;
从传统竹棍操纵变为鼠标、键盘、多点触控及视频捕捉等组合的现代人机交互表演操作;
从传统的社团场地表演变为异地的网络社区在线表演和观赏,变为类似于网络游戏的全民娱乐,并走入家庭或社区、走进企业或学校、走进课堂或文化室;
从传统的皮影地域文化体验变为集皮影文化艺术资料和素材库、皮影动画及戏曲影视、皮影游戏、皮影表演娱乐、皮影社区及门户于一体的数字皮影博物馆。
为了能够进行数字皮影戏的表演,我们必须开发或构建一个能够进行皮影戏表演的数字皮影表演平台。而一个数字皮影表演平台的开发要用到各种计算机技术和数字媒体技术。如:程序设计、数据库、网络、流媒体、操作系统、图形图像、软件架构、软件开发与测试、平面设计、动画、游戏、音视频后期处理、脚本编程、人机交互等。当然,表演者能够在该平台上进行皮影戏的表演,除了要具备一定人文艺术修养外,还必须经过长时间的训练具备有数字皮影戏曲的表演特长。
我们在数字皮影表演方面的研究得到了北京市教委及学校的大力支持,取得了前期成果。特别是学生以科技活动的成果“数字皮影交互平台”参加团中央组织的第十二届“挑战杯”全国大学生课外学术科技作品竞赛荣获三等奖,以科技活动的成果《法场救太君》的皮影动画获第三届中国学院优秀奖。在2011年第六届中国北京国际文化创意产业博览会上,参展的“多点触摸式数字皮影交互平台”受到了参观者的极大好评,并受到包括CCTV2,CCTV13、中国广播网、新京报、新华网、中国视障教育网、经济日报、科技日报等在内国内知名媒体的积极报道。与此同时,我们积极与国内著名的龙天皮影剧团以及北京工业大学艺术设计学院牵手,联合打造数字皮影戏,实现高科技与传统皮影艺术的完美结合。
国内有关专家对我们在数字皮影上取得的科研学术成果给予了很高的评价:科研学术成果具有很强的创新性和先进性,其数字皮影表演的思想、方法和技术实现等填补了国内空白,也为民间皮影艺术数字化提供一种新的方法、手段或途径,这对推进皮影表演艺术及民间表演艺术的数字化有很好的借鉴作用和推广价值。
论文专著:
发表各类学术论文30多篇,出版著作5部。
出版专著:
1. 《软件综合开发案例教程》清华大学出版社 2011年
2. 《嵌入式软件测试实用技术》清华大学出版社 2010年
3. 《软件测试大学教程》清华大学出版社 2009年
4. 《软件测试实验指导教程》清华大学出版社 2009年
5. 《Ada程序设计语言高级教程》解放军出版社 1998年
发表英文论文:
1 Research and Appilication of the Floating License Management Strategy,The 1st International Conference on Information Science and Engineering(ICISE2009)(EI:11281650; SCI检索号UT INSPEC:11281650),Cai Jian-ping and Qiao Li-ping.
2 Implementation of Migration Based on Static Analysis Tool OINK, The 2rd International Conference on Information Science and Engineering (ICISE2010),Cai Jianping , Yang Ximin.(EI检索,11846654).
3 The establishment of shadow model based on Flash and realization of control technology,International Conference on Graphic and Image Processing (ICGIP 2011),Cai Jianping ,Zhao Shan,Yu Xuejun(EI检索:12308191;SCI检索号UT WOS:000295933400058).
4 Research and realization of shadowgraph performance technology based on DirectX,International Conference on Graphic and Image Processing (ICGIP 2011),Cai Jianping , Liu Qian,Yu Xuejun(EI检索:12292321; SCI检索号UT WOS:000295933400059).
5 A Black Box Testing Technology Based on QEMU,2010 3rd International Conference on Computer and Electrical Engineering(ICCEE 2010),Jianping Cai and Lixuan Cao.
6 Research on Trusted Programming Technology in Information Security,2011 International Conference on Information Systems and Computational Intelligence(ICISCI 2011),Cai Jian-ping and Xu Wen-ying.
7 A new method of version management for test case,International Conference on Information Engineering and Applications, IEA 2011,Cai Jian-ping ,Lu Wen-liang and Xu Wen-ying(EI: 20114814559489).
8 The Teaching Philosophy and Training Pattern which Training the Software Test Ability,2011 International Conference on Computer Application and Education Technology (ICCAET 2011),Cai Jianping .
发表中文论文:
1 VAX/ADA调试符号表的形式化描述 蔡建平 西安空军电讯工程学院 【期刊】计算机工程与设计 1989年第5期
2 论军用软件研制开发过程中的标准及标准实施问题 张敏;蔡建平 西安空军电讯工程学院 【期刊】计算机与信息处理标准化 1991年第1期
3 速成原型在软件开发中的应用 蔡建平 西安空军电讯工程学院 【期刊】微型计算机 1991年第4期
4 VAX/ADA调试器的设计与实现 蔡建平 西安空军电讯工程学院 【期刊】计算机工程与设计 1991年第4期
5 ADA编译器与调试器的接口标准实现 蔡建平 西安空军电讯工程学院 【期刊】计算机与信息处理标准化 1992年第1期
6 软件93-0630:CJP-51/96单片机软件仿真运行调试系统 蔡建平 北京系统工程研究所 【期刊】微计算机应用 1993-06-10
7 高级符号调试器的技术研究与设计实现 蔡建平 北京系统工程研究所 【期刊】计算机工程 1993-08-29
8 BISE Ada 8086/8096交叉转换系统的设计与实现 蔡建平 北京系统工程研究所 【期刊】计算机研究与发展 1994-02-15
9 微控制器软件仿真系统的设计实现 蔡建平 北京系统工程研究所 北京 【期刊】微计算机应用 1995-02-15
10 一种面向对象的可重用库管理系统的模型 王青; 张为民; 蔡建平 北京系统工程研究所 【期刊】软件学报 1997-05-05
11 利用Chiron图形系统设计人机界面的方法 朴春日; 蔡建平 北京系统工程研究所 【期刊】计算机应用研究 2000-06-28
12 关于嵌入式应用开发技术 蔡建平 北京系统工程研究所 【期刊】单片机与嵌入式系统应用 2001-03-15
13 嵌入式应用软件开发环境δOS/λTool的设计与实现 郭兵; 熊光泽; 陈丽蓉; 蔡建平 电子科技大学; 北京系统工程研究所 【期刊】单片机与嵌入式系统应用 2001-03-15
14 基于API测试的分布式测试框架的研究与实现 王毅;蔡建平 北京系统工程研究所 【期刊】计算机工程与设计 2004年第8期
15 基于像素邻域模式的矢量化预处理方法 李蓉; 周茂丽; 蔡建平 北京工业大学软件学院 【会议】中国计算机图形学进展2008--第七届中国计算机图形学大会论文集 2008-09-01
16 一种低成本的嵌入式软件自动化测试框架的实现方法 卫征;蔡建平 北京工业大学 【期刊】计算机工程与应用(专刊),2008.11
17 基于开源软件的软件工程实施系统研究 徐哲; 蔡建平 北京工业大学 【期刊】微计算机信息 2009-03-25
18 对称折叠剪纸的方法研究和技术实现 黄静;蔡建平 北京工业大学 【期刊】数字技术与应用,2009.年第7期
19 软件可靠性测试方法新探 蔡建平 北京工业大学软件学院 【期刊】计算机工程与设计 2009-10-28
20 皮影动画中人物运动的特性分析与实现 高璐静; 蔡建平 北京工业大学软件学院 【期刊】计算机工程与设计 2010-05-28
21 软件工程(数字媒体技术)特色专业复合型创新型人才培养模式研究 沈琦; 于学军; 张丽; 石振莲; 蔡建平 北京工业大学软件学院 【期刊】中国校外教育 2010-08-20
22 基于Flash皮影人物的多鼠标控制技术的实现 蔡建平 ; 张君 北京工业大学软件学院 【期刊】微计算机信息 2010-09-05
23 覆盖测试中高效代码插桩技术的研究 蔡建平 ; 路翠 北京工业大学软件学院 【期刊】微计算机信息 2010-09-15
24 基于RTEMS的嵌入式全数字仿真测试技术 蔡建平 ;涂良辉 北京工业大学软件学院 【期刊】计算机应用研究(增刊) 2010年第15期,
25 Mule ESB在DICOM协议上的扩展研究 吴倩; 蔡建平 北京工业大学软件学院 【期刊】微计算机信息 2010-11-25
26 开源软件测试实践教学方案设计 蔡建平 北京工业大学软件学院 【期刊】计算机教育 2011-03-25
27 TETRA(PMR)网络拓扑规划辅助设计软件的设计与实现 桑振华; 蔡建平 北京工业大学 【期刊】移动通信 2011-04-15
28 软件开发综合能力培养的案例教学 蔡建平 北京工业大学软件学院 【期刊】计算机教育 2011-10-25
29计算机技术综合应用能力培养的实践教材 蔡建平 北京工业大学软件学院 【期刊】实验技术与管理 2012年第3期
荣誉奖励:
作为项目负责人获军队科技进步一等奖1项(Ada软件质量保证系统,排名第4)、二等奖2项(军用实时嵌入式支撑技术,排名第1;Ada可重用库管理系统,排名第2)、三等奖2项(PC机到单片机Ada交叉转换系统、军用软件质量评测与控制系统,均排名第1)。
1. 2008年获北京市教育教学成果一等奖。(排名第3)
2. 2009年获国家教育教学成果二等奖。 (排名第3)
媒体报道:
蔡建平 教授在软件工程、嵌入式软件测试、数字媒体技术等领域开展了长时间的大量研究,并取得了突出成果。如:在军队二十多年的工作中,一直从事全军军用共性软件系统项目的论证与研究,并在其研究领域(Ada软件工程、软件质量保证,软件测试技术、嵌入式软件开发技术等)发挥重要作用。作为项目负责人获军队科技进步一等奖1项(“Ada软件质量保证系统”排名第4)、二等奖2项(“军用实时嵌入式支撑技术”排名第1,“Ada可重用库管理系统”排名第2)、三等奖2项(“PC机到单片机Ada交叉转换系统”、“军用软件质量评测与控制系统”均排名第1);负责编著《Ada程序设计语言高级教程》(解放军出版社,排名第2);发表各类学术文章20多篇。另外,在企业工作期间,除了负责军工、国防有关单位的软件工程,软件质量保证,软件测试技术以及嵌入式开发技术的技术咨询,提供解决方案和技术支撑外,还主持开发了CRESTS(科锐时)系列的嵌入式软件工程和软件测试工具,这些工具已成功地用于航空、航天有关型号项目的测试。最后,近20年来,针对军队、国防等研究单位开展了近20次有关嵌入式软件测试以及Ada软件工程的技术培训。并在2005中国软件技术大会、第三届中国嵌入技术应用交流会高峰论坛、第五届中国软件工程大会及第五届中国数字传媒教育与发展论坛年会等会议上做主题发言。
2005年9月在北京工业大学软件学院任职教授以来,在学院的学科建设、专业建设、实验室建设、“211工程”建设、教育部和北京市特色专业建设以及科技创新平台建设等方面做了大量的工作,取得了突出成果。作为主要贡献者之一,“面向产业 服务北京 拓展软件工程专业方向的探索与实践”教育教学成果获2009年北京市教育教学成果一等奖、国家教育教学成果二等奖,均排名第三。作为负责人或负责人之一申请数字媒体技术专业,主持教育部软件工程(数字媒体技术)特色专业建设以及北京市教委科技创新平台—数字皮影研发平台建设等工作。“软件测试”课程及“高级软件编程技术”分别评为学校精品课程和研究生重点建设课程,其建设成果《软件测试大学教程》、《软件测试实验指导教程》、《软件综合开发案例教程》3部教材已在清华大学出版社出版发行(其中《软件测试大学教程》被北京市教委推荐参评“十二五”普通高等教育本科国家级规划教材)。
科研上,除了继续在软件工程、嵌入式软件测试等方面开展研究外(主要成果是编著了《嵌入式软件测试实用技术》学术专著),开辟了将学科交叉落到实处的研究领域——“数字皮影表演”该项研究得到了北京市教委的资助,它紧扣国家文化遗产传承和保护的战略要求,紧扣北京产业转型——发展文化创意产业的要求。目前,有关“数字皮影表演”的技术研究已取得阶段性成果。如:发表各类期刊、会议学术论文及教学研究论文10多篇,申请软件著作权3项;20多名学生以数字皮影相关技术研究或相关项目开发为题,开展本科毕业设计和研究生的论文工作;学生的科技活动成果“数字皮影交互平台”获第十二届“挑战杯”全国大学生课外学术科技作品竞赛三等奖,《法场救太君》皮影动画获第三届中国学院优秀奖,“数字皮影交互软件”在“中国移动G3杯”暨第六届北京发明创新大赛上获优秀奖;2011年底在第五届中国数字传媒教育与发展论坛年会上的“让民间艺术插上数字技术的翅膀更高地飞翔——开辟皮影艺术传承、发展的新路子”主题发言受到大会的欢迎和与会者的关注。国内知名高校专家对该项成果给予了很高的评价:科研学术成果具有很强的创新性和先进性,其数字皮影表演的思想、方法和技术实现等填补了国内空白,也为民间皮影艺术数字化提供一种新的方法、手段或途径,这对推进皮影表演艺术及民间表演艺术的数字化有很好的借鉴作用和推广价值。