上海软件中心简报2012年第11期

上海软件中心六届五次职代会顺利召开

11月16日，上海软件中心六届五次职工代表大会召开，中心30名职工代表参加了会议。

会上，工会委员给大家全面解读了《员工福利管理办法》并介绍了职工代表的反馈意见征集情况和采纳修改情况，此管理办法是对《上海计算机软件技术开发中心员工手册》相关内容的补充与完善，办法把软件中心法定福利、统一福利和专项福利包含的内容、享用的范围和标准作了明确规定。这对维护员工合法权益，提高员工的满意度起到了积极的推动作用。经无记名投票表决后，全票一致同意通过办法。

关于优秀提案的征集评选活动，得到了广大职工代表的热情参与，先后共有7名职工代表提交了提案，提案或高瞻远瞩地提出新的业务方向，或未雨绸缪地找出发展瓶颈，或脚踏实地地挖掘现有潜力，展示了软件中心员工对单位发展参与的主动性和对单位寄予的厚望。评选出的两个优秀提案在会上作了交流发言，并由软件中心副主任给优秀提案获得者颁发了荣誉证书。

中心党总支书记、主任宗宇伟同志按照所务公开的要求，在会上作了工作报告。介绍了软件中心2012年各项业务工作进展情况，包括2012年财务收支情况和执行2012年预算情况；提出了2013年单位总体工作思路，并对近期工作任务进行了详细介绍和布置。宗主任表示，一年一次的职代会是中心党政领导班子和广大职工交流互动的很好的平台，是中心推进职工民主管理进程的重要手段，本次会议取得了预期成效。

合作交流--上海大学张武院长来访

2012年11月15日，上海大学计算机学院一行三人，在张武院长的带领下，来我中心交流指导，与上海软件中心宗宇伟主任、蔡立志副主任进行了座谈。

中心领导对上海大学计算机学院的来访表示欢迎，宗宇伟主任详细介绍了软件中心的基本情况、发展现状和主要服务方向，张武院长也介绍了计算机学院的主要研究方向和专业优势。双方认为，在研究生联合培养基地共建的基础上，还可以在云计算等方向开展进一步的战略合作深化，形成定期交流机制，达到优势互补合作共赢的目的。

合作交流--中科院软件所张健研究员来访

2012年11月5日，中科院软件所所长助理张健研究员到软件中心作学术交流，主要考察和了解软件中心重点实验室在软件测试技术研究方面的情况。软件中心蔡立志副主任向其介绍了重点实验室在软件测试标准、软件测试技术领域的研究情况，简要介绍了第三方服务的总体情况，并与张健研究员就软件测试领域的热点技术问题进行了细致的切磋和交流。

张健研究员是中科院软件所博士生导师，中国科学院计算机科学重点实验室副主任，主要研究方向包括自动推理、约束求解、程序分析与软件测试，曾先后获得中国科学院青年科学家奖、中创软件人才奖和国家杰出青年科学基金。

GB/T 25000.51实施指南研讨会召开

2012年11月22日，“商业现货（COTS）软件产品的质量要求和测试细则（GB/T25000.51）应用实施指南讨论会”在上海市软件行业协会召开。会议邀请到工信部电子四所标准化专家冯惠出席，来自全国各省市的12家第三方评测机构技术负责人参加了此次会议。

软件中心蔡立志副主任对国家标准25000.51的变化进行了通报，原有的六大特性增加安全保密性和兼容性扩充到八大特性，标准调整特定集为通用集两大部分，在国际标准讨论会中蔡副主任对国家标准GB/T25000.1的名称建议由“商业现货”修改为“软件与系统”。

本次研讨会对实施细则中需要改进的内容进行了深入的讨论，并对前期各评测机构对实施指南的反馈意见进行了汇总，并针对该标准实施过程出现的问题和困惑进行了探讨。专家冯惠建议实施指南对于测试实施过程应进行详细表述，提高标准可操作性，专家杨根兴建议实施指南应建立判定准则来通过单个判断结论给出整体结论、建立评价指标体系提供测试符合性的结论。各与会专家与人员对会上提出的意见和建议进行了充分、透彻讨论。蔡立志副主任建议参考16260完善实施指南各大质量特性。

会后，各个标准参与单位明确下一步工作内容和重点，与会专家一致认为本次研讨会的召开，对实施指南标准的研制具有积极作用。

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名。验收文档齐全，符合验收要求。经验收专家组讨论，一致同意该项目通过验收。

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

软件中心中标

永安财保信息系统健康检查和质量管理咨询项目

近日，上海软件中心和上海市软件行业协会联合中标“永安财产保险股份有限公司信息系统健康检查和质量管理咨询项目”。项目签约仪式于2012年11月29日在上海软件中心举行。

本项目由上海软件中心和上海市软件行业协会共同组成项目团队，为永安保险提供信息系统健康检查、安全风险评估、质量管理咨询的第三方服务。主要涉及永安保险公司新核心业务系统、收付费系统、财务系统、销售系统、统计报表系统（201系统）、资金系统等关键信息。

第六期软件测试实践提高班开班

2012年11月24日至28日，第六期软件测试实践提高培训班在软件中心重点实验室开班。本期培训班是依据客户需求，为企业量身打造的。针对具有一定测试理论的专业技术人员，在嵌入式系统开发及测试、测试用例编写、测试脚本设计和自动化工具测试方面进行培训。

课程从系统性、实用性和规范性出发，考虑软件企业在项目开发和运营过程中经常会遇到的问题，提高、训练员工相关软件测试知识与能力，具有很强的针对性。使学员系统掌握软件测试的流程、技术、方法以及风险管理，熟悉主流自动化测试工具，特别是性能测试工具在行业具体项目中的实际使用方法，使学员具备较好的测试技术和测试管理能力，同时了解性能检测、故障定位以及性能调优的目标，使学员们在测试管理、测试分析和缺陷定位等方面有深入的了解和实践。在短期内迅速提高员工软件测试技能和水平，为企业项目开发和实施提供有效的质量保障，推动组织技术能力和个人测试水平的不断进步，从而大幅度提升软件质量，保障企业利益。