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

上海軟件中心召開(kāi)七屆三次職工代表大會(huì )

上海軟件中心七屆三次職代會(huì )于8月8日召開(kāi)。中心工會(huì )委員、經(jīng)審委員和中心職工代表出席了本次會(huì )議。中心黨政領(lǐng)導列席了本次會(huì )議。

本次職代會(huì )主要審議并投票表決中心員工手冊相關(guān)修訂內容。職工代表以無(wú)記名投票方式表決通過(guò)了《上海軟件中心員工手冊》、《上海軟件中心績(jì)效工資實(shí)施辦法》、《上海軟件中心績(jì)效考核實(shí)施辦法》、《上海軟件中心員工療休養實(shí)施辦法》、《上海軟件中心員工福利管理辦法》。工會(huì )經(jīng)審委匯報了中心工會(huì )經(jīng)費使用情況。

會(huì )上，張紹華副主任還就中心的“十三五規劃”向職工代表進(jìn)行了解讀。規劃中指出上海軟件中心“十三五”期間既要主動(dòng)服務(wù)上?？苿?chuàng )中心建設的總體布局，承接上海產(chǎn)業(yè)技術(shù)研究院相關(guān)任務(wù)，運行好產(chǎn)研院浦江分部；又要堅守“服務(wù)行業(yè)，發(fā)展產(chǎn)業(yè)”的宗旨理念，立足當下，主動(dòng)創(chuàng )新，為軟件中心未來(lái)長(cháng)遠發(fā)展奠定更加堅實(shí)的基礎，努力成為上?？苿?chuàng )中心功能型平臺的重要節點(diǎn)，推進(jìn)成果轉化和產(chǎn)業(yè)發(fā)展的先鋒以及上?？苿?chuàng )中心的亮點(diǎn)。

最后，中心黨總支書(shū)記張若文對本次職代會(huì )作了總結發(fā)言。張書(shū)記高度肯定了職工代表在中心“十二五”發(fā)展及參與中心民主管理中所起的作用。張書(shū)記指出職代會(huì )是中心進(jìn)行民主管理、開(kāi)展所務(wù)公開(kāi)的一個(gè)重要途徑，我們要始終堅持以人為本的理念，繼續發(fā)揮職工代表作用，并鼓勵廣大職工為中心的發(fā)展繼續進(jìn)言獻策。

上海軟件中心開(kāi)展“送清涼”慰問(wèn)活動(dòng)

面對高溫難耐的酷暑天氣，如何做好現場(chǎng)工作人員防暑降溫工作，保障項目全體參建員工身心健康？軟件中心組織開(kāi)展的一場(chǎng)“送清涼”活動(dòng)在各個(gè)項目迅速展開(kāi)。

軟件中心工會(huì )將清涼物資剛剛購選齊全，中心黨總支便要求辦公室在第一時(shí)間安排車(chē)輛，由黨總支張若文書(shū)記帶隊，把防暑降溫物品送到一線(xiàn)員工手上，為沉悶炎熱的項目現場(chǎng)送去一片清涼。

張若文書(shū)記、張紹華副主任、蔡立志副主任等領(lǐng)導一行詳細了解了項目現場(chǎng)職工的生活工作情況，叮囑大家要注意防暑降溫和項目現場(chǎng)安全，并對大家在高溫酷暑天氣依然堅守崗位，推動(dòng)各項目的順利開(kāi)展表示感謝；并要求各項目現場(chǎng)負責人要切實(shí)做好防暑降溫和安全工作，防止高溫中暑等各類(lèi)安全事故的發(fā)生，確保項目現場(chǎng)安全。

深入開(kāi)展“送清涼”活動(dòng)，將中心領(lǐng)導對職工的關(guān)愛(ài)送達到一線(xiàn)，確保高溫期間一線(xiàn)的員工的健康和安全，充分體現了軟件中心對職工深切的人文關(guān)懷和以人為本的文化理念。

ITSS?數據治理規范國家標準征求意見(jiàn)和應用實(shí)踐

工作會(huì )議在北京順利召開(kāi)

2016年8月11日，上海計算機軟件技術(shù)開(kāi)發(fā)中心牽頭研制的《信息技術(shù)服務(wù) 治理 第5部分：數據治理規范》國家標準征求意見(jiàn)和應用實(shí)踐工作會(huì )議在北京順利召開(kāi)。本次會(huì )議得到了中國華融資產(chǎn)管理股份有限公司、北京趨勢引領(lǐng)信息咨詢(xún)有限公司的大力支持。會(huì )議邀請到來(lái)自互聯(lián)網(wǎng)、金融、銀行、交通、醫藥、出版、水利、氣象等多個(gè)行業(yè)的25家ITSS會(huì )員單位、數據治理標準應用實(shí)踐單位近40位數據領(lǐng)域專(zhuān)家。

會(huì )上，中國華融資產(chǎn)管理股份有限公司、上海樂(lè )九醫療科技有限公司、阿里云集團數據管理團隊等來(lái)自金融、醫療、互聯(lián)網(wǎng)行業(yè)代表分別分享了各自在數據治理實(shí)施過(guò)程中的實(shí)踐案例與經(jīng)驗，并與現場(chǎng)與會(huì )專(zhuān)家展開(kāi)了熱烈交流討論。隨后，行業(yè)專(zhuān)家圍繞數據治理原則、數據治理模型、實(shí)施方法和實(shí)施路徑等多項內容進(jìn)行了研討，結合標準應用過(guò)程中將面臨的實(shí)際問(wèn)題提出了新一輪修改意見(jiàn)與建議。

