上海软件中心简报2016年第8期

上海软件中心召开七届三次职工代表大会

上海软件中心七届三次职代会于8月8日召开。中心工会委员、经审委员和中心职工代表出席了本次会议。中心党政领导列席了本次会议。

本次职代会主要审议并投票表决中心员工手册相关修订内容。职工代表以无记名投票方式表决通过了《上海软件中心员工手册》、《上海软件中心绩效工资实施办法》、《上海软件中心绩效考核实施办法》、《上海软件中心员工疗休养实施办法》、《上海软件中心员工福利管理办法》。工会经审委汇报了中心工会经费使用情况。

会上，张绍华副主任还就中心的“十三五规划”向职工代表进行了解读。规划中指出上海软件中心“十三五”期间既要主动服务上海科创中心建设的总体布局，承接上海产业技术研究院相关任务，运行好产研院浦江分部；又要坚守“服务行业，发展产业”的宗旨理念，立足当下，主动创新，为软件中心未来长远发展奠定更加坚实的基础，努力成为上海科创中心功能型平台的重要节点，推进成果转化和产业发展的先锋以及上海科创中心的亮点。

最后，中心党总支书记张若文对本次职代会作了总结发言。张书记高度肯定了职工代表在中心“十二五”发展及参与中心民主管理中所起的作用。张书记指出职代会是中心进行民主管理、开展所务公开的一个重要途径，我们要始终坚持以人为本的理念，继续发挥职工代表作用，并鼓励广大职工为中心的发展继续进言献策。

上海软件中心开展“送清凉”慰问活动

面对高温难耐的酷暑天气，如何做好现场工作人员防暑降温工作，保障项目全体参建员工身心健康？软件中心组织开展的一场“送清凉”活动在各个项目迅速展开。

软件中心工会将清凉物资刚刚购选齐全，中心党总支便要求办公室在第一时间安排车辆，由党总支张若文书记带队，把防暑降温物品送到一线员工手上，为沉闷炎热的项目现场送去一片清凉。

张若文书记、张绍华副主任、蔡立志副主任等领导一行详细了解了项目现场职工的生活工作情况，叮嘱大家要注意防暑降温和项目现场安全，并对大家在高温酷暑天气依然坚守岗位，推动各项目的顺利开展表示感谢；并要求各项目现场负责人要切实做好防暑降温和安全工作，防止高温中暑等各类安全事故的发生，确保项目现场安全。

深入开展“送清凉”活动，将中心领导对职工的关爱送达到一线，确保高温期间一线的员工的健康和安全，充分体现了软件中心对职工深切的人文关怀和以人为本的文化理念。

ITSS®数据治理规范国家标准征求意见和应用实践

工作会议在北京顺利召开

2016年8月11日，上海计算机软件技术开发中心牵头研制的《信息技术服务 治理 第5部分：数据治理规范》国家标准征求意见和应用实践工作会议在北京顺利召开。本次会议得到了中国华融资产管理股份有限公司、北京趋势引领信息咨询有限公司的大力支持。会议邀请到来自互联网、金融、银行、交通、医药、出版、水利、气象等多个行业的25家ITSS会员单位、数据治理标准应用实践单位近40位数据领域专家。

会上，中国华融资产管理股份有限公司、上海乐九医疗科技有限公司、阿里云集团数据管理团队等来自金融、医疗、互联网行业代表分别分享了各自在数据治理实施过程中的实践案例与经验，并与现场与会专家展开了热烈交流讨论。随后，行业专家围绕数据治理原则、数据治理模型、实施方法和实施路径等多项内容进行了研讨，结合标准应用过程中将面临的实际问题提出了新一轮修改意见与建议。

“数据治理规范”国家标准负责人、上海软件中心副主任张绍华博士表示：数据治理在信息技术、大数据产业生态中正发挥着重要作用，数据治理作为产业发展关注热点对标准研制也提出了更高的要求；在标准研制过程中引入应用实践单位，积极推动实践单位与标准编写组的创新交流机制，为标准能够准确采集用户需求、及时提炼最佳实践、打造以数据治理为核心的新型产业链提供了有力支撑。

此次标准征求意见和应用实践工作会议的召开对完善标准内容、提高标准适用性等方面起到了积极推动作用，为标准的顺利通过内审奠定了良好的基础。

上海软件中心举办国际学术交流活动

——Dependence Guided Symbolic Execution讲座

符号执行，即使用符号值代替真实值执行，是当下软件工程中热点的方向之一，在软件测试等领域有很好的应用前景。符号执行在不执行程序的前提下，用符号值表示程序变量的值，然后模拟程序执行来进行相关分析的技术，具有可以分析代码的所有语义信息，也可以只分析部分语义信息。使用符号执行的方法进行分析可以达到很高的路径覆盖率，结合约束求解器可以实现测试用例的自动生成。实际应用中，随着探索的路径数量随程序大小的增加而呈指数增长，导致符号执行受路径探索的限制而引起测试开销的巨涨。

针对这一测试领域的问题，上海计算机软件技术开发中心8月11日特邀美国西密西根大学计算机科学系Zijiang James Yang教授做“基于依赖的符号执行“Dependence Guided Symbolic Execution”的学术讲座。Zijiang James Yang教授于2003年从美国宾夕法尼亚大学计算机与信息科学系获得博士学位，主要从事软件测试及验证领域的研究，迄今为止发表了六十余篇论文及十项美国专利，并获得2008年度ACM TODAES最佳期刊论文奖,2010年PADTAD最佳会议论文奖，2008年西密西根大学工学院研究成就奖，和2015年谷歌CS Engagement奖。Yang教授是IEEE资深会员，并担任过密西根大学电子与计算机科学系访问教授，NEC公司美国研发中心科研顾问，美国自然科学基金评委，美国宇航局博士后评委，美国能源部科技企业基金评委等职。

Zijiang James Yang教授针对符号执行的特点及劣势提出了一个新的符号执行方法，他认为检测故障没有必要去穷尽系统的路径，可通过预测和消除冗余路径的基础上的符号值以减轻路径爆炸问题。讲座中针对最新符号执行研究成果进行了介绍，通过引入案例来指出符号值产生路径冗余的具体原因；分析了如何在逻辑层面减少路径冗余的相关问题；通过对该研究成果的路径对比和实际符号执行研究来得到优化技术，最后在符号值执行的基础，对具体的案例进行分析，实验表明，该技术的实施需要较少开销以及较好的解决冗余路径分析问题。与会人员在讲座结束后进行了深入广泛的交流，并展开了热烈讨论，Yang教授对提出的问题作出详尽的解答。上海软件中心蔡立志副主任向Yang教授赠予由其亲自编著的《软件测试导论》一书。本次学术交流增强了软件中心的学术交流氛围，扩大了软件中心的学术影响力。

进一步推进标准研制，软件资产管理标准研讨会举行

2016年8月17日至18日软件资产管理相关标准的研讨会在北京举行。本次会议由微软（中国）承办。

会议着重讨论《信息技术 软件资产管理 标识规范》、《信息技术 软件资产管理 许可证管理》两项标准。上海软件中心、北京市计算中心分别作为两项标准的牵头单位向参会单位介绍了标准架构和内容细节。各位与会专家就逐条款项发表意见，形成多项修改建议。下一步，上海软件中心、北京市计算中心等单位将对标准进一步修订，形成征求意见稿，面向行业和相关企业征求意见。

标准工作组计划于10月起在北京、上海、广州等地召开征求意见会。另外，数据资产标准工作组计划于9月召开启动会。