2009南京大学软件学院
国家示范性软件工程学院
5 北京理工大学 软件学院 School of Software Engineering, Beijing Institute of Technology 北京 北京
6 北京邮电大学 软件学院 School of Software Engineering, Beijing Univerisity of Posts and Telecommunications 北京 北京
35 中国科学技术大学 软件学院 School of Software Engineering, University of Science and Technology of China 合肥 安徽
36 中南大学 软件学院 School of Software Engineering, Central South University 长沙 湖南
29 西安电子科技大学 软件学院 School of Software Engineering, Xidian University 西安 陕西
30 西安交通大学 软件学院 College of Software and Microelectronics, Xi'an Jiaotong University 西安 陕西
3 北京航空航天大学 软件学院 School of Software Engineering, Beihang University 北京 北京
4 北京交通大学 软件学院 School of Software Engineering, Bejing Jiaotong University 北京 北京
21 南开大学 软件学院 School of Software Engineering, Nankai University 天津 天津
南京大学2009年度优秀学生
刘欣、景丹丹、张云
06级
王栩、谢天、蔡赞吉、买静、周鑫、刘亢
汪业成
07级
黄瀚、张乐、马勤、王媛、戴靓、谷志莲
08级
冯琼、赵秧秧、许珂、赵瑜嘉、李瑾、吴乘月、郑锦森
胡嘉佩
地球科学与工程学院
06级
黄彬彬、龚文宗、朱梅倩、朱婷婷、、朱诚
虞翔
08级
姜昊、黄立明、辛宏、赵增霞、张琦
海外教育学院
06级
胡珊、曹汐
07级
徐红霞
张卉
08级
曲晓蒙、牟蕾
团委
06级
吴彦
07级
王桢楠、汪琛、李佳琦、张义修、孙梵、张璐、王沣、贾晓宇
08级
张博
林谧
天文学系
07级
蒋桢、杨明、李甲龙、
胡一鸣
08级
张高原、王润之
陈瑞竹
大气科学学院
06级
潘陈杰、李蕊、杨皇、吴磊
惠品宏
07级
刘超、马秀梅、郉莉、李静
08级
谭晓晓、曹力丹、钟芳
黄喆堃
环境学院
06级
刘洁、次仁央珍、傅银银、陈梅、龚婷婷
刘恒
07级
何盼、孟颖、李文涛、陈凯、高文程、王莹
李俊
08级
侯东林、胡梦阳、姚幸颖、陈舒芃、张海韵
林晓倩、韩啸、张恋茹、丁超
周帆
材料科学与工程系
06级
顾戎、邱浩、宋晓诗、陈礼兵、郭盈、蒋啸龙
孟晓强
07级
赵依俍、陈莹、郭璐、刘愚
蒋天一
08级
王文晓、张赟、李冠宇、罗炜、张波、何牧
吴丽萍
软件学院
06级
周文昌、王炜辰、孙安博、房春荣、吴娟、钱琴、陈帅、高则宝、倪明艳、邵蔚翔、高晗、谢彭峰、刘颖辰
2009年省级三好学生、省级优秀学干名单-裴永磊文库
孙永杰 章 茜 刘再冉 刘雨涵 王其方 胥陈彧 李 雪 徐 旷 陶艺越 汤淞晗 叶 舟 张宁萱 陆西娅 徐文励 姚梦雪 徐青青 闻 希 王修远 王 可 李梦月 王哲远 崔 言 李 坤 沙 洋 赵伟敏
南京市梅园中学高三（3）班 南京市第三高级中学高三（4）班 南京市第三高级中学高三（4）班 南京市第五中学高三（1）班 南京市第五中学高三（3）班 南京市第六中学高三（2）班 南京航空航天大学附属高级中学高三 （13）班 南京航空航天大学附属高级中学高三 （13）班 南京市行知实验中学高三（12）班 南京市金陵中学河西分校高三（4） 班 南京市金陵中学河西分校高三（10） 班 南京市建邺高级中学高三（10）班 南京市第二十七高级中学高三（1） 班 南京市第二十七高级中学高三（1） 班 南京市第十二中学高三（1）班 南京市第十二中学高三（7）班 南京市第三十九中学高三（9）班 南京市燕子矶中学高三（5）班 南京师范大学附属实验学校高三 （2）班 南京市外国语学校仙林分校高三 （4）班 南京市民办实验学校高三（1）班 南京市雨花台中学高三（1）班 南京市雨花台中学高三（1）班 南师大附属扬子中学高三（12）班 南师大附属扬子中学高三（9）班 南师大附属扬子中学高三（11）班 南京市大厂高级中学高三（7）班 南京市大厂高级中学高三（8）班 南京市江宁高级中学高三（13）班 南京市江宁高级中学高三（14）班 南京市江宁高级中学高三（17）班 南京市江宁高级中学高三（18）班 南京市秦淮中学高三（14）班
Hale Waihona Puke 1潘茜女 女 女 女 女 女 男 男 男 女 男 女 女 男 女 女 男 女
南京市秦淮中学高三（12）班 南京市临江高级中学 高三（8）班 南京市天印高级中学高三（13）班 南师大附中江宁分校高三（4）班 南师大附中江宁分校高三（22）班 南京东山外国语学校高三（3）班 江苏省江浦高级中学高三（9）班 江苏省江浦高级中学高三（10）班 江苏省江浦高级中学高三（10）班 江苏省江浦高级中学高三（11）班 江苏省江浦高级中学高三（15）新疆 班 南京市第十四中学高三（1）班 南京市江浦中学文昌校区高三（8） 班 南京市六合高级中学高三（1）班 南京市六合高级中学高三（11）班 南京市六合高级中学高三（1）班 南京市六合高级中学高三（11）班 南京市六合区实验高级中学高三 （1）班
南大-骆斌-软件工程专业人才培养体系建设-精选文档
软件工程专业人才培养体系
——工程能力训练体系实施的主线
软件工程专业人才培养体系
——教学质量保障体系的特色和创新
将软件工程中过程化管理的方法引入教学 管理 对从设计到实施的教学全过程进行动态跟 踪、监控和管理 开发教学支持/管理数字化支撑平台，并 以之为保障手段，一体化管理教学实施和 质量保障过程
南京大学软件工程学科教程
前期教学计划：2019纸人版，2019草人版
采用科学方法与系统研究：2019木人版， 2019石人版
成熟：2019铁人版
南京大学软件工程教育完成了从（以“计算机科学 教育+职业教育”为特征的）初级阶段向（以“高 等工程教育”为特征的）成熟阶段转换的嬗变
求精：2019钢人版 交流：南京大学软件工程专业本科教程
产业界需求
上届计算机教指委的工作（陈道蓄等） 南京大学软件学院的工作，国际国内资料
工作内容
融合国际规范和产业需求，编制学科教育知 识体系 全面改革核心课程，动态配置专业方向课程 模块，构建创新性课程体系 兼顾专业基础和产业需求，设计课程教学内 容 秉承工程教育理念，建设工程能力训练体系 借鉴软件工程中的过程管理方法，建设教学 质量保障体系
如何兼顾这两方面的要求是软件工 程人才培养所面临的巨大挑战
工作背景：解决思路
南京大学软件工程专业在经历了“ 计算机科学教育+职业教育”的初期 探索后，从2019年开始积极探索成 熟的高等工程教育模式，以有效解 决前述问题 解决方案：有效融合国际规范和产 业需求的软件工程人才培养体系
工作历程：
软件工程专业人才培养体系
——教学质量保障体系
人才培养体系特色
强化专业基础与适应产业需求一体化的课程设置方案
南京信息工程大学2009届普通本科优秀毕业生名单
南京信息工程大学2009届普通本科优秀毕业生名单大气科学学院(111)万晓敏石柳汤洁朱家文李超李菲李娜李颖李海静侯俊郭妙唐永兰徐岩岩黄滟董啸王莹冯蓉关闯杜佳李倩陆益沙天阳吴雯张晨张叶郑晓辉周小力程珂于文勇王佳王晓娟叶日新刘娜刘硕沈阳杨秀静张少波柳春赵素玲傅娜蔡菁刘墨寒刘蓉蓉刘通易全美兰任诗鹤李玉焕辛艳辉张琪邹珊珊昌立伟郝赛贾岸斌黄卓禹王杨王楠孙洁沈晓琳张岚张宇尧周芳周婷殷俊曹晓冲章颖韩存博赖鑫亢妍妍王超王瑞春冯良敏刘扬陈懿妮李洋张芳倪钟萍黄惠镕马严枝陈刚陈莲杜建廷李劲楠邵彩霞邵秋丽苏博吴语燕胡婷赖巧珍马婷婷孔启亮支星李倩李瑞青李润祥李韵之赵军平徐丽娇徐婉筠王春学王佳津王瑞芳帅嘉冰田莉邵鹏程吴辉张薇房一禾敖翔宇桑林潘嘉露戴至修应用气象学院(34)白华叶晓春许丽丽朱明佳吴文欣姜润秦玉琳唐玉琪袁彬黄俊韩笑曾娜王立超韦增岸兰平李玲雯李雨鸿佟丽媛周燕赵文静钤伟妙鲁婷魏丹丹丁敏王莹卢小凤刘德强孙蕾朱崔莹李鹤李昊宇汪宁赵振川鞠英芹遥感学院(49)王莉芳石蓉芸孙希山胡诚恺赵玲徐柳韵邓艳君牛丹丹王驷鹞刘丹刘昌杰庄晓云肖斐杨洋柯文祥赵境境常俊鹏戴巍王靖宇孙建元李慧敏吴立叶杨晓月张辉承曦敖雪涂维佳徐红尉成喜蒋璐璐王莉乐吉江史建桥何卫林李冉李雪杭行顾礼斌郭巍陶苏林黄铃光邢策梅朱海勇陈威范娟娟陶宇陶蓉茵黄海丽蒋林大气物理学院(61)高云鹏方艳莹邵晨张顺张金凯曹刚董慧杰蒋志谢潇解波路璐翟丽萍边赟刘磊邢彩盈杨春丽张思勃张倚晨张漪俊徐荣康磊程叙耕丁辉王林王婷田果刘姝妹范丽颖赵淑雨赵树云党小晨秦彦硕牛玉静孙竹玲汤雪峰朱丽莎李超李颖张文莹金敏周康辉耿雪莹崔雪东董博王培刘晴刘美玉刘颖辉张红张兵照张珊珊黄彩洪嵇菊颂田宝强陈绍河杨洋张微侯灵顾敬郭莉郭艳君信息与控制学院(74)毛方磊厉启迪刘志鹏汤佳惠仲丽君汪琦兰吴晓军吴小民翁丽芬缪进薛文娟王振丽白佳蕴田芳怡朱新龙吴为为张欢欢姚珍珍顾颖成黄燕燕潘建平卢邹颖许金浩朱洪涛陈兴鹃邹丽萍林青侯庆落贾国渊董桂琴葛卫平裴晨曦尹燕孙东阳陈世波吴奇周滢高兆军倪俊明倪寿荣梁海荣薛全琪云霄孙铁彪许晓崎陈刚陈燕玲吴俣季榉周俊姜春梅徐文徐亚州戴薇孔红兵刘太磊仲春林陈浩伟周峰华闾军钱杏仙鲍磊磊虞敏薛金吉叶春战成佳慧李杰张子涵咸爱国赵微微高磊凌云黄雪松韩宏文电子与信息工程学院(97)卫超杜娟娟李健杨苒赵玮赵锐文黄博揭扬窦焘焘邓英琴龙寅申俊超孙继元陈雨李强宋苏吴辰良肖光辉张以警武向娟柳冲顾香南郭磊程艳燕蔡军刘慧刘东旭任夷闫志刚余炳莹茆卫高宏涛龚维程雅龙薛建军王涛刘欢陈燕李丽苏渤峰吴涛张志强金连莉宗骏胡海侠俞丹丽钱俊景悦莹王丽孙林晋陈燕培杨天琦张欣张珊珊周洁周婷婷顾月明蒋南平樊雅文马冬冬邓正中王展尤倩怡刘怡萱邵向廉宋超余兰兰张宁周冬秋倪海彬徐怡倩盛剑章杰王维刘敏孙凤孙涛陈达伟陈庭甦李春梅李小帆贾丽华秦显贺鲁赛花蹇兆文丁秋蓉王铭雷文辉刘思源许芳陈思含吴飞顾丽华曹春燕董颜蔡晓熙薛银珠环境科学与工程学院(50)任团伟孙曙光朱闻博李萍李真杨涛张寅张勇唐鑫翔黄治蒋丹烈戴淑君魏伟孙银银朱月佳运方华张寒张荣张顶鹤郁银丹耿秀华凌慧程曼薛雪王成王海蓉汤兰兰陈少刚李月玲姚磊殷敏蔡婧窦网琪丁睿王娜包春晓向求来陈建军初旭东李健李媛李宝安季衡费娟施鹏飞赵春霞陶蕊龚璇谢文杰雷沛计算机与软件学院(66)白彦钊祁霄霄孙海峰闫慧邵斌宋明飞张攀张维祥张兴荣单宝鸽谢刚公睿卢宇丹刘寅刘芳芳朱永剑陈扬杨磊金少峰黄逢源梁静涛盛城管忠超卞志刚吕航可闫荞荞何宪杨宇舟张云鹏张志磊张淦钧周东郝斌姚礼根高原唐芬徐多宏黄艳红屠友林鲁啸滕跃马书荣王贵刘文春孙涛张建张静罗旻龙曾迎颖樊彦博王翀王咏王亮亮邵力达沈姝苏阳吴璟张波张洵张锐恒张铁监金传鑫赵虎顾亮秦健龚季元数理学院(81)陈夏苏威肖林周龙连侯凤志黄帅王红磊包建霞母丽丽刘浩李削云邵平单宝伟周积强曹海萍戴镒璠王美蓉刘冬朱利亚李瑞张朋张爱玉高田高珂顾琪民秦屹曾凯马贵东王璐瑜李小田吴晓吟尚晓红顾兴健倪丽艳徐可甲曹银芳梁美美熊雄车飞成明成海燕后杰朱晓晖李明望张进张莹赵凯都娟葛传芳丁刚朱云陈嫣红李鑫李月婷吴燕华杨静怡张春凤周驰崔亚玲程斌刘玥朱进朱苏云陈加山杜亚军张雅雯郝晓英柯锐程伟鲍伟于超王志刚刘雁玲陈喜陈施展何骏李慧李姣邵平徐莹覃琴公共管理学院(37)刘亚梅朱晓娇陈南吴拾红杨睿张妍张婷张雷明赵硕郭文琰徐芳黄艳黄鸿娇王鹏飞王维宇尹颖刘国付孙宝泽张楠张俊鹏张智凰赵金金成立辉孙璟琨许琼李海申练小玉郭兴王玉娇叶依群刘鑫朱玲陈大猛张德运殷建萍蒋志君戴思薇经济管理学院(77)王延春石霞虹李雨洪郭昊钱津康伟超雷淑君尤枝花闫发宾邵朋张璐张天娥黄绒绒戴冬瑾刘曼曼杜亮杨楠杨翰怡张君薇赵红赟徐孝春蔡大威王玥李馨缪悦凡戴薇张丽云邹洁周娜高瑛苇夏婷徐芃黄馨盛不凡彭虹燕王培许雯陈秋琴邵美玲钱蕾王晓娜龙章田邢玉洁沈晓梅沈亚丽俞洁高虹高馨丁青松王其毕欢庆吴昱吴怡雯张蓓芳徐丽徐武江梁凤方丽王璐王传亮邵珂丽芮琴周雯婕施密特高莹顾鑫鑫夏云谭莉莉毛朋飞王石忠李克勤吴瑶瑶张琪欧长海曾文迪嵇鸣洲戴娟燕语言文化学院(49)周雅玲于航王屾史湘云何静雯李莹吴晨吴莉莉高昀夏琴琴彭慧王蜜刘旬朱晓兰陈茜杜昕星李丹李静吴丹丹吴建毅郁燕华费进平赵娟王悠竹朱睿朱臧蓓陈圆栾佳丽窦道阳毛飞左桂娟刘冬兰邢龑陈玲张玉春张钟方孟宁周岭姜鹏飞谢仲华陈彬陈丹丹李静婷肖密余丽娟周红丽祝嘉凌唐翠梅黄开洁。
2009级南大拔尖计划选拔培养方案
南京大学“教育部基础学科拔尖学生培养试验计划”2009 级招生简章根据教育部“关于实施‘基础学科拔尖学生培养试验计划’的通知”要求，结合我校实际，经学校研究，决定从2009级本科生开始实施我校“基础学科拔尖学生培养试验计划”（以下简称拔尖计划），现就相关招生办法通知如下：一、项目背景：为了贯彻实施人才强国战略，培养具有国际一流水平的基础学科领域拔尖人才，促进我国基础科学研究水平的提升，并为其他学科的发展提供源泉和动力；同时为了大力推进我国研究型大学拔尖创新人才培养模式和机制的全方位创新，带动整个高等教育人才培养质量的进一步提高，教育部从2009年开始在国内一流研究型大学实施“拔尖计划”，我校是首批11所高校之一。
二、项目目标：在基础科学领域（数学、物理学、天文学、化学、生物学和计算机科学），每年动态选拔特别优秀的本科生，配备一流的师资，提供一流的学习条件，创造一流的学术环境与氛围，创新培养方式，构筑基础科学拔尖人才培养的专门通道，努力使受“拔尖计划”支持的学生成长为相关基础科学领域的领军人物，并逐步跻身国际一流科学家队伍。
三、培养方式：1．班级形式不单独开班，学生插班进入各学科方向09基地班学习。
计算机科学与技术系成立首届“计算机科学基地班”。
详细情况见附件六。
2．课程体系依托基地班培养方案。
（非基地班学生进入该“拔尖计划”，需补修基地班一年级专业基础课程。
）3．特色培养入选“拔尖计划”的学生可以在导师的指导下自主跨学科、跨年级选修课程和开展科学研究训练；在高年级阶段可自主选修部分研究生课程，进入实验室进行科学研究；还可优先享受海外学习、境外实践、学术会议等国际交流机会。
4. 导师配备“拔尖计划”班在本科四年内实行“双导师制”，按照5:1的生师比配备学术导师，30:1的生师比配备生涯导师，确保“拔尖计划”班学生的全面发展和个性化培养。
5. 学生考核学校对“拔尖计划”班学生实施“柔性评估”与“奖励优秀”相结合的考核机制，考核侧重过程性、个性化，充分强调学生在学习、研究过程中体现出来的创新性和发展潜力，高度重视学生发现问题和解决问题的能力，提倡快乐学习，灵活考核。
2009年南京大学研究生录取情况
0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0
专业名称 马克思主义哲学 中国哲学 外国哲学 逻辑学 伦理学 宗教学 科学技术哲学 国外马克思主义研究 政治经济学 西方经济学 世界经济 人口、资源与环境经济学 国民经济学 金融学 产业经济学 国际贸易学 数量经济学 会计学 企业管理 工商管理硕士 法律硕士(非法本) 法律硕士(法学) 法学理论 法律史 宪法学与行政法学 刑法学 民商法学 诉讼法学 经济法学 环境与资源保护法学 国际法学 政治学理论 中外政治制度 中共党史 马克思主义基本原理 马克思主义中国化研究 思想政治教育 课程与教学论 高等教育学 教育技术学 行政管理 教育经济与管理 社会保障 社会学 人口学 人类学 基础心理学 应用心理学 文艺学 语言学及应用语言学 汉语言文字学 中国古典文献学 中国古代文学 中国现当代文学 比较文学与世界文学
戏剧戏曲学 电影学 英语语言文学 俄语语言文学 法语语言文学 德语语言文学 日语语言文学 西班牙语语言文学 外国语言学及应用语言学 考古学及博物馆学 专门史 中国古代史 中国近现代史 世界史 新闻学 传播学 国际政治 国际关系 外交学 民族学 图书馆学 情报学 档案学 ★编辑出版学 光学工程 控制科学与工程 管理科学与工程 ★信息管理工程 工业工程(工程硕士) 物流工程(工程硕士) 美术学 体育教育训练学 国际关系 艺术学 汉语国际教育硕士 基础数学 计算数学 概率论与数理统计 应用数学 运筹学与控制论 理论物理 粒子物理与原子核物理 凝聚态物理 光学 生物物理学 制冷及低温工程 物理电子学 微电子学与固体电子学 电子与通信工程(工程硕士) 集成电路工程(工程硕士) 声学 无线电物理 电路与系统 电磁场与微波技术 通信与77 90 111 66 71 33 70 175 130 76 36 6 10 75 71 138 20 167 14 18 45 63 14 5 56 17 3 40 13 5 9 25 19 102 14 47 129 90 4 2 27 4 50 27 1 19 184 316 149 64 43 17 34 9
软件学院联系名单
编号名称108955 浙江大学软件学院宁波校区108920北京工业大学软件学院办公室108930北京航空航天大学软件学院108950北京理工大学软件学院108921北京邮电大学软件学院108931大连理工大学软件学院108932东北大学软件学院108949东南大学计算机科学与工程学院108948东南大学软件学院108903复旦大学软件学院邯郸校区108902复旦大学软件学院张江校区108901哈尔滨工业大学软件学院108918华东师范大学软件学院108934华南理工大学计算机软件学院108935华中科技大学软件学院108900吉林大学软件学院108917南京大学软件学院108951南开大学软件学院108922山东大学软件学院108904上海交大软件学院108938天津大学软件学院108899同济大学软件学院108923武汉大学软件学院 108933西安电子科技大学软件学院108958厦门大学108937云南大学软件学院108919浙江大学软件学院杭州校区108898浙江大学软件学院宁波校区108957中国科学技术大学组类别联系人地区电话软件学院联系名单番老师0574-********软件学院联系名单贺老师010-********软件学院联系名单胡庆杰010-********软件学院联系名单丁刚毅010-********软件学院联系名单宋茂强010-********软件学院联系名单张宪超0411-********软件学院联系名单刘老师024-********软件学院联系名单张老师025-********软件学院联系名单邓建明0512-629970软件学院联系名单软件学院联系名单唐老师021-********转12软件学院联系名单0451-********软件学院联系名单黄国兴021-********软件学院联系名单邓辉舫020-********软件学院联系名单陈传波027-********软件学院联系名单王敏0431-********软件学院联系名单025-********软件学院联系名单022-********软件学院联系名单孟祥旭0531- 88391516软件学院联系名单仁老师 任瑞021-********软件学院联系名单张加万022-********软件学院联系名单021-********软件学院联系名单邰老师 周怀北027-********软件学院联系名单武波029-********软件学院联系名单0592－2580566软件学院联系名单李彤0871-*******软件学院联系名单李主任0571--87953025软件学院联系名单方老师0574-********软件学院联系名单0551-*******手机拼音传真电子邮件地址0574-******** ZJD RJ YNB0574-********浙江省宁波市江南路1689号010-********BJGYD RJ YB010-********北京朝阳区平338227BJHKHTD RJ 010-********huqingjie168@ 北京市海淀区010-********BJLGD RJ Y010-********北京市海淀区828027BJYDD RJ Y010-******** 北京市昌平区7571522DLLGD RJ Y：Li_mingchu@大连市经济技680521DBD RJ Y024-********沈阳市和平区文化路3号巷11号025-********DND JSJK YG025-********2997005（苏州DND RJ Y苏州工业园区FDD RJ YHDX021-********021-********转12FDD RJ YZJX021-********中国上海张衡路825号0451-********HEBGYD RJ Y0451-********021-********HDSFD RJ Y上海市中山北路3663号020-********HNLGD JSJRJ020-********中国广州大学792255 HZKJD RJ Y027-********湖北省武汉市5168337JLD RJ Y0431-********长春市前进大街2699号吉林大025-********NJD RJ Y025-********南京市汉口路498951 NKD RJ Y022-********0531- 88391516SDD RJ Y0531- 88391686中国济南高新204134SHJDRJ Y021-********上海市东川路800号软件学院022-********TJD RJ Y022-********天津市南开区589585TJD RJ Y021-********中国 上海曹安公路4800号同济027-********WHD RJ Y 027-********武汉市武昌珞瑜路37号029-********XADZKJD RJ 029-********西安市太白南2号61号信箱0592－2580566XMD 0529-2580500sunting@厦门大学海韵园一号楼107室0871-*******YND RJ Y云南省昆明市翠湖北路2号0571--87953025ZJD RJ YHZX0571-********高科技大楼主楼215室0574-********ZJD RJ YNBX0574-********fhg0420@浙江省宁波市江南路1689号教0551-*******ZGK JSD 0551-*******合肥市徽州大道1129号网址msn职务名称税号业务员创建人创建时间修改人修改时间浙江省宁波市江南路1689号刘伟刘伟########刘伟########阳区平乐园100号北京工业大学软件学院办公室刘伟刘伟########刘伟########北京市海淀区学院路37号北京航空航天大学6号楼刘伟刘伟########刘伟########海淀区中关村南大街5号软院长刘伟刘伟########刘伟########院长刘伟刘伟########刘伟########昌平区北柒家镇北京邮电大经济技术开发区 8 号路主任刘伟刘伟########刘伟########沈阳市和平区文化路3号巷11号东北大学349信箱刘伟刘伟########刘伟########刘伟刘伟########刘伟########院长刘伟刘伟########刘伟########业园区独墅湖高教区林泉路刘伟刘伟########刘伟########中国上海张衡路825号院长秘书刘伟刘伟########刘伟########刘伟刘伟########刘伟########上海市中山北路3663号院长刘伟刘伟########刘伟########院长刘伟刘伟########刘伟########州大学城华南理工大学科学院长刘伟刘伟########刘伟########武汉市珞瑜路1037号华中科长春市前进大街2699号吉林大学前卫南区刘伟刘伟########刘伟########汉口路22号，南京大学软件学院(费彝民楼B座4刘伟刘伟########刘伟########刘伟刘伟########刘伟########院长刘伟刘伟########刘伟########南高新技术产业开发区舜华上海市东川路800号软件学院教师刘伟刘伟########刘伟########院长刘伟刘伟########刘伟########南开区卫津路92号天津大学中国 上海曹安公路4800号同济大学软件学院刘伟刘伟########刘伟########武汉市武昌珞瑜路37号 院长刘伟刘伟########刘伟########西安市太白南2号61号信箱院长刘伟刘伟########刘伟########厦门大学海韵园一号楼107室刘伟刘伟########刘伟########云南省昆明市翠湖北路2号院长刘伟刘伟########刘伟########高科技大楼主楼215室主任刘伟刘伟########刘伟########浙江省宁波市江南路1689号教学楼E210室花玉花玉########花玉########合肥市徽州大道1129号 刘伟刘伟########刘伟########业务分类员工规模业务方向经营历史研发团队数量使用的数据库使用的语言竞争对手信息使用的开发工msupmsupmsupmsupmsupmsupmsupmsupmsupmsupmsupmsupmsupmsupmsupmsupmsupmsupmsupmsup客户办公室msupmsupmsupmsup客户办公室msupmsupmsup曾经参加过的培训课程。
南京大学年在职攻读软件工程专业硕士研究生招生简章
南京大学年在职攻读软件工程专业硕士研究生招生简章南京大学软件学院是教育部和国家计委批准设立的国家级示范性软件学院。
根据国家教育部和国务院学位委员会相关文件的规定，南京大学软件学院与计算机科学与技术系、国家软件人才国际培训（南京）基地联合招收培养在职软件工程硕士专业学位研究生。
一、培养目标面向国民经济信息化建设和信息产业发展的需要, 面向企事业单位对软件研发、工程技术和工程管理及信息技术等方面人才的需求，培养高层次实用型、复合型软件工程技术、信息技术和软件工程管理人才。
二、培养方式、在职学员采取进校不离岗的方式，利用双休日、节假日集中授课。
、采用弹性学制，培养时间为—年，其中从事软件工程实践时间不少于一年。
、采用学分制，课程学习学分为学分，学习成绩合格者方能取得相应课程的学分。
、工程硕士培养实行双导师制，即对每位学员在课程完成之前，由学院确定主指导教师，同时学员由工程实践所在单位选派一位具有相当于高级技术职称的专家作为其兼职指导教师（副导师）；两位导师与学生共同商定论文选题，并共同负责指导学生完成其学位论文。
、在职学员的学位论文一般在原工作单位或工程实践单位非脱产完成，论文选题一般应结合原单位的实际工程技术问题或个人的工作实际进行撰写。
三、报考条件与招生范围、软件工程类、计算机科学类、信息通讯类、电子科学类等相近专业毕业，具有国民教育系列大学本科以上学历，原则上要求获得学士学位；、软件企业和事业单位中的软件工程技术、软件开发、工程管理、网络维护等人员，并较系统地掌握计算机专业基础知识，特别是计算机软件和信息技术领域的专业基础知识，具有一定的软件开发或软件项目管理等方面的经验和能力；、年龄原则上不超过周岁；四、报名方法第一阶段：预报名考生填写《南京大学年在职人员攻读硕士学位报考资格审查表》，将该表格发电子邮件到，主题为：“资格审查表”，（为姓名）预报名时间：20XX年10月16日—11月9日。
咨询电话：第二阶段：现场报名报名时间：20XX年11月10日上午：：（中午不休息）报名地点：南京大学鼓楼校区北园费彝民楼室报名时需携带：（）填写完整并由考生单位签字盖章（单位意见栏和照片左下角）的《南京大学年在职人员攻读硕士学位报考资格审查表》一式二份；（）大学本科毕业证书、学位证书原件和复印件；（）身份证原件和复印件；（）近期同一底片一寸免冠照片张；（）报名费元。
南京大学2009年在江苏省分专业录取情况统计
提前本科（国防生）
选测科目等级：AA
序号
专业名称
选测科目
最高分
最低分
01
英语(英语、国际商务)
史物
385
378
02
法语
史物
394
394
03
德语
史物
380
380
04
西班牙语
史物
375
375
05
数学类(数学、信息与计算科学、统计学)
物
414
381
06
电子信息科学类(电子信息科学与技术、通信工程、生物医学工程)
399
27
物理学类(物理、应用物理)
物
417
397
28
化学类(化学、应用化学、高分子化学与物理)
物
419
395
29
生物科学类(生物科学、生物技术)
物
405
394
30
地质学类
物
397
388
31
资源环境与城乡规划管理
物
407
393
32
城市规划
物
408
401
33
大气科学类(大气科学、应用气象学)
物
409
395
物
410
393
41
建筑学
物
402
397
42
电气信息类
物
408
399
43
管理科学与工程类(金融工程、工业工程)
物
407
397
物
396
390
本科一批
选测科目等级：AA
软件可靠性评估的重要抽样方法
ISSN 1000-9825, CODEN RUXUEW E-mail: jos@Journal of Software, Vol.20, No.10, October 2009, pp.2859−2866 doi: 10.3724/SP.J.1001.2009.03553 Tel/Fax: +86-10-62562563© by Institute of Software, the Chinese Academy of Sciences. All rights reserved.∗软件可靠性评估的重要抽样方法张德平1,2+, 聂长海3,4, 徐宝文1,3,41(东南大学计算机科学与工程学院,江苏南京 210096)2(南京航空航天大学理学院,江苏南京 210016)3(南京大学计算机软件新技术国家重点实验室,江苏南京 210093)4(南京大学计算机科学与技术系,江苏南京 210093)Importance Sampling Method of Software Reliability EstimationZHANG De-Ping1,2+, NIE Chang-Hai3,4, XU Bao-Wen1,3,41(Department of Computer Science and Engineering, Southeast University, Nanjing 210096, China)2(College of Science, Nanjing University of Aeronautics and Astronautics, Nanjing 210016, China)3(State Key Laboratory for Novel Software Technology, Nanjing University, Nanjing 210093, China)4(Department of Computer Science and Technology, Nanjing University, Nanjing 210093, China)+ Corresponding author: E-mail: depingzhang@Zhang DP, Nie CH, Xu BW. Importance sampling method of software reliability estimation. Journal ofSoftware, 2009,20(10):2859−2866. /1000-9825/3553.htmAbstract: This paper proposes an effective method for computing optimal state transition probabilities forsoftware reliability estimation based on a Markov usage model. This method uses Cross-Entropy to measure thedifferences between the operational profile and the sampling distribution with zero variance. By adjusting theprobabilities of state transitions during test, an iterative method based on the Cross-Entropy is proposed for thischoice, and an unbiased reliability estimator with zero variance is obtained. Simulation results show that the testingprofile with Cross-Entropy method performs significantly better than the simulated annealing algorithm. Moreover,this strategy can more effectively accelerate software statistical testing.Key words: software reliability; statistical testing; Markov usage model; importance sampling; cross-entropymethod摘要: 基于统计测试的马尔可夫使用模型对软件可靠性评估提出了一种有效的估计方法.该方法利用重要抽样技术在保证可靠性估计无偏性的条件下,利用交叉熵度量操作剖面与零方差抽样分布之间的差异,通过启发式迭代过程调整各个状态之间的转移概率来修正测试剖面.从理论上证明了利用修正测试剖面测试估计的可靠性是方差为0的无偏估计.最后给出了软件可靠性估计的最优测试剖面生成的启发式迭代算法.仿真结果表明,该方法与模拟退火算法相比,能够明显降低估计的方差,在提高估计精度的同时加快统计测试速度.∗ Supported by the National Natural Science Foundation of China under Grant Nos.60773104, 60721002, 90818027 (国家自然科学基金); the National High-Tech Research and Development Plan of China under Grant Nos.2008AA01Z143, 2009AA01Z147 (国家高技术研究发展计划(863))Received 2008-11-28; Accepted 2008-12-302860Journal of Software 软件学报 V ol.20, No.10, October 2009关键词: 软件可靠性;统计测试;马尔可夫使用模型;重要抽样;交叉熵方法 中图法分类号: TP311 文献标识码: A统计测试是一种随机测试方法,它基于软件使用模型生成测试用例进行测试,根据测试结果进行统计分析、评估软件质量,是高可靠性软件开发的重要组成部分.统计测试假定每个使用的数据输入都具有相同的缺陷检测率,根据转移概率在各个状态下选择下一操作,对使用频繁的操作进行更多的测试,能够有效地检测出那些对软件可靠性影响较大的软件缺陷.因此,统计测试充分性的判定准则一般都基于测试使用与实际使用的差异程度,以确保根据测试结果估计出的可靠性能够代表软件实际使用的可靠性[1,4,5].这对于特定操作环境是正确的,但却无法贯穿整个软件系统的全部操作集合.典型的例子是高可信性软件,特别是安全关键软件,其关键操作,如核电系统的紧急停堆处理,由于使用概率非常小,在统计测试中往往得不到充分测试,而这类操作的可靠性指标往往很高,其失效经常会产生严重后果.为了充分测试这些关键操作,获得软件可靠性的无偏估计,需要执行大量的统计测试用例,从而导致统计测试代价过高.基于此,许多统计测试方法被提了出来并进行理论研究[4−10],其中大多数为“控制”统计测试方法[6−9],主要利用重要抽样技术,在保证软件可靠性或失效风险估计为无偏估计的前提下,通过修正操作剖面来控制估计的方差,提高了估计的准确性.利用重要抽样方法精确估计软件可靠性的关键和难点在于抽样分布的选取,即如何确定一个最优的测试剖面,使得按最优测试剖面生成测试用例运行后所估计的方差达到最小.1 马尔可夫链使用模型的可靠性度量马尔可夫链使用模型是一个具有唯一初态和终态的马尔可夫链,可用强连通有向图G =(V ,A )和函数p :V ×V →[0,1]来表示,它具有如下性质:• V ={1,2,…,n }是节点集,表示软件系统的使用状态;• A 为边集,其元素表示在某个状态下选定某个操作时软件状态间的转移.从状态i 到状态j 的边e 定义为一个有序对(i ,j ),任意两个状态i 和j 之间的一个方向最多只有一条有向边相连;• 转移概率p (i ,j )满足0≤p (i ,j )≤1,表示在程序投入运行阶段,从当前状态i 转移到状态j 的概率.定义操作剖面P 为软件系统在实际运行中的各个操作被执行的概率,即P =(p (i ,j ))n ×n .测试剖面Q 为软件系统在测试过程中各个操作被执行的概率.假定状态1为初态,状态n 为终态,并且状态n 为吸收态,它表示一旦进入状态n 就不再离去,即p (n ,n )=1,p (n ,j )=0,∀j ≠n .进一步假定每一个状态i ∈V 都是从初态可达的,即在G 中总存在一条从状态1到状态i 的有向路径.软件的一次使用对应于马尔可夫使用模型从初态1到终止状态(包括终态n 和失效状态)的一条遍历路径,记为x =(x 1,x 2,…,x L ),L 为一次使用过程中执行操作的总数,即路径长度.x i 是一次使用过程中遍历的第i 个操作,x L 可以是终态n ,也可以是失效状态.操作x i 执行后再执行的下一操作x j 根据转移概率p (x i ,x j )随机选择.因此,在软件一次使用过程中,路径x =(x 1,x 2,…,x L )的执行概率为1(;){}(,)Li j i f P P p x x ====∏x X x 满足(,)1i j jp x x =∑,其中,x 是按操作剖面P 随机生成的执行路径,x j 为与状态x i 相邻的可一步转移到的状态,即p (x i ,x j )>0,X =(X 1,X 2,…)是表示执行路径的随机向量.基于马尔可夫链使用模型的软件统计测试的每个测试用例都对应于上述一条遍历路径x .记示性函数I f (x )为1, ()0, f ⎧=⎨⎩如果路径执行过程中失效否则x I x . 显然,系统是否正确运行依赖于软件系统的规格说明书,对于给定的软件系统π,其规格说明书是给定的.定义软件可靠性R 为软件一次使用过程中无失效发生的概率,则由I f (X )定义可知,系统π的可靠性R (π)为()1[()]1P f R E πΔ=−=−I X A (1)张德平 等:软件可靠性评估的重要抽样方法2861其中,E P 是相对于概率分布f (x ;P )求期望,A 为系统的失效概率,即A =E P [I f (X )].注意到,当沿某条含有圈的路径进行测试时,至少有一个操作(记为C )在测试中多次出现.这样,随着操作C 执行次数的增加,这条测试路径失效概率便趋近于 1.如果执行的绝大多数路径中都出现圈,则当操作重复执行的次数足够大时,就会导致整个软件系统可靠性估计过低.为了避免可靠性估计过于悲观,这里假定,当操作重复出现时只认为出现1次[11,12].2 基于交叉熵的重要抽样方法由公式(1)可知,获得系统可靠性无偏估计最直接的方法是:根据马尔可夫链使用模型选出N 条遍历路径x 1,x 2,…,x N ,由矩估计直接可得失效概率的无偏估计:11ˆ()Nf i i N ==∑I x A (2)由此可得系统可靠性的无偏估计ˆ()Rπ. 然而对于安全关键软件系统,软件失效不易观察到.如果要得到较为精确的可靠性估计,需要测试的路径数(抽样样本数)N 要足够大,这样必然会导致测试的开销过大.为了克服这种方法的不足,一般采用重要抽样方法:通过选择合适的抽样分布即测试剖面Q 进行测试,增加稀有状态遍历的概率,提高软件失效被观察的机会.为保证按测试剖面进行的估计为无偏估计,常采用似然比率进行加权调节,因为(;)[()]()(;)d ()(,,)(;)d (;)P f f f f P E f Q W P Q f Q f Q ===∫∫x I X I x x x I x x x x x A (3) 其中,W (x ,P ,Q )=f (x ;P )/f (x ;Q )为似然比率.所以,失效概率A 的无偏估计ˆA可表示为11ˆ()(,,)Nf i i i W P Q N ==∑I x x A (4)其中,x i 为按测试剖面Q 随机生成测试用例.注意到,在公式(4)中,当最优测试剖面Q *满足如下公式(5)的形式时,只需按最优测试剖面Q *随机生成一条测试路径即可获得失效概率A 方差为0的无偏估计,即满足公式(5)的测试剖面为零方差的抽样分布.()(;)(;)f f P f Q ∗⋅=I x x x A(5)而满足公式(5)的最优测试剖面Q *是真值A 的函数,实际应用中并不知道.因此,使用Q *进行抽样并不现实. 由f (x ;Q *)的形式可知,在f (⋅;P )的概率分布簇{f (⋅;Q )}找到一个最接近f (x ;Q *)的概率分布f (⋅;Q ),由此确定参数Q ,即最优(或渐近最优)测试剖面,这样便可得到方差为0或接近于0的无偏估计.常用来描述两个概率分布差异值的是K-L 距离或交叉熵[13,14].这样,最优测试剖面的确定问题就转化为确定推断参数Q ,使得f (x ;Q )与概率分布f (x ;Q *)的交叉熵最小,即{}arg min (;)ln (;)d QQ f Q f Q ∗∗=−∫x x x (6)将公式(5)代入公式(6)可得如下等价推断参数确定形式:{}arg max()(;)ln (;)d arg max{[()ln (;)]}fP f QQQ f P f Q E f Q ∗==∫Ix x x x I X X (7)注意到1(;)(,)Li j i f Q q x x ==∏x 满足(,)1i j jq x x =∑,则由拉格朗日乘子法可知,公式(7)可以转化为如下优化问题来求解:1max ()ln (,)ln (;)(,)1P f i i i i j Qi i j E q X X f Q u q X X +⎧⎫⎛⎞⎡⎤⎪⎪+−⎜⎟⎨⎬⎢⎥⎜⎟⎣⎦⎪⎪⎝⎠⎩⎭∑∑∑I X X (8) 其中,u i 为拉格朗日因子.上式关于q (x l ,x m )求偏导,令其等于0,可得Q *的元素q (x l ,x m )为2862 Journal of Software 软件学报 V ol.20, No.10, October 20091{,}{}(,)()()i l i m i l l m P f X x X x P f X x i i q x x E E +===⎡⎤⎡⎤=⎢⎥⎢⎥⎣⎦⎣⎦∑∑I X I I X I (9)由此可得基于重要抽样方法估计软件可靠性的最优测试剖面.3 软件可靠性估计的性质性质3.1. 如果f (X ;P )>0,测试剖面Q 的元素满足公式(9),则由公式(4)及公式(1)估计出的可靠性估计是无偏估计.证明:因为(,)()(,,)(;)d ()(;)d [()](,)f f P f f P W P Q f Q f Q E f Q ===∫∫x I x x x x I x x x I X x A ,由此可知,公式(4)为A 的无偏估计.由R (π)=1−E P [I f (X )]=1−A 可得可靠性R (π)的无偏估计,得证.□为了得到按元素满足公式(9)的测试剖面抽样估计方差性质,需要利用重要抽样方法如下的一个性质: 引理3.2. 设随机变(向)量X 具有概率密度函数f (x )>0,x ∈R 1,积分()d I h x x =∫重要抽样估计为11()ˆ(),~()()N i i i i h X g X X f x N f X ==∑ (10)如果对于∀x ∈{x :f (x )>0}存在常数c 满足h (x )=cf (x ),则重要抽样估计ˆ()g X 是积分I 的方差为0的无偏估计. 证明:显然,ˆ()gX 为积分I 的无偏估计.记s (x )=h (x )/f (x ),则11ˆ()()Ni i g X s X N ==∑,由此可得ˆ()g X 的方差为 ()211(())1ˆ()()[()E(())]()d N i i i Var s X Var gX Var s X s x s X f x x N N N =⎛⎞===−⎜⎟⎝⎠∑∫. 因为对于∀x ∈{x :f (x )>0}存在常数c 满足h (x )=cf (x ),显然,h (x )/f (x )=c ,则有E [s (X )]=E [h (X )/f (X )]=c .因此可得ˆ()gX 的方差为0,得证. □ 利用引理3.2,类似于文献[15]可以得到:性质3.3. 如果f (X ;P )>0,测试剖面Q 的元素满足公式(9),则由公式(4)及公式(1)估计出的可靠性是方差为0的无偏估计.证明:估计的无偏性由性质3.1保证,下证估计的方差为0.易知,要证可靠性估计的方差为0,只需证明失效概率的估计具有零方差.由引理3.2可知,如果失效概率估计的似然比率函数W (x ,P ,Q )为常数,即可证得估计的方差为0.假定x =(x 1,x 2,…,x L ,x L +1)为一次测试执行过程中最终观察到失效的测试路径,则按操作剖面P 选择路径x 执行的概率为11(;)(,)Li i i f P p x x +==∏x ,按测试剖面Q 选择路径x 执行的概率为11(;)(,)Li i i f Q q x x +==∏x .由示性函数I f (X )的性质及状态转移的马尔可夫性,公式(9)的分子可表示为11{,}{,}1111111()(){()1,,}{()1|}{|}{}i l i m i l i m L LLP f X x X x P f X x X x f i l i m i i i Lf i m i m i l i l i E E E X x X x P X x P X x X x P X x ++====+===++=⎡⎤⎡⎤=====⎢⎥⎣⎦⎣⎦======∑∑∑∑I X I I X I I X I X 1(,){}Lm l m i l i r p x x P X x ===∑ (11)其中,r m 表示系统从状态m 出发,在进入终态之前观察到失效发生的概率.类似地,公式(9)的分母可以表示为{}11(){}i l LLP f X x l i l i i E r P X x ===⎡⎤=⋅=⎢⎥⎣⎦∑∑I X I (12)将公式(11)和公式(12)分别代入公式(9),可得转移概率:张德平 等:软件可靠性评估的重要抽样方法 286311(,){}(,)(,){}Lm l m i l i m l m l m ll i l i r P x x P X x r p x x q x x r r P X x =====⋅=∑∑ (13) 由此可得:321122312111(,)(,)(,)(;)(,)...L Lx x x L L i i i x x Lr p x x r p x x r p x x f Q q x x r r r +++===⋅⋅⋅∏x (14) 因此,似然比率W (x ,P ,Q )可以表示为11(;)(,,)(;)x L r f P W P Q f Q r +==x x x (15)注意到x 1为初态,x L +1为失效状态.由于x 是测试执行过程中最终观察到失效的测试路径,则必有r L +1=1.故测试路径x 的似然比率为r 1.由r 1的定义可知,r 1是独立于测试路径的常数.又因为公式(9)中所有的样本均是最终观察到失效的测试路径I f (x )=1,所以每条测试路径都有相同的常数似然比率r 1.由引理3.2可知,A 估计的方差为0,进一步可得可靠性R (π)估计的方差也为0,得证.□4 最优测试剖面生成注意到由公式(9)生成最优测试剖面Q 的抽样分布是操作剖面P ,对于安全关键软件的关键操作,由于在实际使用的概率较小,按P 抽样时很难观察到失效.这里再次采用重要抽样方法,通过一种递归算法生成一个测试剖面序列01{,,...}Q Q ∗∗,利用上一迭代得到的近似测试剖面生成下一迭代测试路径来得新的测试剖面,直到测试剖面序列收敛为止.实际上,在迭代的第1步将0Q ∗初始化为操作剖面P ,即0Q P ∗=,通过随机仿真,获得公式(9)的第1个近似最优解1Q ∗:111arg max{[()ln (;)]}arg max ()ln (;)NP f f i i Q Q i Q E f Q f Q N ∗==≈∑I X X I x x (16)在第2次迭代过程中,N 条测试路径则按照1Q ∗抽样,生成第2个近似最优解2Q ∗:1121111(;)arg max{[()ln (;)]}arg max ()(;)ln (;)d (;)1arg max [()(,,)ln (;)]arg max ()(,,)ln (;).P f f Q Q N f f i i i Q Q Q i f Q Q E f Q f P f Q f Q E W P Q f Q W P Q f Q N ∗∗∗∗∗∗=⎧⎫==⎨⎬⎩⎭=≈∫∑x I X X I x x x x x I X X X I x x x由此可得第j 次迭代中渐近最优测试剖面j Q ∗的计算式为111arg max{[()ln (;)]}arg max()(,,)ln (;)Nj P f f i i j i QQi Q E f Q W P Q f Q N ∗∗−==≈∑I X X I x x x . 注意到1(;)(,)Li j i f Q q x x ==∏x 满足(,)1i j jq x x =∑,则由拉格朗日乘子法可将上式的解转化为如下最大值问题来求解:11max ()(,,)ln (,)(,)j f j i j i i j Q Qi i j E W P Q q X X u q X X ∗−∗−⎧⎫⎡⎤⎪⎪+⎨⎬⎢⎥⎪⎪⎣⎦⎩⎭∑∑∑X I X . 上式关于q (x l ,x m )求偏导,并令其等于0,由此可得j Q ∗的元素q (x l ,x m )为1111{,}1{}()(,,)(,)()(,,)j i l i m j i l Q f j X x X x i l m Q f j X x i E W P Q q x x E W P Q −+−−==−=⎡⎤⎢⎥⎣⎦=⎡⎤⎢⎥⎣⎦∑∑I X X I I X X I (17) 因此可得q (x l ,x m )的估计式为2864 Journal of Software 软件学报 V ol.20, No.10, October 200911{,}11{}1()(,,)ˆ(,)()(,,)ili m ilNf k k j X x Xx k il m f k k j X x k iW P Q qx x W P Q +−===−===∑∑∑∑I x x I I x x I (18)其中,测试路径x k ,k =1,2,…,N 按测试剖面Q j −1随机生成,示性函数{}i l X x =I 取1时表示测试路径x k 执行了操作x l ,否则取0;1{,}i l i m X x X x +==I 取1时表示测试路径x k 在执行完成操作x l 后接着执行操作x m ,否则取0.由此可得到一种基于交叉熵的迭代算法求解最优或渐近最优测试剖面,然后利用此最优测试剖面采用重要抽样方法,估计出软件系统的可靠性:初始化测试剖面Q 0为操作剖面P 随机生成测试路径,利用公式(18)修正测试剖面Q 1,然后利用修正后的测试剖面Q 1再进行抽样,如此循环,…,直到测试剖面不再发生变化或变化不大时停止.具体算法如下:算法4.1. 估计软件可靠性的交叉熵算法.1. 初始化测试剖面0ˆQ为操作剖面P ,迭代次数j =1. 2. 根据测试剖面1ˆj Q −生成测试路径x 1,x 2,…,x N ,观察其是否发生软件失效. 3. 由生成的N 条测试路径x 1,x 2,…,x N ,由公式(18)求解出jQ ,应用平滑技术修正得到: 1ˆˆ(1),(0.4,0.9)j j j Q Q Q ααα−=+−∈ . 4. 令j =j +1,重复步骤2、步骤3,直到对于某个给定的d (如d =4)有1ˆˆˆ...j j j d Q Q Q −−===或相邻两次测试剖面最大变化量小于给定的ε为止.5. 根据生成测试剖面ˆjQ随机生成M 条测试路径x 1,x 2,…,x M ,应用下式估计出软件可靠性: 11;)ˆ()1()ˆ(;)Mi f ii ijf P RMf Q π==−⋅∑(x I x x . 在步骤3中,当利用公式(18)修正测试剖面时,若分母为0,则从当前状态转移到相邻其他状态的概率为上一次迭代中的相应转移概率不变.另外,步骤3中采用平滑技术主要是减少ˆjQ的某些元素为0,避免算法在最初阶 段就开始一直在局部最优解上搜索.5 实例分析为说明基于统计测试的软件可靠性评估方法,采用Gutjahr [7]给出的列车调度软件实例加以验证,如图1所示.软件包括12个操作,每次执行从操作1开始,操作12是软件终止运行时执行的操作,边(4,6),(8,9)和(8,10)导致关键操作6,9,10执行.各个操作失效的先验概率用向量f 表示:f =(0,0.001,0.001,0.001,0.001,0.0001,0.001,0.001,0.0001,0.0001,0.001,0.001).Fig.1 A Markov usage model from Gutjahr 图1 Gutjahr 给出的马尔可夫链使用模型张德平 等:软件可靠性评估的重要抽样方法 2865采用模拟退火(SA)算法[9]和交叉熵(CE)方法以及标准统计测试方法(Standard)(利用操作剖面P )分别抽样N =2000条测试路径仿真模拟测试100次,得到软件系统可靠性的100个估计值.3种情形下的可靠性估计和方差分别如图2和图3所示.Fig.2 Reliability estimation of three different profiles Fig.3 Variance of three different profiles图2 3种不同剖面下可靠性估计 图3 3种不同剖面下可靠性估计的方差在100次仿真中,CE 方法估计的可靠性平均值为0.989 1,方差平均值为4.36×10−4;SA 算法估计出的可靠性平均值为0.989 3,方差平均值为1.14×10−3;标准统计测试方法可靠性估计的平均值为0.988 9,方差的平均值为2.46×10−3.由此可见,采用交叉熵方法较模拟退火算法和标准方法都能显著降低估计的方差.3种情形下的盒形图如图4所示. 从盒形图可以看出,利用交叉熵方法估计出的可靠性比较集中于其中位数附近,模拟退火算法得到的估计值的分散程度相对要大一些,而采用标准方法得到的估计值的分散程度最大.在100次仿真中,每次遍历路径为2 000条.采用标准方法仿真时,操作6被遍历的累积次数为20 576次,关键操作9和操作10被遍历的累积次数分别为476次和514次.采用交叉熵方法时,操作6被遍历的次数为79 394次,关键操作9和操作10被遍历的累积次数分别为4 550和4 468次.采用模拟退火算法时,操作6被遍历的累积次数为55 090次,关键操作9和操作10被遍历的累积次数分别为10 898和8 162次.由此可见,采用交叉熵方法和模拟退火算法都可明显提高稀有操作的遍历机会.交叉熵方法对关键操作6的遍历机会要大于模拟退火算法,而对关键操作8和操作9的遍历机会要低于模拟退火算法.6 结 论本文基于重要抽样技术,利用交叉熵通过一种修正机制调节操作剖面,在保证可靠性估计是无偏估计的前提下降低估计的方差,充分发挥重要抽样技术的优点,增加使用概率小的关键操作测试机会,加速软件测试.该方法是把修正测试剖面归结为一个优化问题迭代求解,估计软件可靠性,加速软件测试.利用交叉熵方法求解最优测试剖面的不足之处在于:需要的仿真开销要比模拟退火算法及标准方法都要大,并且无法得到最优测试剖面的精确解,只能得到一个满足可靠性估计精度的近似最优解. References :[1] Whittacker JA, Poore JH. Markov analysis of software specifications. ACM Trans. on Software Engineering and Method, 1994,2(1):93−106.[2] Whittaker JA, Thomason MG. A Markov chain model for statistical software testing. IEEE Trans. on Software Engineering, 1994,20(10):812−824.0.9940 20 40 60 80 1000.9920.9900.9880.9860.984Experiment timesR e l i a b i l i t ySA CEStandard0.0050 20 40 60 80 1000.0040.0030.0020.0010.000Experiment timesV a r i a n c eSA CEStandardFig.4 Box plot of three different profiles 图4 3种不同剖面下可靠性估计的盒形图0.9920.9910.9900.9890.9880.9870.9860.985R e l i a b i l i t ySA CEStandard2866 Journal of Software软件学报 V ol.20, No.10, October 2009[3] Walton GH, Poore JH, Trammell J. Statistical testing of software based on a usage model. Software-Practice and Experience, 1995,25(1):97−108.[4] Walton GH, Poore JH. Measuring complexity and coverage of software specifications. Information and Software Technology, 2000,42(12):859−872.[5] Feng H, Xu XS, Wang J. The determination of resemblance between the usage chain and the test chain in statistical testing.Computer Engineering & Science, 2003,25(1):17−19 (in Chinese with English abstract).[6] Gutjahr WJ. Failure risk estimation via Markov software usage models. In: Schoitsch E, ed. Proc. of the 15th Int’l Conf. onComputer Safety, Reliability and Security (SAFECOMP’96). Springer-Verlag, 1997. 183−192. /viewdoc/ download?doi=10.1.1.27.8529&rep=rep1&type=pdf[7] Gutjahr WJ. Importance sampling of test cases in Markovian software usage models. Probability in the Engineering andInformational Sciences, 1997,11:19−36. /viewdoc/download?doi=10.1.1.28.310&rep=rep1&type=pdf [8] Doerner K, Laure E. High performance computing in the optimization of software test plans. Optimization and Engineering, 2002,3(1):67−87.[9] Yan J, Wang J, Chen HW. Software statistical test acceleration based on importance sampling. Computer Engineering & Science,2005,27(3):64−66 (in Chinese with English abstract).[10] Doerner K, Gutjahr WJ. Extracting test sequences from a Markov software usage model by ACO. LNCS 2724, Springer-Verlag,2003. 2465−2476. /content/q3teb3ueknhqueh1/fulltext.pdf[11] Krishnamurthy S, Mathur AP. On the estimation of reliability of a software system using reliabilities of its components. In: Proc ofthe 8th Int’l Symp. Software Reliability Engineering. 1997. 146−155. /stamp/stamp.jsp?arnumber= 630860&isnumber=13710[12] Chari K, Hevner A. System test planning of software: An optimization approach. IEEE Trans. on Software Engineering, 2006,32(7):503−509.[13] Zhang DP, Nie CH, Xu BW. Cross-Entropy method based on Markov decision process for optimal software testing. Journal ofSoftware, 2008,19(10):2770−2779 (in Chinese with English abstract). /1000-9825/19/2770.htm[14] Boer DPT, Kroese DP, Mannor S, Rubinstein RY. A tutorial on the cross-entropy method. Annals of Operations Research, 2005,134:19−67.[15] Boer DPT, Nicola VF. Adaptive state-dependent importance sampling simulation of Markovian queuing networks. European Trans.on Telecommunication (Special Issue on Rare Event Simulation), 2002,13(4):303−315.附中文参考文献:[5] 冯华,徐锡山,王戟.统计测试中测试链与使用链的相似性判别.计算机工程与科学,2003,25(1):17−19.[9] 颜炯,王戟,陈火旺.基于重要抽样的软件统计测试加速.计算机工程与科学,2005,27(3):64−66.[13] 张德平,聂长海,徐宝文.基于马尔可夫决策过程用交叉熵方法优化软件测试的研究.软件学报,2008,19(10):2770−2779./1000-9825/19/2770.htm张德平(1973－),男,湖南澧县人,博士,讲师,CCF学生会员,主要研究领域为软件测试技术,软件可靠性,数理统计与随机过程.徐宝文(1961－),男,博士,教授,博士生导师,CCF高级会员,主要研究领域为程序设计语言,软件工程,并行与网络软件.聂长海(1971－),男,博士,副教授,主要研究领域为软件测试技术,模糊信息处理,神经网络.。
Chapter 15 面向对象的信息隐藏
The interface is the visible surface of the capsule.
describes the essential characteristics of objects of the class which are visible to the exterior world
《计算与软件工程II 》
Ch15 “面向对象”的信息隐藏
丁二玉 南京大学软件学院
Main Contents
1. Encapsulation VS Information Hiding 2. What should be hiding? 3. How to hiding change?
Information Hiding
See chapter 16 Iterator Pattern
References and Collection Data-Type !
Encapsulate other objects
Collaboration Design
Composition; delegation
Encapsulate type(subclass)
Each module hides the implementation of an important design decision so that only the constituents of that module know the details
公开外部表现 / 隐藏内部实现
Encapsulation
南京大学软件学院-SWT-JFace.pptx
2009
SWT-JFace
• SWT/JFace是一套用户图形界面的API • JFace是为了方便开发SWT程序，在
原有SWT基础上建立的一个更加容 易使用,功能更强大的图形包JFace
安装SWT Designer
• 首先下载SWT Designer，它是Eclipse 开发环境下的一个SWT图形界面开 发插件包
– 有两个在任何基于SWT的GUI中必须用到的方法，第一个是 Display()，它产生一个类的实例并将其和GUI相联系；第二个 是getCurrent()，它返回一个应用程序的主线程，用户界面线 程。第二个方法通常通常是以dispose()方法来终结Disphell
• yout：该包中提供了与图形界面 布局管理相关的类
• org.eclipse.swt.custom：该包提供了对基本图形
SWT-JFace
• SWT-JFace形成的理由
– 1998年Sun发布Swing，Swing具有迷人 的特性，但同时也使程序发布日益复 杂，运行效率低下。原因有
SWT-JFace
• ApplicationWindow类中的设置方法 • ApplicationWindow方法 功能 • addMenuBar() Configures the window with a top-level menu • addToolBar() Adds a toolbar beneath the main menu • addStatusLine() Creates a status area at the bottom of the
window • setStatus(String) Displays a message in the status area • getSeparator() Returns the line separating the menu from the
南京大学软件工程专业本科生培养方案
南京大学软件工程学科教程——附件二南京大学软件工程专业本科生培养方案(软件学院教学委员会，2008 年 9 月通过)软件产业作为信息产业的核心是国民经济信息化的基础，已经涉足工业、农业、商业、 金融、科教文卫、国防和百姓生活等各个领域。
采用先进的工程化方法进行软件开发和生产 是实现软件产业化的关键技术手段。
因此，为积极促进我国软件产业发展，加速我国信息化 建设，增强其国际竞争力，国家急需培养大批软件工程领域的实用型、复合型软件工程技术 人才和软件工程管理人才。
为促进南京大学软件工程专业本科生在入学、培养、毕业和学位授予等环节的规范化， 确保培养质量，根据教育部有关要求，依据南京大学有关本科生培养的规定，特制定本方案。
本方案作为南京大学培养软件工程专业本科生的指导性文件，规定其培养目标、方向和 要求，以及培养对象、学习年限、课程设置、课程修读和学位论文等要求。
一、培养目标、方向和要求1、培养目标软件工程专业本科生的培养目标是针对国民经济信息化建设和发展的需要，面向软件产 业界对软件工程技术人才的需求，培养具有国际竞争能力的多层次复合型软件实用人才。
作为一名合格的软件工程专业本科毕业生，应当符合国民经济信息化建设和发展需要， 能够成为企业所需要的较高层次的软件工程技术和管理人才，其基本能力应当达到（具有国 际水准的）程序员、高级程序员、软件工程师、以及项目质量管理人员的水平。
2、培养方向软件工程专业本科生培养的基本思路是强化基础、注重实践。
针对软件产业的人才需求， 本科生阶段强调宽口径培养，不具体细分专业培养方向，但考虑专业方向课程模块设置，从 而使得毕业生既具备扎实的专业基础和宽广的知识面，又比较深入地认识某类软件系统和应 用领域。
软件工程专业的基础课程应涵盖软件基础，软件工程基础，数学、工程与职业基础。
软 件工程专业的专业课程应覆盖软件设计与开发、软件过程与管理、网络工程、数字化技术、 信息安全技术、嵌入式软件、信息系统等。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
江苏省南京市 上海市 北京市
江苏省南京市 福州市
海南是海口市 吉林省 广东省汕头市 江苏省南京市 江苏省南京市
备注：本届毕业研究生中有1人考取博士， 人出国，已签约就业单位的有79人 备注：本届毕业研究生中有1人考取博士，4人出国，已签约就业单位的有79人， 79
士生毕业去向一览表
84人）
单位名称
南京大学软件学院2009届硕士生毕业去向一览表 南京大学软件学院2009届硕士生毕业去向一览表 2009
（毕业人数:84
单位名称
南京中兴软件有限责任公司 南京富士通南大软件技术有限公司 趋势科技（中国）有限公司南京分公司 南京大学软件学院 江苏省高校招生就业指导服务中心(北京甲骨文) 北京鑫元思维信息科技有限公司 北京积良爱信息科技有限公司 江苏省高校招生就业指导服务中心(北京甲骨文) 支付宝（中国）网络技术有限公司 成都中兴软件有限责任公司 华为技术有限公司南京研究所 国际商业机器(中国)投资有限公司上海分公司 出国--纽约州立大学布法罗分校 出国--纽约州立大学布法罗分校 -南京爱立信熊猫通信有限公司 中国银行股份有限公司常州分行 俊茂微电子（上海）有限公司 摩托罗拉(中国)电子有限公司南京第二分公司 中国电信股份有限公司无锡分公司 诺基亚西门子通信技术(北京)公司浙江分公司 中国电信股份有限公司无锡分公司 江苏省银监局 中国银行股份有限公司软件中心
单位所在地区
江苏省南京市 江苏省南京市 深圳市 上海市 上海市 江苏省南京市 北京市 南京市 深圳市 江苏省南京市 上海市 江苏省南通市 浙江省杭州市 江苏省南京市 上海市 江苏省南京市 江苏省南京市 江苏省南京市 浙江省杭州市 上海市 深圳市 江苏省无锡市
南京富士通南大软件技术有限公司 南京政治学院 杭州华三通信技术有限公司 英特尔亚太研发有限公司 深圳市腾讯计算机系统有限公司 无锡市公佳劳动保障事务代理所 （无锡移动）
江苏省南京市 上海市 江苏省南京市
上海市 上海市
上海市 江苏省南京市 上海市 上海市 浙江省杭州市
，就业率100％。 就业率100％。 100 统计数据的时间为2009年6月30日止
单位名称
南京爱立信熊猫通信有限公司 交通银行股份有限公司 凌策软件（杭州）有限公司 南京富士通南大软件技术有限公司 东方海外货柜航运(中国)有限公司珠海分公司 南京中兴软件有限责任公司 出国--美国 出国--美国 -苏州农业职业技术学院
单位所在地区
江苏省南京市 江苏省南京市 浙江省杭州市 江苏省南京市 上海市 江苏省南京市
单位所在地区
上海市 江苏省吴江市 江苏省常州市 上海市 浙江省杭州市 江苏省南京市 上海市 江苏省南京市
南京爱立信熊猫通信有限公司 国际典皇家理工学院读博 出国--瑞典皇家理工学院读博 -南京擎天科技有限公司 福州大学阳光学院 江苏省选调生 海南省海口市边防检查总站 吉林东北电力设计院工作 汕头高新区航宇电子技术有限公司 摩托罗拉(中国)电子有限公司南京第二分公司 南京富士通南大软件技术有限公司
江苏省苏州市
南京富士通南大软件技术有限公司 国际商业机器(中国)投资有限公司上海分公司 南京市国土资源信息中心 出国--美国印第安那大学 出国--美国印第安那大学 -中国银行股份有限公司上海市分行 中兴通讯股份有限公司上海研发中心 南京大学软件学院博士生 中国银行股份有限公司上海市分行 华泰证券股份有限公司 泰为信息技术（上海）有限公司 国际商业机器(中国)投资有限公司上海分公司 杭州华三通信技术有限公司
单位所在地区
江苏省南京市 江苏省南京市 上海市 江苏省南京市 北京市 北京市 北京市 北京市 浙江杭州市 成都市 江苏省南京市 上海市
江苏省南京市 江苏省常州市 上海市 上海市 江苏省无锡市 浙江省杭州市 江苏省无锡市 江苏省南京市 江苏省南京市
单位名称
上海闻泰电子科技有限公司 吴江市财政局政府采购中心 常州人才派遣有限公司（常州移动 ） 中国银行股份有限公司上海市分行 诺基亚西门子通信技术(北京)公司浙江分公司 交通银行股份有限公司 阿里软件（上海）有限公司杭州分公司 省人才（爱可信（南京）技术有限公司）
江苏润和软件股份有限公司 南京中兴软件有限责任公司 深圳华大基因研究院 泰为信息技术（上海）有限公司 中国国际技术智力合作公司(红帽软件) 摩托罗拉(中国)电子有限公司南京第二分公司 北京外企人力资源服务有限公司南京分公司(西门子中国研究院) 南京富士通南大软件技术有限公司 深圳先进技术研究院 摩托罗拉(中国)电子有限公司南京第二分公司 思科系统（中国）研发有限公司 南通市人才事务所思科系统（中国）研发有限公司 南京领航人才派遣有限公司 (南瑞信息所)