曾红卫研究员（ZENGHONGWEI）
Email:zenghongwei@shu.edu.cn
Tel:66135380

1989年于上海科技大学获计算机应用专业硕士，在职博士。参加或主持过“科学与统计数据库管理系统（国防科工委）”、“网络安全检测软件的研究（上海市教委）”、“网格工作流”等科研项目，参加了“国际语音与传真信息系统”、“IP电话计费系统”等产品的开发。
主要研究方向：

软件工程与形式化，软件测试（特别是Web应用测试和组件测试）。

目前科研项目：

1.软件工程国家重点实验室开放基金：基于Web软件规格说明的测试方法研究，主持，2006.01-2007-12；
2.国家自然科学基金：基于规格说明的Web应用测试方法的研究，第2位，2007.01-2009.12；
3.上海市教育委员会科研项目：基于规格说明的分布式软件的测试方法，第2位，2007.01-2008.12。

发表的主要学术论文：

[1]曾红卫，陈永年。统计数据库管理系统的设计与实现。软件学报，1995,6(2):123-127.
[2]曾红卫。软件配置管理模型。计算机工程与应用，1996，32（6）：25-28.
[3]曾红卫，李奇，缪淮扣。GBPEL:一种合成网格服务和Web服务的工作流语言。计算机应用与软件，2005，22(10):84-86.
[4]曾红卫，滕中梅。用Z形式化描述的软件设计模式。计算机工程，2006，32(13):69-70,108.
[5]HongweiZeng,HuaikouMiao.Datacommunicationmodelofgridworkflow.PROCEEDINGSofIEEEInternationalConferenceone-BusinessEngineering(ICEBE2006):647-653.,OCT24-26,2006,Shanghai,PEOPLESRCHINA.
[6]ZENGHongwei,MIAOHuaikou.DataExchangeinGridWorkflow.WuhanUniversityJournalogNaturalSciences,2006,11(5):1330-1334.
[7]HongweiZeng,HuaikouMiao.Specification-basedTestGenerationandOptimization,Proceedingsof1stIEEE&IFIPInternationalSymposiumonTheoreticalAspectsofSoftwareEngineering(TASE07),June5–8,2007Shanghai,China.
[8]HuaikouMiao,HongweiZeng,ModelChecking-BasedVerificationofWebApplication,ProceedingsofTwelfthIEEEInternationalConferenceonEngineeringofComplexComputerSystems(ICECCS07),Auckland,NewZealand,July11-14,2007.
[9]HongweiZeng,HuaikouMiao,Auto-generatingTestSequencesforWebApplications,ProceedingsoftheSeventhInternationalConferenceonWebEngineering(ICWE2007),July16-20,Como,Italy.
[10]ZengHongwei,MiaoHuaikou,ModelChecking-BasedTestingofWebApplications,UniversityJournalogNaturalSciences,2007(5).