“數據治理規范”國家標準負責人、上海軟件中心副主任張紹華博士表示：數據治理在信息技術(shù)、大數據產(chǎn)業(yè)生態(tài)中正發(fā)揮著(zhù)重要作用，數據治理作為產(chǎn)業(yè)發(fā)展關(guān)注熱點(diǎn)對標準研制也提出了更高的要求；在標準研制過(guò)程中引入應用實(shí)踐單位，積極推動(dòng)實(shí)踐單位與標準編寫(xiě)組的創(chuàng )新交流機制，為標準能夠準確采集用戶(hù)需求、及時(shí)提煉最佳實(shí)踐、打造以數據治理為核心的新型產(chǎn)業(yè)鏈提供了有力支撐。

此次標準征求意見(jiàn)和應用實(shí)踐工作會(huì )議的召開(kāi)對完善標準內容、提高標準適用性等方面起到了積極推動(dòng)作用，為標準的順利通過(guò)內審奠定了良好的基礎。

上海軟件中心舉辦國際學(xué)術(shù)交流活動(dòng)

——Dependence Guided Symbolic Execution講座

符號執行，即使用符號值代替真實(shí)值執行，是當下軟件工程中熱點(diǎn)的方向之一，在軟件測試等領(lǐng)域有很好的應用前景。符號執行在不執行程序的前提下，用符號值表示程序變量的值，然后模擬程序執行來(lái)進(jìn)行相關(guān)分析的技術(shù)，具有可以分析代碼的所有語(yǔ)義信息，也可以只分析部分語(yǔ)義信息。使用符號執行的方法進(jìn)行分析可以達到很高的路徑覆蓋率，結合約束求解器可以實(shí)現測試用例的自動(dòng)生成。實(shí)際應用中，隨著(zhù)探索的路徑數量隨程序大小的增加而呈指數增長(cháng)，導致符號執行受路徑探索的限制而引起測試開(kāi)銷(xiāo)的巨漲。

針對這一測試領(lǐng)域的問(wèn)題，上海計算機軟件技術(shù)開(kāi)發(fā)中心8月11日特邀美國西密西根大學(xué)計算機科學(xué)系Zijiang James Yang教授做“基于依賴(lài)的符號執行“Dependence Guided Symbolic Execution”的學(xué)術(shù)講座。Zijiang James Yang教授于2003年從美國賓夕法尼亞大學(xué)計算機與信息科學(xué)系獲得博士學(xué)位，主要從事軟件測試及驗證領(lǐng)域的研究，迄今為止發(fā)表了六十余篇論文及十項美國專(zhuān)利，并獲得2008年度ACM TODAES最佳期刊論文獎,2010年P(guān)ADTAD最佳會(huì )議論文獎，2008年西密西根大學(xué)工學(xué)院研究成就獎，和2015年谷歌CS Engagement獎。Yang教授是IEEE資深會(huì )員，并擔任過(guò)密西根大學(xué)電子與計算機科學(xué)系訪(fǎng)問(wèn)教授，NEC公司美國研發(fā)中心科研顧問(wèn)，美國自然科學(xué)基金評委，美國宇航局博士后評委，美國能源部科技企業(yè)基金評委等職。

Zijiang James Yang教授針對符號執行的特點(diǎn)及劣勢提出了一個(gè)新的符號執行方法，他認為檢測故障沒(méi)有必要去窮盡系統的路徑，可通過(guò)預測和消除冗余路徑的基礎上的符號值以減輕路徑爆炸問(wèn)題。講座中針對最新符號執行研究成果進(jìn)行了介紹，通過(guò)引入案例來(lái)指出符號值產(chǎn)生路徑冗余的具體原因；分析了如何在邏輯層面減少路徑冗余的相關(guān)問(wèn)題；通過(guò)對該研究成果的路徑對比和實(shí)際符號執行研究來(lái)得到優(yōu)化技術(shù)，最后在符號值執行的基礎，對具體的案例進(jìn)行分析，實(shí)驗表明，該技術(shù)的實(shí)施需要較少開(kāi)銷(xiāo)以及較好的解決冗余路徑分析問(wèn)題。與會(huì )人員在講座結束后進(jìn)行了深入廣泛的交流，并展開(kāi)了熱烈討論，Yang教授對提出的問(wèn)題作出詳盡的解答。上海軟件中心蔡立志副主任向Yang教授贈予由其親自編著(zhù)的《軟件測試導論》一書(shū)。本次學(xué)術(shù)交流增強了軟件中心的學(xué)術(shù)交流氛圍，擴大了軟件中心的學(xué)術(shù)影響力。

進(jìn)一步推進(jìn)標準研制，軟件資產(chǎn)管理標準研討會(huì )舉行

2016年8月17日至18日軟件資產(chǎn)管理相關(guān)標準的研討會(huì )在北京舉行。本次會(huì )議由微軟（中國）承辦。

會(huì )議著(zhù)重討論《信息技術(shù) 軟件資產(chǎn)管理 標識規范》、《信息技術(shù) 軟件資產(chǎn)管理 許可證管理》兩項標準。上海軟件中心、北京市計算中心分別作為兩項標準的牽頭單位向參會(huì )單位介紹了標準架構和內容細節。各位與會(huì )專(zhuān)家就逐條款項發(fā)表意見(jiàn)，形成多項修改建議。下一步，上海軟件中心、北京市計算中心等單位將對標準進(jìn)一步修訂，形成征求意見(jiàn)稿，面向行業(yè)和相關(guān)企業(yè)征求意見(jiàn)。

標準工作組計劃于10月起在北京、上海、廣州等地召開(kāi)征求意見(jiàn)會(huì )。另外，數據資產(chǎn)標準工作組計劃于9月召開(kāi)啟動(dòng)會(huì )。