上海軟件中心簡(jiǎn)報2012年第11期

上海軟件中心六屆五次職代會(huì )順利召開(kāi)

11月16日，上海軟件中心六屆五次職工代表大會(huì )召開(kāi)，中心30名職工代表參加了會(huì )議。

會(huì )上，工會(huì )委員給大家全面解讀了《員工福利管理辦法》并介紹了職工代表的反饋意見(jiàn)征集情況和采納修改情況，此管理辦法是對《上海計算機軟件技術(shù)開(kāi)發(fā)中心員工手冊》相關(guān)內容的補充與完善，辦法把軟件中心法定福利、統一福利和專(zhuān)項福利包含的內容、享用的范圍和標準作了明確規定。這對維護員工合法權益，提高員工的滿(mǎn)意度起到了積極的推動(dòng)作用。經(jīng)無(wú)記名投票表決后，全票一致同意通過(guò)辦法。

關(guān)于優(yōu)秀提案的征集評選活動(dòng)，得到了廣大職工代表的熱情參與，先后共有7名職工代表提交了提案，提案或高瞻遠矚地提出新的業(yè)務(wù)方向，或未雨綢繆地找出發(fā)展瓶頸，或腳踏實(shí)地地挖掘現有潛力，展示了軟件中心員工對單位發(fā)展參與的主動(dòng)性和對單位寄予的厚望。評選出的兩個(gè)優(yōu)秀提案在會(huì )上作了交流發(fā)言，并由軟件中心副主任給優(yōu)秀提案獲得者頒發(fā)了榮譽(yù)證書(shū)。

中心黨總支書(shū)記、主任宗宇偉同志按照所務(wù)公開(kāi)的要求，在會(huì )上作了工作報告。介紹了軟件中心2012年各項業(yè)務(wù)工作進(jìn)展情況，包括2012年財務(wù)收支情況和執行2012年預算情況；提出了2013年單位總體工作思路，并對近期工作任務(wù)進(jìn)行了詳細介紹和布置。宗主任表示，一年一次的職代會(huì )是中心黨政領(lǐng)導班子和廣大職工交流互動(dòng)的很好的平臺，是中心推進(jìn)職工民主管理進(jìn)程的重要手段，本次會(huì )議取得了預期成效。

合作交流--上海大學(xué)張武院長(cháng)來(lái)訪(fǎng)

2012年11月15日，上海大學(xué)計算機學(xué)院一行三人，在張武院長(cháng)的帶領(lǐng)下，來(lái)我中心交流指導，與上海軟件中心宗宇偉主任、蔡立志副主任進(jìn)行了座談。

中心領(lǐng)導對上海大學(xué)計算機學(xué)院的來(lái)訪(fǎng)表示歡迎，宗宇偉主任詳細介紹了軟件中心的基本情況、發(fā)展現狀和主要服務(wù)方向，張武院長(cháng)也介紹了計算機學(xué)院的主要研究方向和專(zhuān)業(yè)優(yōu)勢。雙方認為，在研究生聯(lián)合培養基地共建的基礎上，還可以在云計算等方向開(kāi)展進(jìn)一步的戰略合作深化，形成定期交流機制，達到優(yōu)勢互補合作共贏(yíng)的目的。

合作交流--中科院軟件所張健研究員來(lái)訪(fǎng)

2012年11月5日，中科院軟件所所長(cháng)助理張健研究員到軟件中心作學(xué)術(shù)交流，主要考察和了解軟件中心重點(diǎn)實(shí)驗室在軟件測試技術(shù)研究方面的情況。軟件中心蔡立志副主任向其介紹了重點(diǎn)實(shí)驗室在軟件測試標準、軟件測試技術(shù)領(lǐng)域的研究情況，簡(jiǎn)要介紹了第三方服務(wù)的總體情況，并與張健研究員就軟件測試領(lǐng)域的熱點(diǎn)技術(shù)問(wèn)題進(jìn)行了細致的切磋和交流。

張健研究員是中科院軟件所博士生導師，中國科學(xué)院計算機科學(xué)重點(diǎn)實(shí)驗室副主任，主要研究方向包括自動(dòng)推理、約束求解、程序分析與軟件測試，曾先后獲得中國科學(xué)院青年科學(xué)家獎、中創(chuàng )軟件人才獎和國家杰出青年科學(xué)基金。

GB/T 25000.51實(shí)施指南研討會(huì )召開(kāi)

