2012开放课题验收 产学研用持续发展

2012年11月15日下午，上海软件中心举办了2012年开放课题验收会暨联合实验室验收会。本次会议由上海交通大学、复旦大学、东华大学等6大高校参加。会议对软件中心重点实验室2010-2011年发布的开放课题分别进行了验收以及中期检查，并对2012年度联合实验室的课题进行了验收。

2010年，实验室向社会发布开放课题，经过自主申请、实验室评审，最终批准了由东华大学和复旦大学的申请要求。东华大学的开放课题为“基于云计算的软件测试服务技术研究”，由刘晓强教授负责。课题组在项目开展期间，共发表论文4篇，其中EI收录3篇。复旦大学的开放课题为“云计算环境下面向软件系统可伸缩性与动态重构性的协同测试技术研究”，由卢暾副教授负责。课题组在项目开展期间，共发表论文3篇，其中SCI收录2篇、EI收录2篇。经过验收组专家的一致讨论，认为这2项开放课题均已完成预定的任务，达到了项目任务书规定的考核指标，一致同意该项目通过验收。

2011年，中心实验室共发布2项开放课题，分别为上海交通大学陈雨亭博士的“Java多线程程序测试方法的研究”以及上海理工大学高丽萍博士的“实时图形编辑系统正确性证明及性能评测研究”。经过1年的项目开展，验收组专家认为该2项课题均有序开展，一直同意通过中期检查。

2012年中心实验室与上海大学联合实验室课题为“可信网络软件测试与验证方法研究”。课题组按照合同书的研究内容进行了研究，在可信网络软件的验证、概率事件模型检验和基于模型的网络软件测试的理论、方法、实现技术方面取得了显著进展和成果。课题组在期刊、国际学术会议上发表了学术论文15篇，其中SCI收录1篇、EI收录4篇，另有2篇论文被SCI期刊和《计算机学报》录用。课题组承办了2012.5.30-2012.6.1的大型国际学术会议ICIS2012，软件中心软件评测重点实验室协办该次会议。课题组培养博士研究生2名、硕士研究生4名。验收文档齐全，符合验收要求。经验收专家组讨论，一致同意该项目通过验收。

2012年实验室与华东理工大学联合实验室课题为“云计算环境中软件模型与验证技术”。课题组按照合同书的研究内容进行了研究，在云计算软件建模、云计算环境中资源自适应技术、云计算软件分析与验证及应用案例方面取得创新性成果。课题组在期刊、国际学术会议上发表了学术论文12篇，其中SCI收录1篇、EI收录4篇、EI源刊3篇，另有4篇论文被录用。课题组培养博士研究生2名、硕士研究生3名。验收文档齐全，符合验收要求。经验收专家组讨论，一致同意该项目通过验收。

通过与高校合作成立联合实验室和及向社会发放开放课题的模式，软件中心实验室进一步加强了团队建设；通过在新型的产、学、研、用合作方式上的探索，发挥试验基地在上海科技创新的推动力，积极发挥实验室在评测领域的影响力。