2012開(kāi)放課題驗收 產(chǎn)學(xué)研用持續發(fā)展

2012年11月15日下午，上海軟件中心舉辦了2012年開(kāi)放課題驗收會(huì )暨聯(lián)合實(shí)驗室驗收會(huì )。本次會(huì )議由上海交通大學(xué)、復旦大學(xué)、東華大學(xué)等6大高校參加。會(huì )議對軟件中心重點(diǎn)實(shí)驗室2010-2011年發(fā)布的開(kāi)放課題分別進(jìn)行了驗收以及中期檢查，并對2012年度聯(lián)合實(shí)驗室的課題進(jìn)行了驗收。

2010年，實(shí)驗室向社會(huì )發(fā)布開(kāi)放課題，經(jīng)過(guò)自主申請、實(shí)驗室評審，最終批準了由東華大學(xué)和復旦大學(xué)的申請要求。東華大學(xué)的開(kāi)放課題為“基于云計算的軟件測試服務(wù)技術(shù)研究”，由劉曉強教授負責。課題組在項目開(kāi)展期間，共發(fā)表論文4篇，其中EI收錄3篇。復旦大學(xué)的開(kāi)放課題為“云計算環(huán)境下面向軟件系統可伸縮性與動(dòng)態(tài)重構性的協(xié)同測試技術(shù)研究”，由盧暾副教授負責。課題組在項目開(kāi)展期間，共發(fā)表論文3篇，其中SCI收錄2篇、EI收錄2篇。經(jīng)過(guò)驗收組專(zhuān)家的一致討論，認為這2項開(kāi)放課題均已完成預定的任務(wù)，達到了項目任務(wù)書(shū)規定的考核指標，一致同意該項目通過(guò)驗收。

2011年，中心實(shí)驗室共發(fā)布2項開(kāi)放課題，分別為上海交通大學(xué)陳雨亭博士的“Java多線(xiàn)程程序測試方法的研究”以及上海理工大學(xué)高麗萍博士的“實(shí)時(shí)圖形編輯系統正確性證明及性能評測研究”。經(jīng)過(guò)1年的項目開(kāi)展，驗收組專(zhuān)家認為該2項課題均有序開(kāi)展，一直同意通過(guò)中期檢查。

2012年中心實(shí)驗室與上海大學(xué)聯(lián)合實(shí)驗室課題為“可信網(wǎng)絡(luò )軟件測試與驗證方法研究”。課題組按照合同書(shū)的研究?jì)热葸M(jìn)行了研究，在可信網(wǎng)絡(luò )軟件的驗證、概率事件模型檢驗和基于模型的網(wǎng)絡(luò )軟件測試的理論、方法、實(shí)現技術(shù)方面取得了顯著(zhù)進(jìn)展和成果。課題組在期刊、國際學(xué)術(shù)會(huì )議上發(fā)表了學(xué)術(shù)論文15篇，其中SCI收錄1篇、EI收錄4篇，另有2篇論文被SCI期刊和《計算機學(xué)報》錄用。課題組承辦了2012.5.30-2012.6.1的大型國際學(xué)術(shù)會(huì )議ICIS2012，軟件中心軟件評測重點(diǎn)實(shí)驗室協(xié)辦該次會(huì )議。課題組培養博士研究生2名、碩士研究生4名。驗收文檔齊全，符合驗收要求。經(jīng)驗收專(zhuān)家組討論，一致同意該項目通過(guò)驗收。

2012年實(shí)驗室與華東理工大學(xué)聯(lián)合實(shí)驗室課題為“云計算環(huán)境中軟件模型與驗證技術(shù)”。課題組按照合同書(shū)的研究?jì)热葸M(jìn)行了研究，在云計算軟件建模、云計算環(huán)境中資源自適應技術(shù)、云計算軟件分析與驗證及應用案例方面取得創(chuàng )新性成果。課題組在期刊、國際學(xué)術(shù)會(huì )議上發(fā)表了學(xué)術(shù)論文12篇，其中SCI收錄1篇、EI收錄4篇、EI源刊3篇，另有4篇論文被錄用。課題組培養博士研究生2名、碩士研究生3名。驗收文檔齊全，符合驗收要求。經(jīng)驗收專(zhuān)家組討論，一致同意該項目通過(guò)驗收。

通過(guò)與高校合作成立聯(lián)合實(shí)驗室和及向社會(huì )發(fā)放開(kāi)放課題的模式，軟件中心實(shí)驗室進(jìn)一步加強了團隊建設；通過(guò)在新型的產(chǎn)、學(xué)、研、用合作方式上的探索，發(fā)揮試驗基地在上?？萍紕?chuàng )新的推動(dòng)力，積極發(fā)揮實(shí)驗室在評測領(lǐng)域的影響力。