2012年11月22日，“商業(yè)現貨（COTS）軟件產(chǎn)品的質(zhì)量要求和測試細則（GB/T25000.51）應用實(shí)施指南討論會(huì )”在上海市軟件行業(yè)協(xié)會(huì )召開(kāi)。會(huì )議邀請到工信部電子四所標準化專(zhuān)家馮惠出席，來(lái)自全國各省市的12家第三方評測機構技術(shù)負責人參加了此次會(huì )議。

軟件中心蔡立志副主任對國家標準25000.51的變化進(jìn)行了通報，原有的六大特性增加安全保密性和兼容性擴充到八大特性，標準調整特定集為通用集兩大部分，在國際標準討論會(huì )中蔡副主任對國家標準GB/T25000.1的名稱(chēng)建議由“商業(yè)現貨”修改為“軟件與系統”。

本次研討會(huì )對實(shí)施細則中需要改進(jìn)的內容進(jìn)行了深入的討論，并對前期各評測機構對實(shí)施指南的反饋意見(jiàn)進(jìn)行了匯總，并針對該標準實(shí)施過(guò)程出現的問(wèn)題和困惑進(jìn)行了探討。專(zhuān)家馮惠建議實(shí)施指南對于測試實(shí)施過(guò)程應進(jìn)行詳細表述，提高標準可操作性，專(zhuān)家楊根興建議實(shí)施指南應建立判定準則來(lái)通過(guò)單個(gè)判斷結論給出整體結論、建立評價(jià)指標體系提供測試符合性的結論。各與會(huì )專(zhuān)家與人員對會(huì )上提出的意見(jiàn)和建議進(jìn)行了充分、透徹討論。蔡立志副主任建議參考16260完善實(shí)施指南各大質(zhì)量特性。

會(huì )后，各個(gè)標準參與單位明確下一步工作內容和重點(diǎn)，與會(huì )專(zhuān)家一致認為本次研討會(huì )的召開(kāi)，對實(shí)施指南標準的研制具有積極作用。

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)域的影響力。

軟件中心中標

永安財保信息系統健康檢查和質(zhì)量管理咨詢(xún)項目

近日，上海軟件中心和上海市軟件行業(yè)協(xié)會(huì )聯(lián)合中標“永安財產(chǎn)保險股份有限公司信息系統健康檢查和質(zhì)量管理咨詢(xún)項目”。項目簽約儀式于2012年11月29日在上海軟件中心舉行。

本項目由上海軟件中心和上海市軟件行業(yè)協(xié)會(huì )共同組成項目團隊，為永安保險提供信息系統健康檢查、安全風(fēng)險評估、質(zhì)量管理咨詢(xún)的第三方服務(wù)。主要涉及永安保險公司新核心業(yè)務(wù)系統、收付費系統、財務(wù)系統、銷(xiāo)售系統、統計報表系統（201系統）、資金系統等關(guān)鍵信息。

第六期軟件測試實(shí)踐提高班開(kāi)班

2012年11月24日至28日，第六期軟件測試實(shí)踐提高培訓班在軟件中心重點(diǎn)實(shí)驗室開(kāi)班。本期培訓班是依據客戶(hù)需求，為企業(yè)量身打造的。針對具有一定測試理論的專(zhuān)業(yè)技術(shù)人員，在嵌入式系統開(kāi)發(fā)及測試、測試用例編寫(xiě)、測試腳本設計和自動(dòng)化工具測試方面進(jìn)行培訓。

課程從系統性、實(shí)用性和規范性出發(fā)，考慮軟件企業(yè)在項目開(kāi)發(fā)和運營(yíng)過(guò)程中經(jīng)常會(huì )遇到的問(wèn)題，提高、訓練員工相關(guān)軟件測試知識與能力，具有很強的針對性。使學(xué)員系統掌握軟件測試的流程、技術(shù)、方法以及風(fēng)險管理，熟悉主流自動(dòng)化測試工具，特別是性能測試工具在行業(yè)具體項目中的實(shí)際使用方法，使學(xué)員具備較好的測試技術(shù)和測試管理能力，同時(shí)了解性能檢測、故障定位以及性能調優(yōu)的目標，使學(xué)員們在測試管理、測試分析和缺陷定位等方面有深入的了解和實(shí)踐。在短期內迅速提高員工軟件測試技能和水平，為企業(yè)項目開(kāi)發(fā)和實(shí)施提供有效的質(zhì)量保障，推動(dòng)組織技術(shù)能力和個(gè)人測試水平的不斷進(jìn)步，從而大幅度提升軟件質(zhì)量，保障企業(yè)利益。