孙昌爱
副教授
软件工程系常务副主任

办公地点：机电信息楼520
办公电话：010-62332931
传真：010-62332931
电子邮件：casun@ustb.edu.cn
本科课程：软件工程
研究生课程：高等软件工程
软件测试
科研方向：软件测试
服务计算
程序分析
软件体系结构
学术与社会兼职：IEEE会员（2002-）
ACM会员（2010-）
IBMAcademicInitiativeMember（2008-）
中国计算机学会高级会员（2009-）
中国计算机学会软件工程专委委员（2010-）
中国计算机学会服务计算专委委员（2011-）
中国计算机学会YOCSEF委员（2009-）
北京市海淀区科委专家（2010-）
教育部留学回国人员科研启动基金评审专家（2011-）
编委(AssociateEditor),国际期刊IEICETransactionsonInformationandSystems专辑(2009)
编委(EditorBoardMember),国际期刊InternationalJournalonIntelligentInformationProcessing(JNIT)
程序委员会主席,第一届IEEE可信计算国际研讨会(TrustCom2008),2008.
TrustCom2012、REFS2012等近20个国际会议程序委员会委员（ProgramCommittee）
国际期刊《JournalofSupercomputing》(Springer)、《ServiceOrientedComputingandApplications》(Springer)、《JournalofNetworkandComputerApplications》（Elsevier）、《InformationSystemsFrontier》(Springer)、《IEEETransactionsonSystem,ManandCybernetics》审稿人
计算机学报审稿人
国际会议ASIAN2004,APSEC2004,QSIC2005,APSEC2005,ASWEC2006,TSOA2007,REFS2008,ICYCS2008,TrustCom2008等审稿人
简历
男，1974年生。现为北京科技大学计算机与通信工程学院副教授，软件工程系常务副主任、硕士生导师。2002年12月，在北京航空航天大学获计算机软件与理论博士学位（硕博连读）；1997年7月，在北京科技大学获计算机及应用学士学位。2003年3月至2003年7月，任香港理工大学计算机系助理研究员；2004年3月至2006年5月，任澳大利亚斯文本大学信息与通信技术学院博士后研究员；2006年5月至2007年5月，任荷兰格罗宁根大学数学与自然科学学院博士后研究员；2007年9月至2009年4月，任北京交通大学计算机与信息技术学院讲师。
2003年10月至2003年12月，在美国SUN工程研究院（北京）访问研究；2012年6月至2012年7月，应邀在德国帕德博恩大学（UniversityofPaderborn）与荷兰格罗宁根大学（UniversityofGroningen）从事学术访问研究。
代表性论文论著
以第一作者或通讯作者在《IEEETransactionsonServicesComputing》、《InformationandSoftwareTechnology》、《JournalofSystemsandSoftware》、《SoftwareQualityJournal》、《InternationalJournalonWebServicesResearch》、《LectureNotesinComputerScience》、《JournalofSoftware》、《ICWS》、《COMPSAC》、《SEKE》、《APSEC》、《ICSR》、《TOOLS》、《软件学报》等国内外重要学术刊物和国际会议论文集上发表学术论文50余篇。发表的论文被引1000余次，SCI/EI/ISTP收录40余篇次。出版译著3部、完成研究报告10余篇。
部分代表性学术论文：
（1）Chang-aiSun,GuanWang,BaohongMu,HuaiLiu,ZhaoshunWang,T.Y.Chen.“AMetamorphicRelation-BasedApproachtoTestingWebServicesWithoutOracles”,InternationalJournalonWebServiceResearch(JWSR),2012,9(1):51-73.(SCI,EI)
（2）Chang-aiSun,ElieelKhoury,MarcoAiello.“TransactionManagementinService-OrientedSystems:RequirementsandaProposal”,IEEETransactionsonServicesComputing,2011,4(2):167-180.(SCI,EI)
（3）Chang-aiSun.“AConstraint-orientedTestSuiteReductionMethodforConservativeRegressionTesting”,JournalofSoftware,AcademyPublisher,2011,6(2):314-321.(EI)
（4）Chang-aiSun,RowanRossing,MarcoSinnema,MarcoAiello.“ModelingandmanagingvariabilityofWebservice-basedsystems”,JournalofSystemsandSoftware,Elsevier,2010,83(3):502-516.(SCI,EI)
（5）MichielKoning,Chang-aiSun*,MarcoSinnema,ParisAvgeriou.“VxBPEL:SupportingWebServiceVariabilityinBPEL”,InformationandSoftwareTechnology,Elsevier,2009,51(2):258-269.(*通讯作者)(SCI,EI)
（6）T.Y.Chen,M.F.Lau,K.Y.Sim,Chang-aiSun(Alphabetically).“OnDetectingFaultsforBooleanExpressions”,SoftwareQualityJournal,Springer,2009,17(3):245-261.(SCI)
（7）孙昌爱.基于约束的软件失效域识别与特征分析,软件学报,2012,23(7):1688-1701.（EI）
（8）T.Y.Chen，F.-C.Kuo，Chang-aiSun*.TheImpactoftheCompactnessofFailureRegionsonthePerformanceofAdaptiveRandomTesting,软件学报,2006,17（12）：2438-2449.(*通讯作者)(EI)
（9）孙昌爱,金茂忠,刘超,靳若明，程序执行时间的静态预估技术与可视化分析方法，软件学报，2003,14(1):68-75(EI)
（10）孙昌爱,金茂忠,刘超，软件体系结构研究综述，软件学报，2002,13(7):1228-1237(软件学报高被引论文)(EI)
（11）孙昌爱,金茂忠,刘超,田丽丛,一种基于UML的面向对象需求分析方法，航空学报,2003,24(1):75-78.(EI)
（12）张楣,刘超,孙昌爱，基于UML活动图的测试测试用例自动生成技术研究，北京航空航天大学学报，2001,27(4):433-437.(EI)
（13）孙昌爱,刘超,金茂忠，一种有效的程序结构图的布图算法，北京航空航天大学学报,2000,26(6):1305-1309.(EI)
（14）Chang-aiSun,GuanWang,Kai-YuanCai,T.Y.Chen.TowardsDynamicRandomTestingforWebServices,Proceedingsof36thAnnualIEEEInternationalComputerSoftwareandApplicationConference(COMPSAC2012),IEEEComputerSociety,July16-July20,2012,Izmir,Turkey.
（15）Chang-aiSun,GuanWang,Kai-YuanCai,T.Y.Chen.Distribution-awareMutationAnalysis,Proceedingsof9thIEEEInternationalWorkshoponSoftwareCybernetics(IWSC2012),collocatedwith36thAnnualIEEEInternationalComputerSoftwareandApplicationConference(COMPSAC2012),IEEEComputerSociety,July16-July20,2012,Izmir,Turkey.
（16）Chang-aiSun,GuanWang,BaohongMu,HuaiLiu,ZhaoshunWang,T.Y.Chen.“MetamorphicTestingforWebServices:FrameworkandCaseStudy”.Proceedingsofthe9thInternationalConferenceonWebServices(IEEEICWS2011),ResearchTrack,IEEEComputerSociety,WashingtonD.C.,USA,2011,pp.283-290(Acceptrate:13%)(EI)
（17）Chang-aiSun,TiehengXue,MarcoAiello.“ValySeC:AVariabilityAnalysisToolforAdaptiveServiceCompositionsusingVxBPEL”.Proceedingsof2010IEEEAsia-PacificServicesComputingConference(APSCC2010),IEEEComputerSociety,Hangzhou,China,2010,pp.307-314.(EI)
（18）Chang-aiSun.“TowardsTransaction-basedReliableServiceCompositions”,Proceedingsof33rdAnnualIEEEInternationalComputerSoftwareandApplicationConference(COMPSAC2009),IEEEComputerSociety,July20-July24,2009,SeattleWashington,USA.pp.216-221.(EI,ISTP)(Acceptrate:20%)
（19）Chang-aiSun,BaobaoZhang,JinLi.“TSGen:AUMLActivityDiagram-basedTestScenarioGenerationTool”,Proceedingsofthe2009IEEE/IFIPInternationalSymposiumonTrustedComputingandCommunications(TrustCom2009),Vancouver,Canada,2009,pp853-858.(EI)
（20）Chang-aiSun.“ATransformation-basedApproachtoGeneratingScenario-orientedTestCasesfromUMLActivityDiagramsforConcurrentApplications”,Proceedingsof32ndIEEEAnnualInternationalComputerSoftwareandApplicationConference(COMPSAC2008),IEEEComputerSociety,2008,Turku,Finland.pp160-167.(EI,ISTP)(Acceptrate:20%)
（21）Chang-aiSun,MarcoAiello.“TowardsVariableServiceCompositionsusingVxBPEL”,Proceedingsofthe10thInternationalConferenceonSoftwareReuse(ICSR2008).LectureNotesinComputerScience(LNCS)5030,Springer,Beijing,China,2008,pp257-261.(EI,ISTP)（(Acceptrate:25%)）
（22）Chang-aiSun,MarcoAiello.“RequirementsandEvaluationofProtocolsandToolsforTransactionManagementinServiceCentricSystems”,ProceedingsoffirstIEEEInternationalWorkshoponRequirementsEngineeringForServices(REFS2007)inconjunctionwiththe31stAnnualInternationalComputerSoftwareandApplicationsConference(COMPSAC2007),IEEEComputerSocietyPress,Beijing,China,2007,pp461-466.(EI,ISTP)(Acceptrate:20%)
（23）F.-C.Kuo,K.Y.Sim,Chang-aiSun,S.F.Tang,Z.Q.Zhou(Alphabetical).“EnhancedRandomTestingforProgramswithHighDimensionalInputDomains”,Proceedingsofthe19thInternationalConferenceonSoftwareEngineeringandKnowledgeEngineering(SEKE2007).Boston,USA,2007,pp135-140.
（24）Chang-aiSun,Y.W.Dong,K.Y.Sim,R.Lai,T.Y.Chen,“AnalyzingandExtendingMUMCUTforFault-basedTestingofGeneralBooleanExpressions”,Proceedingsof6thIEEEInternationalConferenceonComputerandInformationTechnology(CIT2006),IEEEComputerSociety,Seoul,Korea,2006.(EI)
（25）Chang-aiSun,Anincrementalandpracticalapproachtoenablethecomponentrun-timeevolution,Proceedingsof12thAsia-PacificSoftwareEngineeringConference(APSEC2005),IEEEComputerSociety,Taipei,Taiwan,Dec15-172005,pp603-610(EI，ISTP)(Acceptrate:28%)
（26）Chang-aiSun,JunZhou,JiannongCao,Mao-zhongJin,ChaoLiu,ReArchJBs:aToolforAutomatedSoftwareArchitectureRecoveryofJavaBeans-basedApplications,Proceedingsof16thAustralianConferenceonSoftwareEngineering(ASWEC2005),Brisbane,Australia,March29-April12005,IEEEComputerSociety,pp270-280(EI,ISTP)
（27）Chang-aiSun,K.Y.Sim,T.H.Tse,T.Y.Chen,AnEmpiricalEvaluationandAnalysisoftheFault-DetectionCapabilityofMUMCUTforGeneralBooleanExpressions,ProceedingsofInternationalComputerSymposium(ICS2004),Taipei,Taiwan,Dec.15-17,2004,pp926-932.
（28）Chang-aiSun,JiannongCao,Mao-zhongJin,ChaoLiu,MichaelR.LYU,ExtendableandInterchangeableArchitectureDescriptionofDistributedSystemsUsingUMLandXML,ProceedingsofAPPT’03,Xiamen,China,Sept.17-19,2003,LectureNotesinComputerScience(LNCS)2834,Springer,pp536-545(SCI,ISTP)
（29）Chang-aiSun,ChaoLiu,Mao-zhongJin,MeiZhang,Architectureframeworkforsoftwaretesttool,Proceedingsofthe36thInternationalConferenceonTechnologyofObject-OrientedLanguageandSystem(TOOLS-Asia'00),Xi'an,China,2000,IEEEComputerSociety,pp40-47(EI,ISTP)
科研业绩
长期从事软件工程方向的研究与实践，研究兴趣包括软件测试、程序分析、软件体系结构、服务计算。作为主要研究人员，完成欧盟第六框架计划项目、澳大利亚ARCDiscovery项目、香港理工大学资助项目、国家自然科学基金项目、国家863计划重点项目、九五科技攻关项目、十五国防预研项目等海内外软件工程方向研究项目近二十项。主持完成教育部留学人员科研启动基金课题1项、教育部博士点基金(新教师基金)1项、北京交通大学人才基金1项、北京交通大学计算机与信息技术学院教改项目1项。
目前主持国家自然科学基金项目(青年基金)1项、北京市自然科学基金项目(面上)1项、中央高校基本科研业务费资助项目1项、中国科学院软件研究所计算机科学国家重点实验室开放课题基金1项、十二五国家科技支撑计划子课题1项、北京科技大学第六批教育教学研究基金(面上项目)等共6项，参加教育部博士点基金课题1项。
获得奖励/专利
北京科技大学25届教育教学成果奖一等奖，2012(排名1/5)
北京科技大学25届教育教学成果奖二等奖，2012(排名3/5)
北京科技大学第五届“研究生教育奖”，2011（排名1）
北京科技大学计算机与通信工程学院“优秀班主任”，2011（排名1）
北京科技大学研究生课程教学免检课堂“面向对象的软件工程”，2010（排名1）
“2009年全国计算机教育优秀论文”二等奖，2009（排名1）（教育部高等学校计算机科学与技术教学指导委员会主办）
《计算机教育》杂志迎百期“十佳论文”，2009（排名1）（教育部高等学校计算机科学与技术教学指导委员会主办）
北京交通大学计算机与信息技术学院“青年教师教学基本功比赛”一等奖，2009（排名1）
北京交通大学“第七届青年教师教学基本功比赛”三等奖，2009（排名1）
“2008年英特尔杯全国计算机教育优秀论文”二等奖，2008（排名1）（教育部高等学校计算机科学与技术教学指导委员会）
入选美国MarquisWho'sWhointheWorld，2007-（排名1）
软件学报“高被引论文作者”，2006-（排名1/3）
申请国家发明专利3项（排名1）
登记软件著作权3项（排名1）